Specialul ZKM @ProjectZKM a lansat zkMIPS 1.0, prima versiune complet pregătită pentru producție a mașinii sale virtuale bazate pe MIPS, concepută pentru calcul verificabil de înaltă performanță: Aceasta este cea mai semnificativă actualizare de la începutul proiectului, oferind o creștere a performanței de 6 până la 19 ori față de versiunea 0.3.0, datorită unei revizuiri tehnice complete. Unele aspecte cheie ale upgrade-ului includ: • Arhitectura a cunoscut un upgrade de la MIPS2 la MIPS32r2, permițând accesul la un set mai larg de instrucțiuni și deblocând optimizări la nivel de compilator și dimensiuni mai mici ale programelor. • zkMIPS rulează acum pe backend-ul Plonky3 - un sistem STARK modern care utilizează protocolul FRI - și beneficiază de trecerea la câmpul principal KoalaBear pe 31 de biți, oferind o aritmetică mai rapidă decât configurația anterioară Goldilocks pe 64 de biți. • Arborii Merkle au fost înlocuiți cu hashing multiset pentru consistența memoriei, reducând dimensiunea martorilor și sprijinind verificarea paralelă. O arhitectură modulară de circuit bazată pe cip minimizează zona de constrângere, iar operațiunile de cald precum Keccak și aritmetica de câmp au fost descărcate în precompilații pentru a reduce costurile de testare. Sistemul este deja integrat în rețeaua ZKM Proof și este utilizat pentru a verifica blocurile @ethereum mainnet ca parte a inițiativei @eth_proofs a @ethereumfndn. De asemenea, este live în producție cu @GOATRollup, un Bitcoin L2 construit pe BitVM2. Reacție Mai multe instituții media au preluat vestea imediat, @Utoday_en publicând un articol exclusiv despre ceea ce diferențiază proiectul de alte zkVM-uri: Articolul oferă laude generale pentru echipa ZKM și calitatea sa notabilă de inginerie și subliniază că alegerea MIPS32r2 în detrimentul RISC-V oferă avantaje arhitecturale: programe mai scurte, mai puține constrângeri și o mai bună aliniere cu circuitele ZK. Lansarea a văzut și comentarii din partea Ethproofs, @a16zcrypto și a propriului @0x1164 al House of ZK: ZKM a anunțat o discuție publică despre lansarea zkMIPS 1.0, cu CTO-ul proiectului, @sd_eigen, discutând despre optimizări, rezultate de referință, arhitectura sistemului și planuri de dezvoltare viitoare. Evenimentul va avea loc pe 12 mai la ora 12 UTC: Informații despre inginerie Într-un articol recent, proiectul a explicat de ce, în dezvoltarea mașinii sale virtuale zkMIPS, echipa a ales arhitectura MIPS32r2 în detrimentul RISC-V - chiar dacă acesta din urmă este alegerea implicită pentru majoritatea zkVM-urilor moderne. Articolul afirmă că decizia nu a fost despre a fi diferit, ci despre a selecta cea mai eficientă bază pentru calcule verificabile scalabile. Unul dintre principalele motive a fost densitatea mai mare de instrucțiuni a MIPS32r2. Cu operațiuni precum MOVZ, MOVN și MADDU, logica complexă poate fi exprimată în mai puțini pași, reducând lungimea urmăririi execuției. În schimb, aceeași logică pe RISC-V necesită adesea mai multe instrucțiuni, crescând povara dovezii. Un alt factor a fost maturitatea și stabilitatea ecosistemului MIPS. Cu zeci de ani de utilizare și o specificație fixă, MIPS este bine testat - chiar și utilizat în sisteme critice, cum ar fi VM-ul rezistent la fraudă de la Optimism. RISC-V, deși crește rapid, este încă în evoluție și fragmentat. Articolul complet poate fi găsit aici: