Ecosistemul zk nu a avut niciodată momentul său Linux – până acum. Prezentăm ZeroOS, un sistem de operare modular universal pentru biblioteci zkVM. Lansăm astăzi ZeroOS ca un bun public și suntem onorați să @danboneh avem ca coautor al whitepaper-ului, menționat în firul de discuție de mai jos.

Problema: versiunarea, costurile și riscurile de securitate Când limbajele de bază precum Rust, C++ sau Go sunt actualizate, echipele zkVM trebuie să își modifice fork-urile din lanțul de unelte al limbajului. Acest lucru creează un "iad de versiuni", unde fiecare zkVM trebuie să mențină implementări divergente, fragile și critice din punct de vedere al securității, care depind de modificările limbajelor de programare de către terți. Fiecare modificare necesită un nou audit care poate costa 200.000+ dolari pe versiune. În plus, echipele zkVM trebuie să rețină corecturile de securitate către un număr tot mai mare de lanțuri de unelte bifurcate, ceea ce pune la încercare resursele toți, cu excepția celor mai mari jucători.

Soluția: Un singur sistem de operare pentru tot ZK ZeroOS mută punctul de integrare de la runtime-urile specifice limbajului în continuă evoluție la un singur shim stabil de syscall Linux. Aceasta înseamnă că ZeroOS rezolvă problema compatibilității pentru toate zkVM-urile într-un mod independent de limbaj, zkVM și arhitectură. Constructoarele zkVM (precum Succinct, RISC Zero și ZK-EVM de la Polygon) trebuie doar să implementeze un bootloader ZeroOS pentru a debloca compatibilitatea cu aplicațiile Linux în multe limbaje (de exemplu, Rust, C). Aceasta deblochează toate modulele subsistemului ZeroOS pentru dezvoltatorii vApp, care pot alege exact ce au nevoie pentru a echilibra eficiența cu securitatea. Beneficiul trecerii la ZeroOS este o creștere masivă a eficienței operaționale și a securității, care aduce beneficii întregului ecosistem de dezvoltatori. Toată lumea câștigă.