終極 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 (基於 MIPS 的 zkVM 針對 BitVM 優化)
- @Aleph__Zero (ZK L1)
- @DelphinusLab (zkWasm)
- @ziskvm (Polygon 分拆，前身為 @0xPolygon zkEVM)
𝗨𝗻𝗶𝘃𝗲𝗿𝘀𝗮𝗹 𝗣𝗿𝗼𝘃𝗶𝗻𝗴 𝗟𝗮𝘆𝗲𝗿𝘀
- @boundless_xyz (全堆疊 ZK 解決方案，不僅僅是證明)
- @SindriLabs (ZK 基礎設施自動化)
- @thezkcloud (通用證明層)
- @lagrangedev (DeepProve 通過 ZK 驗證 AI 推論)
- @MarlinProtocol (去中心化 AI 的 TEE 協處理器)
- @Snarkify_ZKP (任何鏈的實時證明)
- @fermah_xyz (通用證明市場)
- @LumozOrg (內建證明的 RaaS)
𝗨𝗻𝗶𝘃𝗲𝗿𝘀𝗮𝗹 𝗩𝗲𝗿𝗶𝗳𝗶𝗰𝗮𝘁𝗶𝗼𝗻 & Aggregation 𝗟𝗮𝘆𝗲𝗿𝘀
- @alignedlayer (用於證明驗證的 AVS，可能進行聚合)
- @ZKVProtocol (通用證明驗證層)
- @nebrazkp (證明聚合)
- @labs_electron (證明聚合)
- @0xPolygon AggLayer (證明聚合)
- @union_build (基於 IBC，ZK 驅動的互操作層)
- @zkLink_Official (聚合層)
繼續閱讀第 2 部分
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 (基於 MIPS 的 zkVM 針對 BitVM 優化)
- @Aleph__Zero (ZK L1)
- @DelphinusLab (zkWasm)
- @ziskvm (Polygon 分拆，前身為 @0xPolygon zkEVM)
𝗨𝗻𝗶𝘃𝗲𝗿𝘀𝗮𝗹 𝗣𝗿𝗼𝘃𝗶𝗻𝗴 𝗟𝗮𝘆𝗲𝗿𝘀
- @boundless_xyz (全堆疊 ZK 解決方案，不僅僅是證明)
- @SindriLabs (ZK 基礎設施自動化)
- @thezkcloud (通用證明層)
- @lagrangedev (DeepProve 通過 ZK 驗證 AI 推論)
- @MarlinProtocol (去中心化 AI 的 TEE 協處理器)
- @Snarkify_ZKP (任何鏈的實時證明)
- @fermah_xyz (通用證明市場)
- @LumozOrg (內建證明的 RaaS)
𝗨𝗻𝗶𝘃𝗲𝗿𝘀𝗮𝗹 𝗩𝗲𝗿𝗶𝗳𝗶𝗰𝗮𝘁𝗶𝗼𝗻 & Aggregation 𝗟𝗮𝘆𝗲𝗿𝘀
- @alignedlayer (用於證明驗證的 AVS，可能進行聚合)
- @ZKVProtocol (通用證明驗證層)
- @nebrazkp (證明聚合)
- @labs_electron (證明聚合)
- @0xPolygon AggLayer (證明聚合)
- @union_build (基於 IBC，ZK 驅動的互操作層)
- @zkLink_Official (聚合層)
繼續閱讀第 2 部分