Zde informujeme o pokroku předních tvůrců v ekosystému zkVM, dokumentujeme nedávná významná vydání, technické průlomy a obecné aktualizace. Obsahuje: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc & @openvm_org 👇

Stručný 🔹 Průmyslovka 🔹 @SuccinctLabs představil SP1-CC, koprocesor ZK pro @ethereum, který umožňuje vývojářům číst historický stav blockchainu, provádět složité výpočty mimo blockchain a ověřovat výsledky v řetězci pomocí jediného důkazu: SP1-CC odstraňuje omezení plynu a EVM beze změny kódu L1, což umožňuje nové případy použití ve správě, DeFi, airdropech a zveřejňování informací o zabezpečení. Týmy jako @eigenlayer jej již používají ke snížení nákladů a zvýšení flexibility. 🔹 Partnerství 🔹 Projekt nedávno oznámil řadu nových partnerství, včetně: 🔹 @Snarkify_ZKP: Připojil se k síti Succinct Prover Network jako první prokazující tým a přinesl vlastní zkušební engine SP1-SRT optimalizovaný pro generování ZKP v reálném čase na GPU a FPGA, což pomáhá snížit latenci a náklady v celé síti: 🔹 @a41_allforone: Integrováno do sítě jako víceuzlový prover s plánovačem, který koordinuje stovky GPU, spolu s backendem optimalizovaným pro Python, což umožňuje prokazování vysoké propustnosti pro aplikace, jako jsou hry, AI a kumulativní aktualizace: 🔹 @cysic_xyz: Přidán do sítě jako hardwarově akcelerovaný prover, který provozuje velké clustery GPU a připravuje se na spuštění vlastního ASIC pro úlohy zkVM, což přispívá hlubokými odbornými znalostmi ze ZPRIZE a infrastruktury ZK na produkční úrovni: 🔹 @worldcoin: Spolupracovali jsme na prokázání všech transakcí na World Chainu pomocí OP Succinct, provedli jsme 7denní experiment v mainnetu s paralelním ověřováním důkazů a demonstrovali rychlé a nákladově efektivní důkazy platnosti pro jeden z největších řetězců OP Stack: 🔹 @Mantle_Official: Podpořili přechod společnosti Mantle Network na OP Succinct na testnetu, což je v souladu s jejich plánem pro zvýšení bezpečnosti a decentralizace pomocí důkazů o chybách a modulární infrastruktury využívající ZK: 🔹 @zan_team: Připojili se jako víceuzlový prover poháněný @AntChainOpenLab, přispívají hardwarově akcelerovanou infrastrukturou a optimalizací SP1 založenou na FPGA, která 20x zvyšuje rychlost dokazování oproti procesorům, pomáhá snižovat náklady na síť a dláždí cestu pro ZK ASIC: 🔹 Média 🔹 Nakonec se k @alicelingl připojil spoluzakladatel společnosti Succinct @pumatheuma v nedávném pořadu "Succinct Special", kde diskutovali o nejnovějším vývoji společnosti Succinct a o všem ZK:

