Cele mai noi zkVM Aici raportăm progresul principalilor constructori din ecosistemul zkVM, documentând lansările recente semnificative, descoperirile tehnice și actualizările generale. Cu: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm și @ProjectZKM. 🔹 Vizitați pentru mai multe rapoarte din întreaga industrie 🔹

Brevis 🔹 Whitepaper-ul 🔹 ProverNet @brevis_zk a lansat whitepaper-ul său ProverNet, care descrie o piață descentralizată unde aplicațiile solicită capacitatea de dovadă ZK, iar probatorii specializați concurează pentru a o furniza: Sistemul folosește un mecanism autentic de licitație dublă online pentru a potrivi sarcini de muncă eterogene cu resurse adecvate, menținând în același timp calitatea serviciului prin stimulente economice. ProverNet introduce tokenul BREV pentru plăți, staking-uri și guvernanță, iar un mainnet beta cu o licitație simplificată este programat să fie lansat în curând. 🔹 Media 🔹 Într-un episod recent al @HouseofZK Radio, @no89thkey, cofondatorul Brevis a relatat despre cum echipa a trecut de la originile DeFi la construirea de calcul verificabil și demonstrare aproape în timp real: El a vorbit despre Pico zkVM, demonstratorul distribuit Pico Prism folosit pentru demonstrarea blocurilor @Ethereum și despre modul în care arhitectura modulară a coprocesorului Brevis susține loialitatea on-chain, recompense simplificate și integrări cu punte CEX/DEX. Podcastul complet: 🔹 Evenimente 🔹 Brevis a găzduit și a participat la mai multe sesiuni cheie în timpul @EFDevcon, aducând perspective practice asupra calculului verificabil și trecerea către modele de execuție off-chain, bazate pe demonstrații: • Brevis deținea ZKONNECT, cu House of ZK ca co-prezentatoare, concentrându-se pe modul în care zkVM-urile, coprocesoarele ZK, zkML și zkTLS trec de la concepte la producție. Programul a evidențiat implementări practice ale calculului verificabil, accesul la date cross-chain și inferența AI, alături de mai multe discursuri principale și discuții care au prezentat modul în care echipele aplică infrastructura ZK la aplicații reale. • Michael a susținut un discurs principal la Verifying Intelligence 3.0, organizat de House of ZK și co-prezentat de Brevis: El a explicat de ce majoritatea calculelor blockchain vor migra off-chain și vor fi verificate prin ZKP-uri, prezentând Brevis ca stratul infinit de calcul care execută logică grea off-chain și returnează ieșiri succinte și verificabile. Prezentarea a acoperit Pico zkVM, demonstrarea Ethereum în timp real, arhitectura modulară a Brevis și integrările actuale care alimentează DeFi inteligent, atestări care păstrează confidențialitatea și sisteme continue de stimulente. 🔹 Parteneriate 🔹 În cele din urmă, Brevis și @vana au prezentat un model comun pentru utilizarea datelor private în AI, combinând intrări autentificate cu calcul local care nu dezvăluie nicio informație brută: Brevis zkTLS dovedește originea datelor, în timp ce Pico zkVM le procesează pe dispozitivul utilizatorului. Vana gestionează consimțământul și recompensele, oferind dezvoltatorilor metrici verificate și permițând utilizatorilor să păstreze controlul total asupra datelor lor. 🔹 Vizitați pentru mai multe rapoarte din întreaga industrie 🔹

Șoc (@a16zcrypto) 🔹 Chemarea 🔹 Ethproofs @SuccinctJT, cercetător la @a16zcrypto, prezentat la apelul recent @eth_proofs. El a subliniat cum zkVM-urile actuale controlează memoria demonstrer prin împărțirea traseelor în bucăți și agregarea recursiv a demonstrațiilor, dar că acest lucru adaugă complexitate, risc de erori și costuri de performanță. Timp - 32:30: Justin a continuat explicând cum Jolt intenționează să înlocuiască acest lucru cu o abordare de streaming care limitează memoria prover la câțiva gigabytes, indiferent de numărul de cicluri. Două dintre cele aproximativ douăzeci de componente Sumcheck necesare sunt deja în streaming, iar restul muncii se așteaptă să se termine curând. 🔹 Cercetare 🔹 Justin a publicat, de asemenea, un articol bazat pe rezultatele unui sondaj axat pe modul în care designul SNARK modern realizează o demonstrație rapidă concentrându-se pe protocolul de verificare a sumei: Lucrarea explică de ce tehnici precum evaluarea în lot, argumentele de căutare, polinoamele virtuale și conservarea cu valoare mică reduc costurile de muncă a demonstratorilor și angajamente. Folosind Jolt ca studiu de caz principal, arată cum exploatarea structurii computaționale repetate permite zkVM-uri eficiente și ghidează îmbunătățirile viitoare ale performanței. 🔹 Vizitați pentru mai multe rapoarte din întreaga industrie 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden a lansat Testnet-ul v0.12, introducând actualizări majore în fluxurile de confidențialitate, gestionarea cheilor, gestionarea adreselor și unelte pentru dezvoltatori: Versiunea adaugă un nou format de adresă cu suport pentru criptare, un strat privat de transport de notițe cu @Nethermind, semnare ECDSA prin precompilații și îmbunătățiri în gestionarea datelor în nod. Include, de asemenea, elemente de bază pentru vizibilitatea datelor tranzacțiilor, noul instalator Midenup pentru onboarding simplificat, un devnet dedicat pentru experimentare și multiple îmbunătățiri la nivel de VM pentru compozibilitate și depanare. 🔹 Publicaţii 🔹 Proiectul a publicat un articol care explică cum devin fezabile multisig-urile private printr-un nou sistem numit Private State Management, co-dezvoltat cu @OpenZeppelin: Articolul explică de ce multisig-urile tradiționale se bazează pe starea publică partajată, cum modelul de confidențialitate al lui Miden complică coordonarea și modul în care straturile de sincronizare, coordonare și autentificare ale PSM mențin alinierea conturilor private. Se încheie cu exemple de cazuri practice de utilizare și menționează că un Proof-of-Concept timpuriu este deja disponibil. 🔹 Evenimente 🔹 La @EFDevcon, Miden a găzduit și a participat la mai multe evenimente, inclusiv: • The Privacy Salon, un eveniment organizat de Miden care a reunit constructori, cercetători și fondatori pentru discuții scurte, bazate pe idei, și discuții deschise despre confidențialitate, sisteme descentralizate și intersecțiile în evoluție dintre crypto, web3 și finanțele tradiționale. • Verificarea Inteligenței 3.0, organizată pe @HouseofZK, unde @huitseeker, Engineering Lead la Miden, a vorbit despre rolul zkVM-urilor în zkML, explicând diferențele dintre demonstrarea inferenței și antrenament, limitările TEE-urilor și modul în care designul Miden susține scenarii practice de verificare AI rezistente la adversari. Timestamp - 02:50:12: 🔹 Integrări 🔹 Proiectul a introdus două noi parteneriate care extind ecosistemul său în privințe, integrare și infrastructură, inclusiv: • @get_para: Portofel integrat integrat al Para și autentificare MPC distribuită pentru a permite o integrare fluidă, fără custodie, pentru aplicațiile Miden. Colaborarea a introdus autentificare fără parolă, crearea instantanee de portofele și fluxuri de utilizatori fără fricțiuni, aliniind stack-ul UX al Para cu modelul de confidențialitate conform Miden pentru a susține aplicații private DeFi, fintech, gaming și instituționale construite pe execuția ZK: • @gateway_eth: Parteneriat pentru a oferi infrastructură de nivel enterprise pentru rețeaua blockchain scalabilă și axată pe confidențialitate a lui Miden. Parteneriatul asigură disponibilitate ridicată, acces rapid la date și fiabilitate operațională pe măsură ce Miden se scalează, Gateway-ul rulând componente de bază precum podul nativ, provers și exploratorul de blocuri pentru a susține implementarea arhitecturii de execuție pe margine a Miden: 🔹 Vizitați pentru mai multe rapoarte din întreaga industrie 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs lansat versiunea Alpha a bursei sale descentralizate de futures perpetue ca parte a Testnet III, oferind o platformă CLOB simplificată, non-custodială, construită pe infrastructură verificabilă: Comunicatul se concentrează pe funcțiile de tranzacționare de bază, onboarding simplificat și fonduri de testare în locul activelor reale. Deși interfața este minimă, cartea de ordine de bază este proiectată pentru performanță cu latență scăzută și se va extinde cu feedback condus de comunitate și demonstrații criptografice introduse progresiv. 🔹 Starea 🔹 rețelei Nexus a publicat raportul său de rețea din noiembrie: Repere includ: • Rețeaua a procesat 87,198 milioane de tranzacții, dintre care 87,038 milioane au fost finalizate, arătând o fiabilitate ridicată și un decalaj foarte mic între activitatea inițiată și cea finalizată. • Debitul de demonstrații ajustat de la 5.810 la 4,16 proof pe secundă pe parcursul lunii, reflectând o revenire la o bază de bază de demonstrare mai stabilă după creșterea rapidă din octombrie. • Contractele verificate au atins 2,548 milioane, demonstrând încrederea continuă a dezvoltatorilor în mediul de testare, în ciuda latenței mai mari și a unui debit moderat. • Taxele de tranzacție au fost în medie de 0,048 NEX, menținând costul verificabilității scăzut și lăsând loc pentru iterații rapide și interacțiuni frecvente onchain. 🔹 Evenimente 🔹 Cercetătorul-șef Nexus @JensGroth16 a participat la o discuție la focul evenimentului Verifying Intelligence organizat de @HouseofZK în @EFDevcon, discutând despre cum au evoluat ZKP-urile de la primele lucrări teoretice până la aplicațiile actuale în AI verificabilă: El a evidențiat accentul Nexus pe combinarea corectitudinii dovedibile cu securitatea economică și a subliniat necesitatea standardelor, educației și încrederii instituționale mai largi pentru a asigura că sistemele verificabile devin utilizabile și larg adoptate. 🔹 Vizitați pentru mai multe rapoarte din întreaga industrie 🔹

Risc Zero & Boundless 🔹 Chemarea 🔹 Ethproofs În recentul @eth_proofs Call #6, @BruestleJeremy, CEO și cofondator al @RiscZero, a împărtășit cum echipa a pornit cu succes un nucleu Linux real în zkVM după ce a adăugat suport Risc-V pentru modul S, MMU complet și memorie virtualizată. Timp - 20:30: Demonstrația a arătat mai multe procese în rulare și un mediu aproape determinist, potrivit pentru stive software mai largi. Risс Zero plănuiește să lanseze acest proiect în următoarea versiune a circuitului, pe măsură ce progresul la prober continuă. 🔹 Evenimente 🔹 @boundless_xyz participat la mai multe evenimente în timpul Devconnect din Buenos Aires, inclusiv: • O sesiune de citire a Whitepaper-ului organizată de @HouseofZK în parteneriat cu @WPReadingClub și @invisiblgarden, unde Boundless, @citrea_xyz, @MinaProtocol și @o1_labs au participat la discuții la mese rotunde despre dezvoltările recente de cercetare și ideile emergente din ecosistemul Web3 și ZK. • Un panel Verificarea Inteligenței 3.0, unde @reka_eth, Director de Marketing la Boundless, a contribuit la o discuție despre demonstrarea contribuției umane într-o eră modelată de AI și robotică, alături de vorbitori @humpty0x de @OntologyNetwork, @zKsisyfos de @StarkWareLtd, @DacEconomy de @ProjectZKM și @Viggy_117 de @eigencloud. Timp - 00:57:54: 🔹 Vizitați pentru mai multe rapoarte din întreaga industrie 🔹

Succint 🔹 SP1 Hypercube 🔹 @SuccinctLabs a raportat că cea mai recentă versiune a SP1 Hypercube zkVM poate dovedi 99,7% din @ethereum blocuri L1 în mai puțin de 12 secunde pe 16 plăci video RTX 5090, extinzând astfel pragul său anterior de demonstrare în timp real: Lansarea adaugă îmbunătățiri majore de performanță, verificare formală a tuturor constrângerilor RISC-V, eliminarea dependențelor de conjecturi de apropiere și noi măsuri de securitate. Hypercube finalizează audituri și va fi lansat open source și prin Succinct Prover Network. 🔹 Cercetare 🔹 Într-un studiu recent realizat de @ronrothblum, șeful departamentului de criptografie la Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) și @kleptographic (@NYU_Courant), autorii prezintă TensorSwitch, o schemă de angajament polinomial aproape optimă bazată pe hash: Abordează două limitări principale în SNARG-urile bazate pe hash: timpul de demonstrare și dimensiunile mari ale demonstrațiilor. Folosind coduri tensoriale și demonstrații oracolare interactive, TensorSwitch atinge timpii de angajament și deschidere liniari ca dimensiune a intrărilor, costuri de hashing subliniare și interogări de verificare asimptotic minime, fără a se baza pe configurarea de încredere sau criptografia bazată pe grupuri 🔹 C2PA 🔹 Succinct s-a alăturat @C2PA_org, lucrând alături de alți participanți la dezvoltarea de standarde deschise pentru verificarea conținutului digital: Pe măsură ce media generată de AI crește, proiectul introduce verificarea ZK pentru a consolida fluxurile de lucru de proveniență cu confidențialitate și atestări scalabile. Succinct își propune să susțină standardele unificate de metadate și să îmbunătățească interoperabilitatea între platforme. Prin aderarea la C2PA, proiectul intenționează să contribuie cu cercetare și să asiste la implementarea instrumentelor de autenticitate a conținutului în contexte practice. 🔹 OP Succinct Lite 🔹 @Celo a actualizat testnet-ul Sepolia la OP Succinct Lite prin Jello hardfork, apropiindu-se de lansarea mainnet-ului: La începutul acestui an, Celo a trecut la Ethereum L2 pentru a suporta plăți reale și a devenit primul lanț care a adoptat OP Succinct Lite cu EigenDA v2. 🔹 Vizitați pentru mai multe rapoarte din întreaga industrie 🔹

ZKM 🔹 Audit 🔹 Zen de la ZKM este supusă unui audit realizat de @VeridiseInc, folosind platforma sa de verificare Picus: Veridise a adaptat constrângerile Plonky3 ale lui Ziren și a efectuat analize prin @AuditHubDev. Rezultatele inițiale au confirmat comportamentul determinist pentru adunare și scădere în cipul AddSub. Echipele plănuiesc să extindă verificarea la circuite complete și să integreze verificările în fluxul de lucru de dezvoltare al ZKM. 🔹 Publicaţii 🔹 @ProjectZKM publicat un articol care explică modul în care protocolul GKR verifică calculele aritmetice ale circuitelor prin verificarea recursivă a consistenței între straturile circuitului folosind protocolul multivariat Sumcheck: Lucrarea explică structura circuitelor stratificate, rolul extensiilor multiliniare, modul în care Sumcheck reduce verificarea la evaluările punctuale și cum se termină recursivitatea la stratul de intrare. Arată de ce GKR este eficient pentru circuite mari și fundamental în sistemele moderne ZK. 🔹 Evenimente 🔹 ZKM a publicat un articol despre perioada petrecută la @EFDevcon, cu momente de referință: • ZKONNECT de @brevis_zk și House of ZK: ZKM CTO @sd_eigen s-a alăturat panelului de demonstrare în timp real EVM Proven in 10 Seconds, discutând despre sistemele de demonstrație accelerate GPU. • Verificarea informațiilor de către House of ZK și Brevis: Stephen a vorbit despre confidențialitatea bazată pe ZK în fluxurile de lucru AI și a revizuit auditul lui Ziren împreună cu @VeridiseInc. Cofondatoare @DacEconomy s-a alăturat panelului AI and Work pentru verificarea contribuțiilor umane. • @EtherArgentina Hackathon: ZKM a sponsorizat evenimentul cu Stephen ca judecător și lider educațional @alicelingl echipe de mentorat. • Native BTCFi Summit de @babylonlabs_io și @build_on_bob: discuții despre finanțele aliniate @Bitcoin și scalarea BTC. • StarkConnect de @Starknet: Stephen a participat la o sesiune despre scalarea Bitcoin cu Starknet, @AlpenLabs și @atomiqlabs. • ZK Real World Summit: panel despre lanțurile care păstrează intimitatea, cu @MantaNetwork, @ZKVProtocol și @nillion. • Cultural Vivo de @invisiblgarden: ZKM a revenit ca sponsor, susținând hub-ul pentru dezvoltatorii ZK și AI. 🔹 Vizitați pentru mai multe rapoarte din întreaga industrie 🔹