Oferta specjalna ZKM @ProjectZKM wypuściła zkMIPS 1.0, pierwszą w pełni gotową do produkcji wersję maszyny wirtualnej opartej na MIPS, przeznaczoną do weryfikowalnych obliczeń o wysokiej wydajności: Jest to najbardziej znacząca aktualizacja od początku projektu, zapewniająca od 6 do 19 razy większy wzrost wydajności w porównaniu z wersją 0.3.0, dzięki kompletnemu remontowi technicznemu. Niektóre kluczowe aspekty uaktualnienia obejmują: • Architektura została zaktualizowana z MIPS2 do MIPS32r2, umożliwiając dostęp do szerszego zestawu instrukcji i odblokowując optymalizacje na poziomie kompilatora oraz mniejsze rozmiary programów. • zkMIPS działa teraz na backendzie Plonky3 - nowoczesnym systemie STARK wykorzystującym protokół FRI - i korzysta z przejścia na 31-bitowe pole główne KoalaBear, oferując szybszą arytmetykę niż poprzednia 64-bitowa konfiguracja Goldilocks. • Drzewa Merkle'a zostały zastąpione haszowaniem wielosetowym w celu zapewnienia spójności pamięci, zmniejszenia rozmiaru świadka i obsługi weryfikacji równoległej. Modułowa architektura obwodów oparta na chipach minimalizuje obszar ograniczeń, a operacje na ścieżce gorącej, takie jak Keccak i arytmetyka terenowa, zostały przeniesione do prekompilacji w celu zmniejszenia kosztów dowodzenia. System jest już zintegrowany z siecią ZKM Proof Network i jest wykorzystywany do testowania na żywo @ethereum bloków mainnetu w ramach inicjatywy @eth_proofs @ethereumfndn. Jest również dostępny w produkcji z @GOATRollup, Bitcoinem L2 zbudowanym na BitVM2. Reakcja Wiele mediów od razu podchwyciło tę wiadomość, a @Utoday_en opublikował ekskluzywny artykuł o tym, co odróżnia projekt od innych zkVM: Artykuł zawiera ogólne pochwały dla zespołu ZKM i jego godnej uwagi jakości inżynieryjnej, a także podkreśla, że wybór MIPS32r2 zamiast RISC-V oferuje korzyści architektoniczne: krótsze programy, mniej ograniczeń i lepsze dopasowanie do obwodów ZK. Podczas premiery pojawiły się również komentarze ze strony Ethproofs, @a16zcrypto i @0x1164 House of ZK: ZKM ogłosił publiczną dyskusję na temat wydania zkMIPS 1.0, w której dyrektor techniczny projektu, @sd_eigen, omawia optymalizacje, wyniki testów porównawczych, architekturę systemu i przyszłe plany rozwoju. Wydarzenie odbędzie się 12 maja o godzinie 12:00 UTC: Spostrzeżenia inżynierskie W niedawnym artykule zespół wyjaśnił, dlaczego opracowując maszynę wirtualną zkMIPS, wybrał architekturę MIPS32r2 zamiast RISC-V - mimo że ta ostatnia architektura jest domyślnym wyborem dla większości nowoczesnych maszyn wirtualnych zkVM. W artykule stwierdza się, że decyzja nie dotyczyła tego, aby być innym, ale wyboru najbardziej wydajnej podstawy do skalowalnych, weryfikowalnych obliczeń. Jednym z głównych powodów była większa gęstość instrukcji MIPS32r2. Dzięki operacjom takim jak MOVZ, MOVN i MADDU złożona logika może być wyrażona w mniejszej liczbie kroków, co skraca długość śladu wykonywania. W przeciwieństwie do tego, ta sama logika w RISC-V często wymaga więcej instrukcji, co zwiększa obciążenie dowodami. Kolejnym czynnikiem była dojrzałość i stabilność ekosystemu MIPS. Dzięki wieloletniemu użytkowaniu i stałej specyfikacji MIPS jest dobrze przetestowany - nawet używany w krytycznych systemach, takich jak odporna na oszustwa maszyna wirtualna Optimism. RISC-V, choć szybko się rozwija, wciąż ewoluuje i jest rozdrobniony. Cały artykuł można znaleźć tutaj: