Aici raportăm progresul celor mai importanți constructori din ecosistemul zkVM, documentând lansările recente semnificative, descoperirile tehnice și actualizările generale. Cu: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc și @openvm_org 👇

Succint 🔹 Tech 🔹 @SuccinctLabs a introdus SP1-CC, un coprocesor ZK pentru @ethereum care permite dezvoltatorilor să citească starea istorică a blockchain-ului, să ruleze calcule complexe în afara lanțului și să verifice rezultatele în lanț cu o singură dovadă: SP1-CC elimină constrângerile de gaz și limitările EVM fără a schimba codul L1, permițând noi cazuri de utilizare în guvernanță, DeFi, airdrop-uri și dezvăluiri de securitate. Echipele ca @eigenlayer îl folosesc deja pentru a reduce costurile și a crește flexibilitatea. 🔹 Parteneriate 🔹 Proiectul a anunțat recent o serie de noi parteneriate, inclusiv: 🔹 @Snarkify_ZKP: M-am alăturat rețelei Succinct Prover ca o echipă de testare timpurie, aducând un motor de testare SP1-SRT personalizat optimizat pentru generarea ZKP în timp real pe GPU-uri și FPGA-uri, ajutând la reducerea latenței și a costurilor în rețea: 🔹 @a41_allforone: Integrat în rețea ca un tester cu mai multe noduri cu un programator care coordonează sute de GPU-uri, împreună cu un backend optimizat pentru Python, permițând verificarea cu randament ridicat pentru aplicații precum jocuri, AI și rollup-uri: 🔹 @cysic_xyz: Adăugat la rețea ca un tester accelerat hardware care rulează clustere GPU mari și se pregătește să lanseze un ASIC personalizat pentru sarcinile de lucru zkVM, contribuind cu expertiza profundă a ZPRIZE și a infrastructurii ZK de producție: 🔹 @worldcoin: A colaborat pentru a dovedi toate tranzacțiile de pe World Chain folosind OP Succinct, derulând un experiment de 7 zile pe rețeaua principală cu verificarea probelor paralele și demonstrând dovezi de validitate rapide și eficiente din punct de vedere al costurilor pentru unul dintre cele mai mari lanțuri OP Stack: 🔹 @Mantle_Official: A sprijinit tranziția Mantle Network la OP Succinct pe testnet, aliniindu-se cu foaia lor de parcurs pentru a îmbunătăți securitatea și descentralizarea cu rezistențe la defecțiuni și infrastructură modulară bazată pe ZK: 🔹 @zan_team: S-a alăturat ca un tester cu mai multe noduri alimentat de @AntChainOpenLab, contribuind cu infrastructură accelerată hardware și optimizare SP1 bazată pe FPGA care îmbunătățește viteza de testare de 20 de ori față de procesoare, ajutând la reducerea costurilor de rețea și deschizând calea pentru ZK ASIC-uri: 🔹 Media 🔹 În cele din urmă, co-fondatorul Succinct @pumatheuma @alicelingl alăturat la recentul "Succinct Special", unde au discutat despre cele mai recente evoluții ale Succinct și despre tot ce este ZK:

