Экосистема 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 — это огромный рост операционной эффективности и безопасности, который приносит пользу всей экосистеме разработчиков. Все выигрывают.