Source: Solana; Translation: Golden Finance xiaozou

Solana’s ZK (zero knowledge) and verifiability (can You may not know much about the field of verification, but it is definitely a dark horse. This article will give you a quick introduction to ZK, verifiability and privacy projects on Solana.

Overall, Solana infrastructure helps:

-- saving thousands of times the cost for application developers

-- Asynchronous execution

-- State growth solution

Security

--Privacy and confidentiality of on-chain applications Sex

-- Verifiability

-- Decentralized prover network

There is even ZK-rollup in Solana!

Let's look at them one by one:

-- Privacy and verifiability

p>

-- Anonymity

-- ZK-based extensions and ZKVMs

-- ZK network extension stack

-- ZK Plan

Please note: For ease of understanding, this will be reclassified below and may be different. overlapping.

1. Privacy and verifiability

Arcium helps provide on-chain applications by providing a trustless, verifiable and efficient framework to run cryptographic calculations. Provide privacy. For example: AI models can be trained using encrypted data, and DeFi can use it for confidential transactions.

Bonsol launched by ANAGRAM is a Solana native verifiable computing system that allows developers to Create:

A fully verifiable executable of private or public data → mathematically guarantee its validity → integrate the results into the Solana smart contract On-chain verification.

2. Anonymity

Darklake has created a private swap trading AMM, aiming to become Solana's first decentralized exchange to provide real-time, MEV-resistant order execution. Dark Protocol develops a market-governed anonymity protocol powered by ZK-snarks.

3. ZKP-based extension

ZK Compression is jointly launched by Light Protocol and Helius A new Solana primitive with ZK proofs and state compression that reduces rental costs for Solana application developers by a thousand times.

The team has developed ZK compression in the following areas:

-- Wallets (like Backpack): Users hold tokens without paying rent.

-- Consumer socialfi applications (such as Tribe.run): Creators can send tokens at a lower cost.

-- Airdrop tools (such as Helius Airship)

4. ZKVMs

RISC Zero and Succinct can help prove arbitrary on-chain computations without being limited by on-chain computations. This can support:

-- Solana light client based on ZK

-- Lite DePIN Network

--Secure and seamless ZK login

5. Solana network extension stack

zkSVM is being applied to:

--Solforge: This network extension stack uses the ZKP method and Light Protocol's ZK compression , to support extensions to state update stream proofs and LightSVM optimized for proof generation.

-- Termina: SVM network deployment platform for specific use cases that reduces latency, improves privacy, and reduces computational costs.

--Sonic SVM: SVM stack for games and applications, and is being extended with ZK through Hypergrid.

-- bulletxyz: an ultra-low latency rollup developed by ZetaMarkets, which is going to extremes High throughput scaling, all state transitions are provable. In addition, teams such as Aerius Labs are conducting experiments related to ZK certification.

6. ZK Plan

Other programs like Anza’s ZK Token Proof program support confidential transfers – encrypting SPL token balances and transaction amounts to protectPrivacy for use cases like accounts payable.

From the recently released ZK compression to various upcoming system calls, Solana is becoming a powerful ZK engine. This article is just a brief summary to help you understand the early development of ZK and verifiability on Solana.