ZKM on virallisesti julkaissut uuden sukupolven GPU-kiihdytetyn zkVM:n nimellä Ziren: tuotantoluokan ZK-infrastruktuurin rakentamiseksi valtavirran kehittäjille

ZKM julkaisi virallisesti uuden sukupolven version zkVM:stään, Ziren (entinen zkMIPS), joka avaa uuden luvun nollatietotodisteiden (ZK) järjestelmien käyttöönotossa ja skaalautuvuudessa todellisissa sovellusskenaarioissa GPU-kiihdytyksen, hajautetun todistusarkkitehtuurin ja syvästi optimoidun rajoitusjärjestelmän avulla. Ziren pyrkii antamaan järjestelmäsuunnittelijoille, sovelluskehittäjille ja protokollasuunnittelijoille mahdollisuuden rakentaa tehokkaita ZK-sovelluksia valtavirran kielillä, mikä todella tuo ZK:n laboratoriosta valtavirran kehityskäytäntöihin.

ZkMIPS:stä Zireniin: Harppauksia suorituskyvyssä ja päivitetty kehityskokemus

Ziren on zkMIPS v1.1.0:n täysi päivitys ja esiteltiin ensimmäisen kerran:

• 30 × GPU-kiihdytys vähentää dramaattisesti todisteiden latenssia;

• Hajautettu verkkovarma arkkitehtuuri, joka tukee rinnakkaislaskentaa ja skaalautuvaa käyttöönottoa;

• Käskyrajoitusjärjestelmää päivitetään, käskyjen modularisointia optimoidaan, sarakkeiden käyttöä optimoidaan ja redundanssia poistetaan;

• Työkaluketjua ja kehityskokemusta on päivitetty, ja C/C++-tuki on lisätty Rustin tukemisen perusteella, ja Golang julkaistaan pian;

• Tärkeimmät tietoturvakorjaukset ja esikääntämisen parannukset alkuperäisen yhteensopivuuden saavuttamiseksi Ethereum-ekosysteemin kanssa.

"Ziren on ensimmäinen aidosti skaalautuva ja kehittäjäystävällinen yleiskäyttöinen zkVM, joka on rakennettu oikealle perustalle." Ming Guo, ZKM:n perustaja ja päätutkija, "Se on osoittautunut johtavaksi suorittimien suorituskyvyssä, ja nyt viemme sen seuraavalle tasolle GPU-kiihdytyksellä. Jos etsit optimaalista ZK-todistuspinoa, Ziren on vastaus. "

Kattavan teknisen päivityksen lisäksi myös nimellä Ziren itsessään on merkitys. ZkMIPS:n jatkona "Ziren" on saanut inspiraationsa "Siren"-myytin muunnelmasta ja edustaa siirtymistä illuusiosta todellisuuteen – lupausta siitä, että teknologia ei ole enää vain vetonaula, vaan todellinen käytettävyys. Ziren pyrkii olemaan todella tehokas, luotettava ja käyttöönotettava zk-infrastruktuuri valtavirran kehittäjien käsissä.

GPU-kiihdytys ja hajautettu todisteiden rinnakkaisuus: harppaus suorituskyvystä hyödyllisyyteen

Zirenin ydintodennusprosessi on täysin GPU-pohjainen, mikä on johtanut merkittäviin suorituskyvyn parannuksiin:

• 30 kertaa nopeammat ydinvedokset

• 15 kertaa nopeammat koostevedokset

• 30 kertaa nopeammat BN254-muunnosvedokset

Yhdessä verkottuneen proof-arkkitehtuurin kanssa Ziren voi jakaa todistetehtäviä useille solmuille rinnakkaista suorittamista varten, mikä ei ainoastaan paranna merkittävästi suorituskykyä, vaan myös parantaa järjestelmän hajautettua käytettävyyttä. Tämä arkkitehtuuri on ihanteellinen modulaarisille lohkoketjuille, rollupeille ja ketjujen välisille varmennusjärjestelmille.

Rajoitusjärjestelmän optimointi

Ziren refaktoroi järjestelmällisesti rajoitusjärjestelmää:

• Jaa käskytason rajoitukset modulaarisiin "siruihin" (jotka kattavat suorittimen, hyppy/haaran, muistin jne.)

• Vähennä sarakkeiden määrää optimoimalla tietorakenne

• Poista tarpeeton tai käyttämätön rajoituslogiikka

• Virtaviivaista ALU-, MADDU/MSUBU- ja haarojen käsittelyprosesseja suorituskyvyn parantamiseksi

