Найкращий ландшафт інфраструктури ZK ЗК не мертвий. ЗК – це ендшпіль. Я визначив 64 проекти у 8 вертикалях, що складають багатомільярдну індустрію, яка незабаром може коштувати трильйони доларів США. Частина 1/2: zkVM - Поштовх від @a16zcrypto - Nexus від @NexusLabsHQ - Risc0 від @RiscZero (на базі RISC-V) - Sp1 від @SuccinctLabs (на основі RISC-V) - Валіда від @lita_xyz - zkOS від @the_matter_labs - Miden від @0xPolygon - Ola від @ola_zkzkvm - TritonVM від @seagodcrypto - zkWasm VM від @fluentxyz - CairoVM від @StarkWareLtd - zkLLVM від @nil_foundation - snarkOS від @AleoHQ - Причаїтися по @LurkLab - MIPS zkVM від @o1_labs (Mina) - Piecrust VM від @DuskFoundation - Aztec VM від @aztecnetwork - @ProjectZKM (zkVM на основі MIPS, оптимізований для BitVM) - @Aleph__Zero (ЗК Л1) - @DelphinusLab (zkWasm) - @ziskvm (спін-офф Polygon, раніше @0xPolygon zkEVM) Універсальні випробовальні шари - @boundless_xyz (повноцінне рішення ZK, а не просто доведення) - @SindriLabs (інфраструктурна автоматизація ZK) - @thezkcloud (універсальний випробувальний шар) - @lagrangedev (DeepProve перевіряє висновки ШІ через ZK) - @MarlinProtocol (співпроцесори TEE для децентралізованого ШІ) - @Snarkify_ZKP (перевірка в реальному часі для будь-якого ланцюга) - @fermah_xyz (Універсальний маркетплейс доказів) - @LumozOrg (RaaS з вбудованим доведенням) Універсальні рівні верифікації та агрегації - @alignedlayer (AVS для перевірки доказів, потенційно агрегація) - @ZKVProtocol (універсальний рівень перевірки доказу) - @nebrazkp (агрегація доказів) - @labs_electron (агрегація доказів) - @0xPolygon AggLayer (агрегація доказів) - @union_build (міжопераційний шар на основі IBC, на базі ZK) - @zkLink_Official (шар агрегації) Продовжуйте читати до частини 2