The Ultimate ZK Infrastructure Landscape: 64 projects across 8 verticals
Thread507 words
Maps 64 ZK projects across zkVMs, universal proving, verification and aggregation, zkEVMs, app-specific rollups, hardware acceleration, ZK privacy and zkTLS.
Key claims
64 projects identified across 8 verticals
Verticals include zkVMs, universal proving layers, aggregation, zkEVMs, app-specific rollups, hardware and privacy
The Ultimate ZK Infrastructure Landscape
ZK is not dead. ZK is the endgame.
I identified 64 projects across 8 verticals, composing a multi-billion dollar industry that could soon be worth trillions of $$$.
Part 1/2:
饾槆饾椄饾棭饾棤饾榾
- Jolt by @a16zcrypto
- Nexus by @NexusLabsHQ
- Risc0 by @RiscZero (RISC-V based)
- Sp1 by @SuccinctLabs (RISC-V based)
- Valida by @lita_xyz
- zkOS by @the_matter_labs
- Miden by @0xPolygon
- Ola by @ola_zkzkvm
- TritonVM by @seagodcrypto
- zkWasm VM by @fluentxyz
- CairoVM by @StarkWareLtd
- zkLLVM by @nil_foundation
- snarkOS by @AleoHQ
- Lurk by @LurkLab
- MIPS zkVM by @o1_labs (Mina)
- Piecrust VM by @DuskFoundation
- Aztec VM by @aztecnetwork
- @ProjectZKM (MIPS-based zkVM optimized for BitVM)
- @Aleph__Zero (ZK L1)
- @DelphinusLab (zkWasm)
- @ziskvm (Polygon spin-off, formerly @0xPolygon zkEVM)
饾棬饾椈饾椂饾槂饾棽饾椏饾榾饾棶饾椆 饾棧饾椏饾椉饾槂饾椂饾椈饾棿 饾棢饾棶饾槅饾棽饾椏饾榾
- @boundlesshq (full-stack ZK solution, not just proving)
- @SindriLabs (ZK infra automation)
- @thezkcloud (universal proving layer)
- @lagrangedev (DeepProve verifies AI inferences via ZK)
- @MarlinProtocol (TEE coprocessors for decentralized AI)
- @Snarkify_ZKP (real-time proving for any chain)
- @fermah_xyz (universal proving marketplace)
- @LumozOrg (RaaS with baked-in proving)
饾棬饾椈饾椂饾槂饾棽饾椏饾榾饾棶饾椆 饾棭饾棽饾椏饾椂饾棾饾椂饾棸饾棶饾榿饾椂饾椉饾椈 & Aggregation 饾棢饾棶饾槅饾棽饾椏饾榾
- @alignedlayer (AVS for proof verification, potentially aggregation)
- @ZKVProtocol (universal proof verification layer)
- @nebrazkp (proof aggregation)
- @labs_electron (proof aggregation)
- @0xPolygon AggLayer (proof aggregation)
- @union_build (IBC-based, ZK-powered interop layer)
- @zkLink_Official (aggregation layer)
Keep reading for part 2
Part 2/2:
饾槆饾椄饾棙饾棭饾棤饾榾
- @zksync Era (part of Elastic Network, a verifiable multichain system)
- @Scroll_ZKP (recently shipped modular zkVM a.k.a. OpenVM)
- @taikoxyz (based ZK rollup)
- @KakarotZkEvm (proving full EVM execution in Cairo)
- @HelloTelos (using SNARKtor for recursive proof aggregation)
- @LineaBuild (first zkEVM to reach prover completeness)
- @MantaNetwork (largest ZK-powered modular L2)
- @AbstractChain (built on ZK stack and part of @zksync Elastic Network)
- @zkLinkNova (multi-chain L3 zkEVM)
- @zircuit (restaking + AI powered EVM L2)
- @megaeth (real-time EVM L2 with ZK-powered settlement)
饾棓饾椊饾椊-饾棪饾椊饾棽饾棸饾椂饾棾饾椂饾棸 饾棴饾棡 饾棩饾椉饾椆饾椆饾槀饾椊饾榾
- @paradex (Cairo-based perp DEX)
- @Lighter_xyz (ZK-powered perp DEX L2)
- @hibachi_xyz (ZK-verfied offchain orderbook on @celestia)
- @ZKFCommunity (gaming-focused ZK rollup)
- @DeGateDex (ZK-powered stage 2 DEX rollup)
- @loopringorg (stage 0 DEX appchain)
- @Immutable (Polygon CDK based L2 focused on gaming/NFTs)
- @bulletxyz (hybrid ZK fraud proof based perp DEX @solana L2)
饾棴饾棡 饾棝饾棶饾椏饾棻饾槃饾棶饾椏饾棽 饾棓饾棸饾棸饾棽饾椆饾棽饾椏饾棶饾榿饾椂饾椉饾椈
- @Ingo_zk (acceleration from software to silicon)
- @_Supranational (hardware accelerated cryptography)
- @AMD (end-to-end computing solutions)
- @cysic_xyz (also Kalypso proving market / ZK-CaaS)
- @kroma_network (Tachyon: Modular ZK backend acclerated by GPU)
饾棴饾棡-饾棽饾椈饾棶饾棷饾椆饾棽饾棻 饾棧饾椏饾椂饾槂饾棶饾棸饾槅
- @zcash (ZK-powered shielded transactions)
- @namada (composable multi-asset-shielded pool for private DeFi)
- @penumbrazone (confidential DEX)
- @RAILGUN_Project (private EVM DeFi interactions)
饾槆饾椄饾棫饾棢饾棪 饾棧饾椏饾椉饾榿饾椉饾棸饾椉饾椆饾榾
- @OpacityNetwork (TEE + MPC)
- @primus_labs (proxy + MPC)
- @zkPass (proxy + MPC)
- @reclaimprotocol (proxy)
That's a wrap, thanks for reading.
Make sure to drop me a follow @zerokn0wledge_ for more alpha on the ZK space and beyond.
Like/repost of the below post is also highly appreciated!
might be another visual mission my fren @BigJayce7 馃憖