ZKM a lansat oficial o nouă generație de zkVM accelerat prin GPU sub numele de Ziren: pentru a construi o infrastructură ZK de producție pentru dezvoltatorii mainstream

ZKM a lansat oficial o nouă versiune de generație a zkVM-ului său, Ziren (fostul zkMIPS), care deschide un nou capitol în implementarea și scalabilitatea sistemelor zero-knowledge proof (ZK) în scenarii de aplicații din lumea reală prin accelerare GPU, arhitectură demonstrată și sistem de constrângeri profund optimizat. Ziren își propune să permită inginerilor de sistem, dezvoltatorilor de aplicații și designerilor de protocoale să construiască aplicații ZK de înaltă performanță în limbajele mainstream, aducând cu adevărat ZK din laborator în practicile de dezvoltare mainstream.

De la zkMIPS la Ziren: salturi de performanță și o experiență de dezvoltare îmbunătățită

Ziren este o actualizare completă a zkMIPS v1.1.0 și a fost introdusă pentru prima dată:

• Accelerare GPU de 30× pentru a reduce dramatic latența proof;

• Arhitectură de rețea distribuită, care acceptă calculul paralel și implementarea scalabilă;

• Sistemul de constrângeri de instrucțiuni este actualizat, modularizarea instrucțiunilor este optimizată, utilizarea coloanei este optimizată și redundanța este eliminată;

• Lanțul de instrumente și experiența de dezvoltare au fost actualizate, iar suportul pentru C/C++ a fost adăugat pe baza suportului Rust, iar Golang va fi lansat în curând;

• Corecții cheie de securitate și îmbunătățiri de precompilare pentru a obține compatibilitate nativă cu ecosistemul Ethereum.

"Ziren este primul zkVM cu uz general cu adevărat scalabil și ușor de dezvoltat, construit pe fundația potrivită." Ming Guo, co-fondator și cercetător șef la ZKM, "S-a dovedit a fi un lider în performanță pe procesoare, iar acum îl ducem la nivelul următor cu accelerarea GPU. Dacă sunteți în căutarea unei stive optime de rezistență la ZK, Ziren este răspunsul. "

Pe lângă actualizarea tehnică cuprinzătoare, numele Ziren în sine are și o semnificație. Ca o continuare a zkMIPS, "Ziren" este inspirat de o variantă a mitului "Sirenă" și reprezintă o trecere de la iluzie la realitate – promisiunea că tehnologia nu mai este doar o atracție, ci o utilizare reală. Ziren își propune să fie o infrastructură zk cu adevărat eficientă, de încredere și implementabilă în mâinile dezvoltatorilor mainstream.

Accelerarea GPU și paralelismul demonstrat distribuit: saltul de la performanță la utilitate

Procesul de atestare de bază al Ziren a fost complet GPU, ceea ce a dus la îmbunătățiri semnificative ale performanței:

• Teste de miez de 30 de ori mai rapide

• Dovezi agregate de 15 ori mai rapide

• Dovezi de conversie BN254 de 30 de ori mai rapide

Combinat cu o arhitectură de probă în rețea, Ziren poate distribui sarcini de probă pe mai multe noduri pentru execuție paralelă, ceea ce nu numai că îmbunătățește semnificativ randamentul, dar îmbunătățește și utilizarea descentralizată a sistemului. Această arhitectură este ideală pentru blockchain-uri modulare, rollup-uri și sisteme de verificare interchain.

Optimizarea sistemului de constrângeri

Ziren a refactorizat sistematic sistemul de constrângeri:

• Împărțiți constrângerile la nivel de instrucțiune în "cipuri" modulare (care acoperă CPU, hop/ramură, memorie etc.)

• Reduceți numărul de coloane prin optimizarea structurii de date

• Eliminați logica de constrângere redundantă sau neutilizată

• Eficientizați procesele de procesare ALU, MADDU/MSUBU și sucursale pentru a îmbunătăți eficiența execuției

Aceste optimizări reduc semnificativ complexitatea dovezii, îmbunătățesc viteza de generare și îmbunătățesc stabilitatea sistemului. Din perspectiva zkVM, MIPS generează urme de execuție mai scurte decât RISCV și are o eficiență mai bună a instrucțiunilor, ceea ce favorizează îmbunătățirea eficienței demonstrației. Odată cu lansarea Ziren, avantajele alegerii MIPS au devenit treptat evidente.

O experiență de dezvoltare mai bună cu o experiență mai fluidă de la construcție la implementare

Ziren a lansat o nouă versiune a lanțului de instrumente (20250522), care aduce o serie de îmbunătățiri ale experienței dezvoltatorilor:

• Integrați patch-uri LLVM pentru a optimiza procesul de compilare

• Suportă bibliotecă statică C/C++ și remedieri de instrucțiuni teq

• Lanțul de scule Rust este mai robust și elimină hack-urile non-standard

• Suportul Golang vine în curând

În plus, Ziren acceptă verificarea semnăturilor native Ethereum, iar modulul precompilat acceptă acum semnături complete cu curbă eliptică ECDSA, ceea ce face integrarea în lanț mai ușoară și extinde scenariile de aplicații pe care le poate accepta.

Remedieri de stabilitate și securitate

Ziren a întărit complet procesul de verificare și de execuție a circuitelor, inclusiv:

• S-a remediat o vulnerabilitate critică a numerelor aleatorii FRI în Plonky3

• S-a remediat o vulnerabilitate de validare a vk_root în validatorul Rust

• Optimizarea consecvenței dintre logica de execuție a instrucțiunilor și sistemul de constrângeri

• Gestionarea îmbunătățită a comportamentului logicii de procesare a fragmentelor și a contoarelor de program

Diagramă comparativă Ziren vs zkMIPS 1.0

Toate aceste actualizări lucrează împreună pentru a îmbunătăți securitatea și consistența Ziren, făcându-l mai potrivit pentru cerințele de atestare ZK în mediile de producție.

Treceți la dovada în timp real: ethproofs.org Fiți martori la rezultatele optimizării

La ethproofs.org, Ziren a demonstrat rezultate de performanță în timp real, iar dovada în timp real este chiar după colț:

Prin înlocuirea mașinii virtuale de la Revm la Reth și extragerea stării contului în paralel, timpul de pregătire a stării blocului a fost redus de la 5 minute la mai puțin de 30 de secunde cu debug_traceBlock. Acest lucru reduce foarte mult latența procesului proof-of-proof în fiecare etapă, făcând performanța Ziren mai aproape de nivelul în timp real, punând o bază solidă pentru implementarea aplicațiilor ZK de înaltă frecvență.

Lansat pe GOAT Network: motorul de bază pentru construirea zkRollup nativ al Bitcoin

Ziren este acum live pe proiectul nativ zkRollup al Bitcoin, GOAT Network, permițând programabilitatea în stil Ethereum fără a fi nevoie de punți sau părți de încredere, păstrând în același timp securitatea rețelei principale Bitcoin. GOAT Network este una dintre practicile importante pe rutele BitVM2 și BitVM3.

"Când am decis să scalăm Bitcoin, aveam nevoie de un sistem în care să putem avea încredere de sus în jos - nu doar o grămadă de performanțe de suprafață, ci stabilitate și eficiență la nivel de circuit." Kevin Liu, co-fondator și CEO al ZKM și unul dintre colaboratorii principali ai GOAT Network, a declarat: "Ziren este un produs al acestei nevoi, un strat de infrastructură în care avem încredere în fiecare dovadă".

Construiți-vă aplicația ZK, începând cu Ziren

Ziren condensează anii de șlefuire aprofundată a ingineriei sistemului de bază și cercetare zero-knowledge, nu numai pentru întâlniri, ci și pentru zkVM cu o structură mai bună, o experiență mai bună și o aplicație mai largă. Indiferent dacă construiți o DApp Ethereum, Bitcoin L2 sau un sistem de verificare cross-chain, Ziren vă oferă o bază de calcul de încredere.

Scris în Rust, compilat în MIPS, iar Ziren va face restul. Construiește cu încredere. Implementați fără compromisuri.