De ZKM Special @ProjectZKM heeft zkMIPS 1.0 uitgebracht, de eerste volledig productieklare versie van zijn MIPS-gebaseerde virtuele machine die is ontworpen voor high-performance verifieerbare berekeningen: Dit is de belangrijkste upgrade sinds het begin van het project, met een prestatieverbetering van 6x tot 19x ten opzichte van versie 0.3.0, dankzij een volledige technische revisie. Enkele belangrijke aspecten van de upgrade zijn: • De architectuur zag een upgrade van MIPS2 naar MIPS32r2, waardoor toegang werd geboden tot een bredere instructieset en optimalisaties op compilerniveau en kleinere programmagroottes werden ontgrendeld. • zkMIPS draait nu op de Plonky3-backend - een modern STARK-systeem dat gebruikmaakt van het FRI-protocol - en profiteert van de verschuiving naar het 31-bits KoalaBear-prime-veld, dat sneller rekenkundig is dan de vorige 64-bits Goudlokje-opstelling. • Merkle-bomen zijn vervangen door multiset-hashing voor geheugenconsistentie, waardoor de grootte van getuigen wordt verkleind en parallelle verificatie wordt ondersteund. Een modulaire, op chips gebaseerde circuitarchitectuur minimaliseert het beperkingsgebied, en hot-path-bewerkingen zoals Keccak en veldrekenen zijn overgebracht naar precompilaties om de bewijskosten te verlagen. Het systeem is al geïntegreerd in het ZKM Proof Network en wordt gebruikt om @ethereum mainnet-blokken live te bewijzen als onderdeel van het @eth_proofs-initiatief van de @ethereumfndn. Het is ook live in productie met @GOATRollup, een Bitcoin L2 gebouwd op BitVM2. Reactie Meerdere media pikten het nieuws meteen op, waarbij @Utoday_en een exclusief artikel publiceerde over wat het project onderscheidt van andere zkVM's: Het artikel biedt algemene lof voor het ZKM-team en zijn opmerkelijke technische kwaliteit, en benadrukt dat de keuze voor MIPS32r2 boven RISC-V architecturale voordelen biedt: kortere programma's, minder beperkingen en betere uitlijning met ZK-circuits. De lancering zag ook opmerkingen van Ethproofs, @a16zcrypto en House of ZK's eigen @0x1164: ZKM kondigde een openbare discussie aan over de zkMIPS 1.0-release, waarbij de CTO van het project, @sd_eigen, werd besproken over optimalisaties, benchmarkresultaten, systeemarchitectuur en toekomstige ontwikkelingsplannen. Het evenement vindt plaats op 12 mei om 12 uur UTC: Technische inzichten In een recent artikel legde het project uit waarom het team bij de ontwikkeling van de virtuele zkMIPS-machine de MIPS32r2-architectuur verkoos boven RISC-V - ook al is dit laatste de standaardkeuze voor de meeste moderne zkVM's. Het stuk stelt dat de beslissing niet ging over anders zijn, maar over het selecteren van de meest efficiënte basis voor schaalbare verifieerbare berekeningen. Een van de belangrijkste redenen was de hogere instructiedichtheid van MIPS32r2. Met bewerkingen zoals MOVZ, MOVN en MADDU kan complexe logica in minder stappen worden uitgedrukt, waardoor de lengte van de uitvoeringstracering wordt verkort. Daarentegen vereist dezelfde logica op RISC-V vaak meer instructies, waardoor de bewijslast toeneemt. Een andere factor was de volwassenheid en stabiliteit van het MIPS-ecosysteem. Met tientallen jaren gebruik en een vaste specificatie is MIPS goed getest - zelfs gebruikt in kritieke systemen zoals de fraudebestendige VM van Optimism. RISC-V groeit weliswaar snel, maar is nog steeds in ontwikkeling en gefragmenteerd. Het volledige artikel is hier te vinden: