The ZKM Special @ProjectZKM har släppt zkMIPS 1.0, den första helt produktionsklara versionen av sin MIPS-baserade virtuella maskin som är utformad för verifierbar beräkning med hög prestanda: Detta är den mest betydande uppgraderingen sedan projektet började, och ger en prestandaökning på 6x till 19x jämfört med version 0.3.0, tack vare en fullständig teknisk översyn. Några viktiga aspekter av uppgraderingen är: • Arkitekturen uppgraderades från MIPS2 till MIPS32r2, vilket möjliggjorde åtkomst till en bredare instruktionsuppsättning och låste upp optimeringar på kompilatornivå och mindre programstorlekar. zkMIPS körs nu på Plonky3-backend - ett modernt STARK-system som använder FRI-protokollet - och drar nytta av övergången till 31-bitars KoalaBear prime-fältet, vilket ger snabbare aritmetik än den tidigare 64-bitars Goldilocks-konfigurationen. • Merkle-träd har ersatts med hashing med flera uppsättningar för minneskonsistens, vilket minskar vittnesstorleken och stöder parallell verifiering. En modulär chipbaserad kretsarkitektur minimerar begränsningsområdet, och heta vägoperationer som Keccak och fältaritmetik har avlastats till förkompileringar för att minska beviskostnaderna. Systemet är redan integrerat i ZKM Proof Network och används för att live-bevisa @ethereum mainnet-block som en del av @ethereumfndn:s @eth_proofs-initiativ. Den är också live i produktion med @GOATRollup, en Bitcoin L2 byggd på BitVM2. Reaktion Flera medier plockade upp nyheten direkt, och @Utoday_en publicerade en exklusiv artikel om vad som skiljer projektet från andra zkVM:er: Artikeln ger övergripande beröm för ZKM-teamet och dess anmärkningsvärda tekniska kvalitet, och betonar att valet av MIPS32r2 framför RISC-V ger arkitektoniska fördelar: kortare program, färre begränsningar och bättre anpassning till ZK-kretsar. Lanseringen fick också kommentarer från Ethproofs, @a16zcrypto och House of ZK:s alldeles egna @0x1164: ZKM tillkännagav en offentlig diskussion om zkMIPS 1.0-utgåvan, där projektets CTO, @sd_eigen, diskuterade optimeringar, benchmarkresultat, systemarkitektur och framtida utvecklingsplaner. Evenemanget kommer att äga rum den 12 maj klockan 12 UTC: Tekniska insikter I en nyligen publicerad artikel förklarade projektet varför teamet valde MIPS32r2-arkitekturen framför RISC-V när de utvecklade sin virtuella zkMIPS-maskin - trots att den senare är standardvalet för de flesta moderna zkVM:er. I artikeln står det att beslutet inte handlade om att vara annorlunda, utan om att välja den mest effektiva grunden för skalbar verifierbar beräkning. En av de främsta anledningarna var den högre instruktionstätheten hos MIPS32r2. Med operationer som MOVZ, MOVN och MADDU kan komplex logik uttryckas i färre steg, vilket minskar längden på körningsspåren. Samma logik på RISC-V kräver däremot ofta fler instruktioner, vilket ökar bevisbördan. En annan faktor var mognaden och stabiliteten i MIPS-ekosystemet. Med årtionden av användning och en fast specifikation är MIPS väl testat – och används till och med i kritiska system som Optimisms bedrägerisäkra VM. RISC-V växer snabbt, men är fortfarande under utveckling och fragmenterat. Hela artikeln finns här: