The Ultimate ZK Landscape 2.0: zkVMs, zkEVMs, proving, aggregation and privacy
Post246 words
Landscape of the ZK stack by category: zkVMs, zkEVMs, universal proving and verification layers, proof aggregation, hardware acceleration and privacy projects. Asks the audience what is missing.
โจ ๐๐๐ ๐๐๐ฅ๐๐๐๐ฅ๐ โค๐ ๐๐๐๐๐ค๐๐๐ก๐ ๐.๐ โจ
ZK is the endgame and it already is a multi-billion $$$ industry. Soon we'll be talking trillions though.
Let's have a look at the leading builders. ๐๐
๐๐ธ๐ฉ๐ ๐
โฆ Jolt by @a16zcrypto
โฆ Nexus by @NexusLabsHQ
โฆ Risc0 by @RiscZero
โฆ Sp1 by @SuccinctLabs
โฆ 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
โฆ @ProjectZKM (Universal Settlement Network)
โฆ @DelphinusLab (zkWasm)
โฆ @Aleph__Zero (ZK L1)
๐๐ธ๐๐ฉ๐ ๐
โฆ @0xPolygon zkEVM
โฆ @zksync Era
โฆ @Scroll_ZKP
โฆ @taikoxyz
โฆ @KakarotZkEvm
๐จ๐ป๐ถ๐๐ฒ๐ฟ๐๐ฎ๐น ๐ฃ๐ฟ๐ผ๐๐ถ๐ป๐ด ๐๐ฎ๐๐ฒ๐ฟ๐
โฆ @gevulot_network (L1 / zkCloud)
โฆ @lagrangedev (AVS)
โฆ @MarlinProtocol (Proving market)
โฆ @provernetwork
โฆ @Snarkify_ZKP
๐จ๐ป๐ถ๐๐ฒ๐ฟ๐๐ฎ๐น ๐ฉ๐ฒ๐ฟ๐ถ๐ณ๐ถ๐ฐ๐ฎ๐๐ถ๐ผ๐ป ๐๐ฎ๐๐ฒ๐ฟ๐
โฆ @alignedlayer (AVS for proof verification, potentially aggregation)
โฆ @horizenglobal (L1)
๐๐ป๐๐ฒ๐ฟ๐ผ๐ฝ๐ฒ๐ฟ๐ฎ๐ฏ๐ถ๐น๐ถ๐๐ / ๐ฃ๐ฟ๐ผ๐ผ๐ณ ๐๐ด๐ด๐ฟ๐ฒ๐ด๐ฎ๐๐ถ๐ผ๐ป ๐๐ฎ๐๐ฒ๐ฟ๐
โฆ @Polymer_Labs (transport/messaging layer)
โฆ @hyperlane (transport/messaging layer)
โฆ @union_build (zkIBC, potentially aggregation)
โฆ @0xPolygon AggLayer (proof aggregation)
โฆ @nebrazkp (proof aggregation)
โฆ @labs_electron (zkIBC / proof aggregation)
๐ญ๐ ๐๐ฎ๐ฟ๐ฑ๐๐ฎ๐ฟ๐ฒ ๐๐ฐ๐ฐ๐ฒ๐น๐ฒ๐ฟ๐ฎ๐๐ถ๐ผ๐ป
โฆ @Ingo_zk
โฆ @_Supranational
โฆ @AMD
โฆ @cysic_xyz (also Kalypso proving market / ZK-CaaS)
โฆ @kroma_network (Tachyon: Modular zk backend acclerated by GPU)
๐ฃ๐ฟ๐ถ๐๐ฎ๐ฐ๐
โฆ @zcash
โฆ @penumbrazone
โฆ @namada
โฆ @RAILGUN_Project
โฆ @aztecnetwork
What is missing on this list anon? ๐ค
Let me know in the comments! ๐ฌ๐