Speciál ZKM Společnost @ProjectZKM vydala zkMIPS 1.0, první plně produkční verzi svého virtuálního stroje založeného na MIPS, která je navržena pro vysoce výkonné ověřitelné výpočty: Jedná se o nejvýznamnější upgrade od začátku projektu, který přináší 6x až 19x zvýšení výkonu oproti verzi 0.3.0, a to díky kompletnímu technickému přepracování. Mezi klíčové aspekty upgradu patří: • Architektura prošla upgradem z MIPS2 na MIPS32r2, což umožnilo přístup k širší instrukční sadě a odemykalo optimalizace na úrovni kompilátoru a menší velikosti programů. • zkMIPS nyní běží na backendu Plonky3 - moderním systému STARK využívajícím protokol FRI - a těží z přechodu na 31-bitové prvočíselné pole KoalaBear, které nabízí rychlejší aritmetiku než předchozí 64-bitové nastavení Goldilocks. • Merkleovy stromy byly nahrazeny vícemnožinovým hashováním kvůli konzistenci paměti, zmenšení velikosti kopií a podpoře paralelního ověřování. Modulární architektura obvodů založená na čipu minimalizuje oblast omezení a operace s horkou cestou, jako je Keccak a aritmetika, byly převedeny do předkompilací, aby se snížily náklady na dokazování. Systém je již integrován do sítě ZKM Proof Network a používá se k živému testování @ethereum bloků mainnetu v rámci iniciativy @eth_proofs @ethereumfndn. Je také v ostrém provozu s @GOATRollup, bitcoinovou L2 postavenou na BitVM2. Reakce Několik médií se této zprávy chopilo hned na začátku, přičemž @Utoday_en zveřejnila exkluzivní článek o tom, co projekt odlišuje od ostatních zkVM: Článek nabízí celkovou chválu týmu ZKM a jeho pozoruhodné technické kvality a zdůrazňuje, že volba MIPS32r2 před RISC-V nabízí architektonické výhody: kratší programy, méně omezení a lepší zarovnání s obvody ZK. Ke spuštění se vyjádřili také Ethproofs, @a16zcrypto a vlastní @0x1164 House of ZK: ZKM oznámil veřejnou diskuzi o vydání zkMIPS 1.0 s technickým ředitelem projektu @sd_eigen, kde se diskutovalo o optimalizacích, výsledcích benchmarků, systémové architektuře a budoucích plánech vývoje. Akce se uskuteční 12. května ve 12 hodin UTC: Technické poznatky V nedávném článku projekt vysvětlil, proč si tým při vývoji svého virtuálního stroje zkMIPS vybral architekturu MIPS32r2 před RISC-V - i když ta je výchozí volbou pro většinu moderních zkVM. Článek uvádí, že rozhodnutí nebylo o tom být jiný, ale o výběru nejefektivnějšího základu pro škálovatelné ověřitelné výpočty. Jedním z hlavních důvodů byla vyšší hustota instrukcí MIPS32r2. U operací jako MOVZ, MOVN a MADDU lze složitou logiku vyjádřit v menším počtu kroků, což zkracuje délku trasování provádění. Naproti tomu stejná logika v RISC-V často vyžaduje více instrukcí, což zvyšuje důkazní zátěž. Dalším faktorem byla vyspělost a stabilita ekosystému MIPS. Díky desetiletím používání a pevné specifikaci je MIPS dobře otestovaný - dokonce se používá v kritických systémech, jako je VM odolný proti podvodům od Optimismu. RISC-V sice rychle roste, ale stále se vyvíjí a je roztříštěný. Celý článek naleznete zde: