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