Екосистема ZK ніколи не мала свого моменту з Linux — до цього моменту. Представляємо ZeroOS — універсальну модульну бібліотечну ОС для zkVM. Сьогодні ми випускаємо ZeroOS як суспільне благо і пишаємося тим, що @danboneh є співавтором білої папери, посилання на яку наведено в темі нижче.

Проблема: версія, вартість і ризики безпеки Коли основні мови, такі як Rust, C++ або Go, оновлюються, команди zkVM повинні змінювати свої форки мовного інструментарію. Це створює «версійне пекло», де кожна zkVM має підтримувати дивергентні, крихкі та критично критичні для безпеки розгортання, які залежать від сторонніх змін у мовах програмування. Кожна модифікація вимагає нового аудиту, який може коштувати $200,000+ за версію. До того ж команди zkVM змушені постійно портити виправлення безпеки на все більшу кількість форкованих інструментаріїв, що виснажує ресурси для всіх, крім найбільших гравців.

Рішення: одна ОС для всього ZK ZeroOS переносить точку інтеграції з постійно змінюваних мовно-специфічних режимів виконання на єдиний, стабільний системний виклик Linux. Це означає, що ZeroOS вирішує проблему сумісності для всіх zkVM незалежно від мови, zkVM та архітектури. Будівельники zkVM (такі як Succinct, RISC Zero та ZK-EVM від Polygon) достатньо реалізувати завантажувач ZeroOS, щоб розблокувати сумісність із Linux-додатками багатьма мовами (наприклад, Rust, C). Це відкриває всі модулі підсистем ZeroOS для розробників vApp, які можуть обирати саме те, що їм потрібно для балансу ефективності та безпеки. Перевага переходу на ZeroOS — це значне підвищення операційної ефективності та безпеки, що приносить користь всій екосистемі розробників. Всі виграють.