ZKM 🔹 Tech 🔹 @ProjectZKM introdus Ziren - o zkVM accelerată de GPU cu demonstrație distribuită, cunoscută anterior sub numele de zkMIPS: Construit pe arhitectura MIPS32r2 eficientă zk, Ziren alimentează deja aplicații din lumea reală precum @GOATRollup și reduce semnificativ timpul de generare a probelor față de versiunile anterioare. 🔹 Cercetare🔹 ZKM a publicat mai multe articole noi care evidențiază cele mai recente progrese în stiva sa de verificare ZK: 🔹 Primul articol a introdus upgrade-urile care au venit odată cu rebranding-ul Ziren - accelerarea GPU, demonstrarea distribuită și diverse optimizări ale constrângerilor: 🔹 Al doilea a explicat Ziren System Framework, acoperind întreaga conductă, de la cod de nivel înalt la probele on-chain. Acesta detaliază modul în care urmele de execuție bazate pe MIPS sunt convertite în STARK-uri, agregate recursiv cu PLONK și finalizate în Groth16 pentru o verificare eficientă: 🔹 Al treilea articol a completat trilogia seriei ISA a ZKM, concentrându-se pe motivul pentru care ZKM a ales MIPS32r2 în detrimentul RISC-V. Pune accentul pe stabilitatea circuitului și longevitatea dovezii, explicând modul în care MIPS oferă un ISA fix, neschimbat, asigurându-se că dovezile rămân valabile ani de zile fără refacere: 🔹 În cel mai recent articol, ZKM a introdus Jagged Polynomial Commitments - o metodă de gestionare a matricelor neregulate în zkVM-uri. Prin utilizarea conversiilor dispersate în dense și a protocoalelor de verificare a sumelor, permite angajamente scalabile și eficiente în structuri de dovadă dinamică: 🔹 Media 🔹 În cele din urmă, @DacEconomy (cercetător șef ZKM) și @sd_eigen (colaborator principal la GOAT Network) s-au alăturat @alicelingl pentru a discuta despre modul în care zkVM ZKM alimentează Bitcoin L2 al GOAT Network: Ei au explorat infrastructura Entangled Rollup, generarea de dovezi în timp real și agregate și înlocuirea încrederii validatorului cu certitudinea matematică - evidențiind arhitectura și modelul de securitate din spatele abordării GOAT față de scalabilitatea Bitcoin.

RISC Zero/Nelimitat 🔹 Tech 🔹 @boundless_xyz by @RiscZero a lansat Mainnet Beta pe @base, aducând ZKP-urile în utilizarea în lumea reală: A fost introdus "The Signal" - un client ZK open-source care comprimă finalitatea @ethereum într-o singură dovadă, permițând verificarea cross-chain. Prin separarea execuției de consens, Boundless permite calculul scalabil fără a sacrifica securitatea. Dovedirea este fără permisiune, cu stimulente reale și suport pentru aplicații live care rulează deja pe Base. 🔹 Parteneriate 🔹 Semnalul de la Boundless este acum susținut de @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject și @union_build. Împreună, aceste rețele permit finalității @ethereum bazate pe ZK să devină o primitivă universală, verificabilă pentru aplicațiile cross-chain - fără oracole, punți sau ipoteze de încredere:

În cel mai recent apel Ethproofs, @succinct_li dintre @brevis_zk împărtășit actualizări despre zkVM intern al lui Brevis, Pico: (Timestamp 11:06) Proverul bazat pe GPU de la Brevis, Pico v1.0, oferă îmbunătățiri de viteză de până la 20× față de versiunea lor de CPU și depășește concurenții de top cu aproximativ 25-27%. Echipa plănuiește să lanseze Pico v2.0 până la sfârșitul lunii august, cu scopul de a dovedi în timp real. De asemenea, intenționează să deschidă codul GPU după finalizarea suportului multi-GPU și multi-machine în lunile următoare.

Lita @0xLita introdus Valida 0.10.0, o actualizare majoră a stivei sale zkVM: Versiunea adaugă continuări pentru dovezi de execuție parțiale, un API WASM pe partea clientului pentru dovezi zk bazate pe browser și suport îmbunătățit pentru lanțul de instrumente Rust/LLVM. Include, de asemenea, imagini Docker pentru x86 și ARM, suport timpuriu pentru Secp256k1 și memcpy, și Reva, un executor de blocuri @ethereum.

OpenVM @openvm_org a lansat versiunea 1.3.0, introducând biblioteci de invitați reînnoite care separă în mod clar legăturile de nivel scăzut de API-urile de nivel înalt: Actualizarea include o nouă bibliotecă Rust pentru verificarea probelor STARK, îmbunătățiri CLI care acceptă opțiunile Cargo și patch-uri pentru lăzi criptografice precum k256 și p256. Nu au avut loc modificări ale circuitului. Dezvoltatorii sunt încurajați să migreze la noile biblioteci.