Ландшафт инфраструктуры ZK

ZK не мертв. ZK — это конечная игра.

Я идентифицировал 64 проекта в 8 вертикалях, составляющих многомиллиардную индустрию, которая вскоре может стоить триллионы $$$.

Часть 1/2:

𝘇𝗸𝗩𝗠𝘀

- Jolt от @a16zcrypto
- Nexus от @NexusLabsHQ
- Risc0 от @RiscZero (на основе RISC-V)
- Sp1 от @SuccinctLabs (на основе RISC-V)
- Valida от @lita_xyz
- zkOS от @the_matter_labs
- Miden от @0xPolygon
- Ola от @ola_zkzkvm
- TritonVM от @seagodcrypto
- zkWasm VM от @fluentxyz
- CairoVM от @StarkWareLtd
- zkLLVM от @nil_foundation
- snarkOS от @AleoHQ
- Lurk от @LurkLab
- MIPS zkVM от @o1_labs (Mina)
- Piecrust VM от @DuskFoundation
- Aztec VM от @aztecnetwork
- @ProjectZKM (оптимизированный для BitVM MIPS-based zkVM)
- @Aleph__Zero (ZK L1)
- @DelphinusLab (zkWasm)
- @ziskvm (производная от Polygon, ранее @0xPolygon zkEVM)

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

- @boundless_xyz (полноценное ZK решение, не только доказательство)
- @SindriLabs (автоматизация ZK инфраструктуры)
- @thezkcloud (универсальный слой доказательства)
- @lagrangedev (DeepProve проверяет выводы ИИ через ZK)
- @MarlinProtocol (TEE сопроцессоры для децентрализованного ИИ)
- @Snarkify_ZKP (доказательство в реальном времени для любой цепи)
- @fermah_xyz (универсальный рынок доказательств)
- @LumozOrg (RaaS с встроенным доказательством)

𝗨𝗻𝗶𝘃𝗲𝗿𝘀𝗮𝗹 𝗩𝗲𝗿𝗶𝗳𝗶𝗰𝗮𝘁𝗶𝗼𝗻 & Aggregation 𝗟𝗮𝘆𝗲𝗿𝘀

- @alignedlayer (AVS для проверки доказательств, потенциально агрегация)
- @ZKVProtocol (универсальный слой проверки доказательств)
- @nebrazkp (агрегация доказательств)
- @labs_electron (агрегация доказательств)
- @0xPolygon AggLayer (агрегация доказательств)
- @union_build (основанный на IBC, ZK-усиленный слой взаимодействия)
- @zkLink_Official (слой агрегации)

Продолжайте читать для части 2