Nämä optimoinnit vähentävät merkittävästi todisteiden monimutkaisuutta, parantavat tuotantonopeutta ja parantavat järjestelmän vakautta. zkVM:n näkökulmasta MIPS tuottaa lyhyempiä suoritusjälkiä kuin RISCV ja sillä on parempi käskytehokkuus, mikä parantaa todisteiden tehokkuutta. Zirenin julkaisun myötä MIPS:n valinnan edut ovat vähitellen tulleet ilmeisiksi.

Parempi kehityskokemus ja sujuvampi käyttöönottokokemus

Ziren on julkaissut uuden version työkaluketjusta (20250522), joka tuo mukanaan useita parannuksia kehittäjäkokemukseen:

• Integroi LLVM-korjaustiedostot käännösprosessin optimoimiseksi

• Tukee C/C++:n staattista kirjastoa ja teq-käskyjen korjauksia

• Rust-työkaluketju on kestävämpi ja poistaa epätyypilliset hakkerit

• Golang-tuki on tulossa pian

Lisäksi Ziren tukee Ethereum-natiivia allekirjoituksen todentamista, ja esikäännetty moduuli tukee nyt täydellisiä ECDSA-elliptisen käyrän allekirjoituksia, mikä tekee ketjun sisäisestä integraatiosta sujuvampaa ja laajentaa sen tukemia sovellusskenaarioita.

Vakaus- ja tietoturvakorjaukset

Ziren on täysin tiukasti todentamis- ja piirien suoritusprosessin, mukaan lukien:

• Korjattu kriittinen FRI-satunnaislukuhaavoittuvuus Plonky3:ssa

• Korjattu vk_root validointihaavoittuvuus Rust-validaattorissa

• Optimoi johdonmukaisuus käskyjen suorituslogiikan ja rajoitusjärjestelmän välillä

• Parannettu sirpaleiden käsittelylogiikan ja ohjelmalaskureiden toiminnan hallinta

Ziren vs zkMIPS 1.0 vertailutaulukko

Kaikki nämä päivitykset parantavat yhdessä Zirenin turvallisuutta ja johdonmukaisuutta, mikä tekee siitä sopivamman ZK-todistusvaatimuksiin tuotantotason ympäristöissä.

Siirry kohti reaaliaikaista todistusta: ethproofs.org Todista optimoinnin tulokset

ethproofs.org Ziren esitteli reaaliaikaisia suorituskykytuloksia, ja reaaliaikainen todiste on aivan nurkan takana:

Vaihtamalla virtuaalikone Revm:stä Rethiin ja purkamalla tilin tila rinnakkain, lohkotilan valmisteluaika lyheni 5 minuutista alle 30 sekuntiin debug_traceBlock. Tämä vähentää huomattavasti proof-of-proof-prosessin viivettä jokaisessa vaiheessa, mikä tekee Zirenin suorituskyvystä lähempänä reaaliaikaista tasoa ja luo vankan perustan korkeataajuisten ZK-sovellusten toteuttamiselle.

Lanseerattiin GOAT Networkissa: ydinmoottori Bitcoinin alkuperäisen zkRollupin rakentamiseen

Ziren on nyt livenä Bitcoinin alkuperäisessä zkRollup-projektissa, GOAT Networkissa, mikä mahdollistaa Ethereum-tyylisen ohjelmoitavuuden ilman siltoja tai luottamusosapuolia säilyttäen samalla Bitcoinin pääverkon turvallisuuden. GOAT Network on yksi BitVM2- ja BitVM3-reittien tärkeistä käytännöistä.

"Kun päätimme skaalata Bitcoinia, tarvitsimme järjestelmän, johon voitiin luottaa ylhäältä alas – ei vain pinoa pintasuorituskykyä, vaan piiritason vakautta ja tehokkuutta." Kevin Liu, ZKM:n perustaja ja toimitusjohtaja sekä GOAT Networkin keskeinen avustaja, sanoi: "Ziren on tämän tarpeen tuote, infrastruktuurikerros, johon luotamme jokaiseen todisteeseen."

Rakenna ZK-sovelluksesi Zirenistä alkaen

Ziren tiivistää ZKM:n vuosien perusteellisen hiomisen taustalla olevasta järjestelmäsuunnittelusta ja nollatietotutkimuksesta, ei vain kokouksiin, vaan myös zkVM:ään paremmalla rakenteella, paremmalla kokemuksella ja laajemmalla sovelluksella. Olitpa rakentamassa Ethereum DAppia, Bitcoin L2:ta tai ketjujen välistä varmennusjärjestelmää, Ziren tarjoaa sinulle luotettavan laskentaperustan.

Kirjoitettu Rustilla, käännetty MIPS:ään, ja Ziren hoitaa loput. Rakenna luottavaisin mielin. Ota käyttöön ilman kompromisseja.