Nexus Network is a massively-parallelized proof mining network. It is a world-scale instantiation of the Nexus zkVM, designed to run at a trillion CPU cycles per second, given enough computing power connected to it. The Nexus zkVM (zero-knowledge virtual machine) is a modular, extensible, open-source, highly-parallelized, prover-optimized, contributor-friendly, zkVM written in Rust, focused on performance and security.
Nexus |
Infra、zk
| -- | Massively-parallelized proof mining network |
358
|
305
|
Union is a yper-efficient interoperability protocol connects all blockchains and rollups, across any ecosystem. It's based on consensus verification and has no dependencies on trusted third parties, oracles, multi-signatures, or MPC.
Union |
Infra、zk、Interoperability
| | Hyper-efficient interoperability protocol |
457
|
179
|
Succinct is building a decentralized prover network so that anyone can build blockchain applications and infrastructure secured by cryptographic truth, not trust. Succinct unifies the proof supply chain, providing highly available proof generation infrastructure with best-in-class pricing, for rollups, coprocessors and other applications using zero-knowledge proofs.
Succinct |
Infra、zk
| -- | The Protocol for Programmable Truth |
1.3 K
|
150
|
Aztec Network is the first private ZK-rollup on Ethereum, enabling decentralized applications to access privacy and scale. Its industry-standard PLONK proving mechanism is used by the leading zero-knowledge scaling projects, ensuring the security of its rollup.
Aztec Network |
Infra、Layer2、zk、Privacy
| | Ethereum Privacy Extension Layer |
1.67 K
|
95
|
Linea is a layer2 Zero Knowledge Ethereum Virtual Machine (zkEVM). It replicates the Ethereum environment as a rollup, allowing developers to build on it as they would on Ethereum mainnet. This provides users with the same experience and security guarantees of Ethereum, but with reduced transaction costs.
Linea |
Infra、Layer2、zk
| | Layer 2 zk-rollup |
1.69 K
|
77
|
zkSync is a Layer-2 scaling solution that preserves the security properties of the underlying blockchain by leveraging the latest generation of succinct zero-knowledge proofs. All funds in zkSync are held in a smart contract on the mainchain, while computation and storage are performed off-chain. For each Rollup block, a state transition zero-knowledge proof (SNARK) is generated and verified by the mainchain contract. This SNARK includes the proof of the validity of every transaction in the Rollup block.
zkSync |
Infra、Layer2、zk
| | A scaling and privacy engine for Ethereum |
3.11 K
|
76
|
StarkNet is a permissionless, decentralized Validity-Rollup (also known as a "ZK-Rollup"). It operates as an L2 network over Ethereum, enabling any dApp to achieve unlimited scalability for its computations without compromising Ethereum's composability and security. This is possible due to StarkNet's reliance on the safest and most scalable cryptographic proof system: STARK.
StarkNet |
Infra、Layer2、zk
| | decentralized ZK-Rollup |
1.1 K
|
63
|
Morph is a fully permissionless EVM L2 that uses a combination of optimistic and zero-knowledge rollup technology to enable a user-friendly option for developers who require a chain on which to build finance, gaming, social media, and entertainment apps.
Morph |
Infra、Layer2、zk
| | Optimistic zkEVM scaling solution |
1.02 K
|
62
|
By utilizing zero-knowledge proofs, Boundless enables blockchains to verify the correctness of calculations without the need for re-execution. This ground-breaking feature, known as verifiable computing, allows actions performed by a single node in a network to be validated inexpensively by each node.
Boundless |
Infra、zk
| -- | The Verifiable Compute Layer |
311
|
60
|
Brevis is a Zero-Knowledge (ZK) omnichain data attestation platform that enables dApps to access, compute, and utilize arbitrary data across multiple blockchains in a completely trust-free way.Brevis has a wide range of use cases like data-driven DeFi, zkBridges, on-chain user acquisition, zkDIDs, social account abstraction, and much more.
Brevis |
Infra、zk
| | ZK Omnichain Data Attestation Platform |
404
|
57
|
ZEROBASE is a real-time ZK prover network designed for speed, decentralization, and regulatory compliance. It generates ZK proofs within hundreds of milliseconds and ensures decentralized, fast consensus through its HUB ring-wake mechanism, enabling large-scale commercial use.
ZEROBASE |
Infra、zk
| -- | Real-time ZK prover network |
180
|
49
|
Manta Network is the multi-modular ecosystem for zero-knowledge (ZK) applications. Manta Atlantic, the fastest ZK L1 chain, brings programmable privacy to web3 through compliant on-chain privacy and identity. Manta Pacific, the unique L2 ecosystem for EVM-native ZK applications, provides a scalable and inexpensive gas-fee environment for ZK applications to deploy simply using Solidity. Together, Manta Atlantic and Manta Pacific deliver an unparalleled experience for the next generation of web3 application development and adoption with the applied usage of zero-knowledge cryptography.
Manta Network |
Infra、Layer2、zk、Privacy
| -- | Multi-modular ecosystem for ZK applications |
1.58 K
|
47
|
Orbiter Finance is a decentralized cross-rollup bridge for transferring Ethereum native assets, providing the infrastructure for Layer 2.In Orbiter Finance, there are two roles they are Sender and Maker. When the Sender initiates a transfer, the Maker provides liquidity for it. The smart contract ensures the security of this process. If the Maker does bad behaviors and the transfer fails, the Sender can initiate an arbitration request to the contract with Maker’s margin and then get the excess compensation.
Orbiter Finance |
Infra、Layer2、zk、Cross-chain Bridge
| | L2 cross-chain bridge |
1 K
|
45
|
Scroll is a zkEVM-based zkRollup on Ethereum that enables native compatibility for existing Ethereum applications and tools. It processes transactions off-chain and posts succinct proofs of correctness on-chain, resulting in higher throughput and lower costs compared to the Ethereum base layer.
Scroll |
Infra、Layer2、zk
| | A native zkEVM Layer 2 Solution for Ethereum |
2.21 K
|
43
|
RISC Zero is building a next-generation, scalable blockchain using zero-knowledge proof technology and RISC-V zkVM. Developers familiar with programming in Rust, Go, C++, and other standard programming languages can write on-chain decentralized applications.
RISC Zero |
Infra、Layer1、zk
| -- | Next generation scalable blockchain |
1.09 K
|
42
|
PolyHedra is an infrastructure for Web3 Interoperability, featuring cutting-edge zero-knowledge proof systems. It opens up the design space for Web3 through highly scalable middlewares, such as ZK-NFT containers, DAO/DAC systems, and decentralized Web3 identities.
PolyHedra |
Infra、zk
| -- | Infrastructure for Web3 Interoperability |
1.28 K
|
34
|
Lagrange is a Zero-Knowledge Coprocessing protocol that enables verifiable computations at big data scale across various blockchains. Its unique ZK Coprocessing approach involves a decentralized network of nodes that execute computations off-chain and generate ZK proofs of the results to submit on-chain, in a hyper-parallel manner, thereby unlocking significant efficiency and cost gains. By providing hyper-scalable proving, Lagrange opens the door for innovations in cross-chain interoperability and applications requiring complex computations over big data.
Lagrange |
Infra、zk
| | Zero-Knowledge Coprocessing protocol |
668
|
33
|
Ola is an Earning-Enhancing Network incentivized by the Bitcoin ecosystem. With two core products, Onis and Massive, Ola creates a comprehensive ecosystem where users can become BitVM challengers, ZK bridge supervisors, ZK verifier nodes, DA samplers, and a variety of monitoring roles to empower the Bitcoin ecosystem.
Ola |
Infra、zk、DePIN、Bitcoin Ecosystem
| | Earning-Enhancing Network incentivized by the Bitcoin ecosystem |
317
|
32
|
Fiamma is a verification network that specializes in zero-knowledge (ZK) proofs, striving to provide a secure, decentralized, and economically efficient solution for universal blockchain integration. At its heart, Fiamma is engineered to leverage the robust cryptoeconomic and network security value of Bitcoin via the integration with Babylon and implementation of BitVM2. This combination enables Fiamma to introduce ZK capabilities into the Bitcoin ecosystem and secure ZK use cases in Ethereum and beyond, enhancing the scope and effectiveness of ZK technology.
Fiamma |
Infra、zk
| | ZKP Verification Network |
203
|
27
|
Chakra is a Bitcoin restaking protocol based on ZK proofs. It utilizes STARKs to prove staking events on Bitcoin and verifies proofs on layer-2 chains.
Chakra |
DeFi、zk、Restaking
| | Bitcoin restaking protocol based on ZK |
215
|
27
|
Espresso Systems is an EVM-compatible blockchain that provides scalability and privacy systems for Web 3 applications. Its consensus protocol HotShot confirms transactions within seconds, and Rollups can select hundreds of nodes to sort transactions instead of using their own centralized sorter. Espresso also provides applications with a cheaper DA alternative than Ethereum.
Espresso Systems |
Infra、Layer1、zk、Privacy
| -- | High throughput EVM compatible privacy blockchain |
1.14 K
|
24
|
zkVerify is a dedicated zero-knowledge proof verification network designed for settlement optimization. Designed for seamless integration with existing blockchain networks, zkVerify minimizes technical overhead and provides a developer-friendly environment for proof verification across a wide range of zk-rollups and settlement layers.
zkVerify |
Infra、zk
| -- | zk proof verification network |
105
|
24
|
Taiko is a decentralized Ethereum-equivalent ZK-EVM and general-purpose ZK-Rollup. Its purpose is to enable developers and users of dApps developed for Ethereum L1 to use them on Taiko without any modifications. Therefore, dApps can be quickly deployed to L2, preserving Ethereum's security while incurring lower transaction fees than on L1.
Taiko |
Infra、Layer2、zk
| | Decentralized, Ethereum-equivalent ZK-Rollup |
1.37 K
|
24
|
DeGate is a decentralized exchange protocol built on Zero Knowledge (ZK) technology. As a ZK Rollup, it fills a key gap in the market by providing spot order book trading and grid trading within the Ethereum ecosystem, offering an experience similar to centralized exchanges (CEX). Moreover, DeGate is DAO-centric, with a DAO fully controlling its treasury.
DeGate |
DeFi、Infra、Layer2、zk
| | Order book-centric DEX trading protocol |
240
|
23
|
Automata Network is a modular attestation layer that extends machine-level trust to Ethereum by leveraging optimistic rollups and zero-knowledge proofs in its Proof of Machinehood approach. The application-specific rollup allows on-chain verification for out-of-protocol computation, which creates an unbroken chain of trust that extends upwards through the entire Web3 stack.
Automata Network |
Infra、Modular、zk、Privacy
| -- | Modular attestation layer |
561
|
21
|
ZkCloud is a universal proving layer for ZK, an on-demand proving network aggregating proof demand that enables new applications utilizing provable compute to become economically viable by decreasing costs to a fraction of what’s available through standard proof outsourcing like AWS and GCP. It also ensures prover nodes can achieve the highest possible resource efficiency by aggregating workloads from across the industry for both scaling and privacy use cases, and many more to come.
ZkCloud |
Infra、zk
| -- | Universal proving layer for ZK |
335
|
21
|
Irreducible is an enterprise-grade, zero-knowledge proof acceleration platform that builds hardware to enhance the efficiency of zero-knowledge proof generation.
Irreducible |
Infra、zk
| -- | Enterprise Grade Zero-Knowledge Proof Acceleration Platform |
387
|
19
|
vlayer is a trustless verifiable data infrastructure powered by zero-knowledge proofs.
vlayer |
Infra、zk
| -- | Verifiable data infrastructure |
126
|
19
|
Nockchain is a proof-of-useful-work blockchain that sits atop novel ZKVM. Leveraging the beautiful simplicity of Nock, It built the first combinator-based virtual machine that can be efficiently used with Zero-Knowledge Proofs. Nockchain is a high-throughput chain that provides proofs of computation, storage, and a new namespace.
Nockchain |
Infra、Layer1、zk
| -- | Proof-of-useful-work blockchain |
155
|
19
|
Citrea is a Bitcoin’s ZK rollup and an execution layer that settles on Bitcoin. Every transaction occurring on Citrea is fully secured by zero-knowledge proofs and verified by Bitcoin through BitVM.
Citrea |
Infra、Layer2、zk
| | Bitcoin’s ZK rollup |
412
|
18
|