ZK frontier map: zkVMs, zkEVMs, proving, verification and aggregation layers
Thread119 words
Taxonomy of ZK infrastructure: 13 zkVMs, four zkEVMs, universal proving layers (Gevulot, Lagrange), verification layers (Aligned, Horizen) and proof aggregation layers (AggLayer, Nebra, Union, Electron).
✨ The Frontier of ZK Innovation ✨
zkVMs
✦ 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
✦ Cairo by @StarkWareLtd
✦ zkLLVM by @nil_foundation
✦ snarkOS by @AleoHQ
zkEVMs
✦ @0xPolygon zkEVM
✦ @zksync
✦ @Scroll_ZKP
✦ @taikoxyz
Universal Proving Layers
✦ @gevulot_network
✦ @lagrangedev
Universal Verification Layers
✦ @alignedlayer
✦ @horizenglobal
Proof Aggregation Layers
✦ @0xPolygon AggLayer
✦ @nebrazkp
✦ @union_build
Anything you would add here? 🤔
@a16zcrypto @NexusLabsHQ @RiscZero @SuccinctLabs @lita_xyz @the_matter_labs @0xPolygon @ola_zkzkvm @seagodcrypto adding @labs_electron as an aggregation layer as well
x.com/labs_electron/status/1767639290778128720