ZKM 🔹 Průmyslovka 🔹 @ProjectZKM představil Ziren - GPU akcelerovaný zkVM s distribuovaným dokazováním, dříve známý jako zkMIPS: Ziren, postavený na architektuře MIPS32r2 efektivní jako zk, již pohání reálné aplikace, jako je @GOATRollup, a oproti předchozím verzím výrazně zkracuje dobu generování důkazů. 🔹 Výzkum🔹 ZKM publikoval několik nových článků, které zdůrazňují nejnovější pokroky ve svém zkušebním zásobníku ZK: 🔹 V prvním článku jsme představili vylepšení, která přišla s rebrandingem Zirenu - akceleraci GPU, distribuované dokazování a různé optimalizace omezení: 🔹 Druhý vysvětloval Ziren System Framework, který pokrývá celý řetězec od kódu na vysoké úrovni až po on-chain důkazy. Podrobně popisuje, jak jsou trasování provádění založená na MIPS převáděna na STARKs, rekurzivně agregována s PLONK a finalizována do Groth16 pro efektivní ověření: 🔹 Třetí článek dokončil trilogii série ISA ZKM a zaměřil se na to, proč ZKM zvolil MIPS32r2 před RISC-V. Klade důraz na stabilitu obvodu a životnost důkazů a vysvětluje, jak MIPS nabízí pevný, neměnný ISA, který zajišťuje, že důkazy zůstávají platné po mnoho let bez přepracování: 🔹 V nejnovějším článku ZKM představil Jagged Polynomial Commitments - metodu pro práci s nepravidelnými maticemi v zkVMs. Díky použití řídkých převodů na husté a protokolů sumcheck umožňuje škálovatelné a efektivní závazky napříč dynamickými strukturami důkazů: 🔹 Média 🔹 Nakonec se k @alicelingl připojili @DacEconomy (hlavní vědecký pracovník ZKM) a @sd_eigen (hlavní přispěvatel společnosti GOAT Network), aby diskutovali o tom, jak zkVM společnosti ZKM pohání bitcoinovou L2 společnosti GOAT Network: Prozkoumali infrastrukturu Entangled Rollup, generování důkazů v reálném čase a agregované generování důkazů a nahrazení důvěry validátora matematickou jistotou - zdůraznili architekturu a bezpečnostní model, který stojí za přístupem GOAT ke škálovatelnosti Bitcoinu.

RISC Zero/Boundless 🔹 Průmyslovka 🔹 Společnost @boundless_xyz by @RiscZero spustila v roce @base beta verzi Mainnet, která přináší ZKP do reálného světa: Byl představen "The Signal" - open-source klient ZK, který komprimuje @ethereum finalitu do jediného důkazu, což umožňuje cross-chain verifikaci. Oddělením provádění od konsensu umožňuje Boundless škálovatelné výpočty bez obětování bezpečnosti. Dokazování je bez povolení, se skutečnými pobídkami a podporou živých aplikací již běží na Base. 🔹 Partnerství 🔹 Signál od Boundless je nyní podporován @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject a @union_build. Společně tyto sítě umožňují, aby se konečnost @ethereum založená na ZK stala univerzálním, ověřitelným primitivem pro cross-chain aplikace - bez orákul, mostů nebo předpokladů důvěryhodnosti:

V nejnovějším hovoru Ethproofs se @succinct_li @brevis_zk podělili o aktualizace o Brevisově interním zkVM, Pico: (Časové razítko 11:06) Prover založený na GPU, Pico v1.0, přináší až 20× zlepšení rychlosti oproti verzi CPU a překonává přední konkurenty přibližně o 25-27 %. Tým plánuje vydat Pico v2.0 do konce srpna s cílem dokázat v reálném čase. Mají také v úmyslu otevřít kód GPU poté, co v nadcházejících měsících dokončí podporu více GPU a více počítačů.

Lita @0xLita představil Valida 0.10.0, hlavní aktualizaci svého balíku zkVM: Tato verze přidává pokračování pro částečné důkazy provádění, rozhraní WASM API na straně klienta pro důkazy zk založené na prohlížeči a vylepšenou podporu sady nástrojů Rust/LLVM. Zahrnuje také obrazy Dockeru pro x86 a ARM, včasnou podporu pro Secp256k1 a memcpy a Reva, exekutor bloků @ethereum.

OpenVM @openvm_org vydala verzi 1.3.0, která představuje přepracované knihovny hosta, které čistě oddělují nízkoúrovňové vazby od vysokoúrovňových rozhraní API: Aktualizace obsahuje novou knihovnu Rust pro ověřování důkazů STARK, vylepšení CLI podporující možnosti Cargo a záplaty pro kryptografické bedny, jako jsou k256 a p256. Nedošlo k žádným změnám okruhu. Vývojářům se doporučuje přejít na nové knihovny.