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)

𝗨𝗻𝗶𝘃𝗲𝗿𝘀𝗮𝗹 𝗣𝗿𝗼𝘃𝗶𝗻𝗴 𝗟𝗮𝘆𝗲𝗿𝘀

- @boundless_xyz (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