Ekosystem zk nigdy nie miał swojego momentu Linuxa - aż do teraz. Przedstawiamy ZeroOS, uniwersalny modułowy system operacyjny Library dla zkVM. Dziś wydajemy ZeroOS jako dobro publiczne i jesteśmy zaszczyceni, że @danboneh jest współautorem białej księgi, do której link znajduje się w wątku poniżej.

Problem: Wersjonowanie, Koszty i Ryzyko Bezpieczeństwa Gdy podstawowe języki, takie jak Rust, C++ czy Go, są aktualizowane, zespoły zkVM muszą modyfikować swoje fork(i) narzędzi językowych. Tworzy to "piekło wersji", w którym każdy zkVM musi utrzymywać rozbieżne, kruche i krytyczne dla bezpieczeństwa wdrożenia, które są zależne od zmian w językach programowania wprowadzanych przez osoby trzecie. Każda modyfikacja wymaga nowego audytu, który może kosztować ponad 200 000 USD za wersję. Dodatkowo, zespoły zkVM muszą ciągle wprowadzać poprawki bezpieczeństwa do rosnącej liczby forkowanych narzędzi, co obciąża zasoby wszystkich poza największymi graczami.

Rozwiązanie: Jeden system operacyjny dla wszystkich ZK ZeroOS przenosi punkt integracji z ciągle ewoluujących, specyficznych dla języka środowisk uruchomieniowych do jednego, stabilnego shim'a wywołań systemowych Linux. Oznacza to, że ZeroOS rozwiązuje problem kompatybilności dla wszystkich zkVM w sposób niezależny od języka, niezależny od zkVM i niezależny od architektury. Twórcy zkVM (tacy jak Succinct, RISC Zero i ZK-EVM Polygonu) muszą jedynie zaimplementować bootloader ZeroOS, aby odblokować kompatybilność z aplikacjami Linux w wielu językach (np. Rust, C). To odblokowuje wszystkie moduły podsystemu ZeroOS dla deweloperów vApp, którzy mogą wybierać dokładnie to, czego potrzebują, aby zrównoważyć wydajność i bezpieczeństwo. Korzyścią z przejścia na ZeroOS jest ogromny wzrost efektywności operacyjnej i bezpieczeństwa, który przynosi korzyści całemu ekosystemowi deweloperów. Wszyscy wygrywają.