Lanskap Infrastruktur ZK Terbaik

ZK tidak mati. ZK adalah permainan akhir.

Saya mengidentifikasi 64 proyek di 8 vertikal, membentuk industri bernilai miliaran dolar yang bisa segera bernilai triliunan $$$.

Bagian 1/2:

๐˜‡๐—ธ๐—ฉ๐— ๐˜€

- Jolt oleh @a16zcrypto
- Nexus oleh @NexusLabsHQ
- Risc0 oleh @RiscZero (berbasis RISC-V)
- Sp1 oleh @SuccinctLabs (berbasis RISC-V)
- Valida oleh @lita_xyz
- zkOS oleh @the_matter_labs
- Miden oleh @0xPolygon
- Ola oleh @ola_zkzkvm
- TritonVM oleh @seagodcrypto
- zkWasm VM oleh @fluentxyz
- CairoVM oleh @StarkWareLtd
- zkLLVM oleh @nil_foundation
- snarkOS oleh @AleoHQ
- Lurk oleh @LurkLab
- MIPS zkVM oleh @o1_labs (Mina)
- Piecrust VM oleh @DuskFoundation
- Aztec VM oleh @aztecnetwork
- @ProjectZKM (MIPS-based zkVM yang dioptimalkan untuk BitVM)
- @Aleph__Zero (ZK L1)
- @DelphinusLab (zkWasm)
- @ziskvm (spin-off Polygon, sebelumnya @0xPolygon zkEVM)

๐—จ๐—ป๐—ถ๐˜ƒ๐—ฒ๐—ฟ๐˜€๐—ฎ๐—น ๐—ฃ๐—ฟ๐—ผ๐˜ƒ๐—ถ๐—ป๐—ด ๐—Ÿ๐—ฎ๐˜†๐—ฒ๐—ฟ๐˜€

- @boundless_xyz (solusi ZK full-stack, tidak hanya pembuktian)
- @SindriLabs (automasi infrastruktur ZK)
- @thezkcloud (lapisan pembuktian universal)
- @lagrangedev (DeepProve memverifikasi inferensi AI melalui ZK)
- @MarlinProtocol (koprosesor TEE untuk AI terdesentralisasi)
- @Snarkify_ZKP (pembuktian waktu nyata untuk rantai apa pun)
- @fermah_xyz (pasar pembuktian universal)
- @LumozOrg (RaaS dengan pembuktian terintegrasi)

๐—จ๐—ป๐—ถ๐˜ƒ๐—ฒ๐—ฟ๐˜€๐—ฎ๐—น ๐—ฉ๐—ฒ๐—ฟ๐—ถ๐—ณ๐—ถ๐—ฐ๐—ฎ๐˜๐—ถ๐—ผ๐—ป & Aggregation ๐—Ÿ๐—ฎ๐˜†๐—ฒ๐—ฟ๐˜€

- @alignedlayer (AVS untuk verifikasi bukti, berpotensi agregasi)
- @ZKVProtocol (lapisan verifikasi bukti universal)
- @nebrazkp (agregasi bukti)
- @labs_electron (agregasi bukti)
- @0xPolygon AggLayer (agregasi bukti)
- @union_build (berbasis IBC, lapisan interop bertenaga ZK)
- @zkLink_Official (lapisan agregasi)

Lanjutkan membaca untuk bagian 2