لم يشهد نظام zk أبدا لحظة لينكس - حتى الآن. نقدم ZeroOS، نظام تشغيل مكتبة عالمي معياري لأجهزة zkVM. نحن نصدر ZeroOS اليوم كمنفعة عامة، ونفخر أن يكون @danboneh مؤلفا مشاركا للورقة البيضاء، المرتبطة في الموضوع أدناه.

المشكلة: الإصدارات، التكلفة، ومخاطر الأمان عندما يتم تحديث اللغات الأساسية مثل Rust أو C++ أو Go، يجب على فرق zkVM تعديل تفرعات سلسلة أدوات اللغة. وهذا يخلق "جحيم الإصدارات" حيث يجب على كل zkVM الحفاظ على عمليات نشر متباينة وهشة وحيوية للأمن، تعتمد على تغييرات طرف ثالث على لغات البرمجة. كل تعديل يتطلب تدقيقا جديدا قد يكلف 200,000+ دولار لكل إصدار. بالإضافة إلى ذلك، تحتاج فرق zkVM إلى الاستمرار في نقل إصلاحات الأمان إلى عدد متزايد من سلاسل الأدوات المقسمة، مما يرهق الموارد على جميع اللاعبين باستثناء الأكبر.

الحل: نظام تشغيل واحد لكل ZK ينقل ZeroOS نقطة التكامل من أوقات التشغيل الخاصة باللغة المتغيرة باستمرار إلى نظام لينكس واحد ومستقر في شيم. وهذا يعني أن ZeroOS يحل مشكلة التوافق لجميع أجهزة zkVM بطريقة غير معتمدة على اللغة، وغير محايدة ل zkVM، وغير معتمدة على البنية. شركات بناء zkVM (مثل Succinct وRISC Zero وZK-EVM من Polygon) تحتاج فقط إلى تطبيق محمل إقلاع ZeroOS لفتح التوافق مع تطبيقات لينكس في العديد من اللغات (مثل Rust وC). هذا يفتح جميع وحدات نظام ZeroOS الفرعية لمطوري vApp، الذين يمكنهم اختيار ما يحتاجونه بالضبط لتحقيق التوازن بين الكفاءة والأمان. العائد من التحول إلى ZeroOS هو زيادة هائلة في الكفاءة التشغيلية والأمان التي تفيد منظومة المطورين بأكملها. الجميع يفوز.