ZKM-erikoistarjous @ProjectZKM on julkaissut zkMIPS 1.0:n, ensimmäisen täysin tuotantovalmiin version MIPS-pohjaisesta virtuaalikoneestaan, joka on suunniteltu tehokkaaseen todennettavaan laskentaan: Tämä on merkittävin päivitys projektin alkamisen jälkeen, ja se tarjoaa 6-19-kertaisen suorituskyvyn parannuksen versioon 0.3.0 verrattuna täydellisen teknisen uudistuksen ansiosta. Joitakin päivityksen keskeisiä näkökohtia ovat: • Arkkitehtuuri päivitettiin MIPS2:sta MIPS32r2:een, mikä mahdollistaa pääsyn laajempaan käskyjoukkoon ja mahdollistaa kääntäjätason optimoinnit ja pienemmät ohjelmakoot. • zkMIPS toimii nyt Plonky3-taustalla - nykyaikaisella STARK-järjestelmällä, joka käyttää FRI-protokollaa - ja hyötyy siirtymisestä 31-bittiseen KoalaBear-prime-kenttään, joka tarjoaa nopeamman aritmetiikan kuin edellinen 64-bittinen Goldilocks-asetus. • Merkle-puut on korvattu monisarjahajautuksella muistin johdonmukaisuuden takaamiseksi, mikä pienentää todistajien kokoa ja tukee rinnakkaista todentamista. Modulaarinen sirupohjainen piiriarkkitehtuuri minimoi rajoitusalueen, ja kuumapolkutoiminnot, kuten Keccak ja kenttäaritmetiikka, on siirretty esikäännöksiin todistuskustannusten vähentämiseksi. Järjestelmä on jo integroitu ZKM Proof Networkiin, ja sitä käytetään @ethereum pääverkkolohkojen reaaliaikaiseen testaamiseen osana @ethereumfndn @eth_proofs-aloitetta. Se on myös tuotannossa @GOATRollup:n, BitVM2:lle rakennetun Bitcoin L2:n kanssa. Reaktio Useat tiedotusvälineet tarttuivat uutiseen heti, ja @Utoday_en julkaisi eksklusiivisen artikkelin siitä, mikä erottaa projektin muista zkVM:istä: Artikkeli antaa yleistä kiitosta ZKM-tiimille ja sen merkittävälle suunnittelulaadulle ja korostaa, että MIPS32r2:n valitseminen RISC-V:n sijaan tarjoaa arkkitehtonisia etuja: lyhyemmät ohjelmat, vähemmän rajoituksia ja parempi kohdistus ZK-piirien kanssa. Julkaisua kommentoivat myös Ethproofs, @a16zcrypto ja House of ZK:n oma @0x1164: ZKM ilmoitti julkisesta keskustelusta zkMIPS 1.0 -julkaisusta, jossa projektin teknologiajohtaja @sd_eigen keskusteli optimoinnista, vertailutuloksista, järjestelmäarkkitehtuurista ja tulevista kehityssuunnitelmista. Tapahtuma järjestetään 12. toukokuuta klo 12 UTC: Tekniset tiedot Äskettäisessä artikkelissa projekti selitti, miksi tiimi valitsi zkMIPS-virtuaalikoneensa kehittämisessä MIPS32r2-arkkitehtuurin RISC-V:n sijaan - vaikka jälkimmäinen on oletusvalinta useimmille nykyaikaisille zkVM:ille. Artikkelissa todetaan, että päätöksessä ei ollut kyse erilaisuudesta, vaan tehokkaimman perustan valitsemisesta skaalautuvalle todennettavissa olevalle laskennalle. Yksi tärkeimmistä syistä oli MIPS32r2:n suurempi käskytiheys. MOVZ:n, MOVN:n ja MADDU:n kaltaisilla toiminnoilla monimutkainen logiikka voidaan ilmaista vähemmillä vaiheilla, mikä lyhentää suorituksen jäljen pituutta. Sitä vastoin sama logiikka RISC-V:ssä vaatii usein enemmän ohjeita, mikä lisää todistustaakkaa. Toinen tekijä oli MIPS-ekosysteemin kypsyys ja vakaus. Vuosikymmenten käytön ja kiinteän spesifikaation ansiosta MIPS on testattu hyvin - sitä käytetään jopa kriittisissä järjestelmissä, kuten Optimismin petossuojattu VM. Vaikka RISC-V kasvaa nopeasti, se kehittyy edelleen ja pirstoutuu. Koko artikkeli löytyy täältä: