بيان فيتاليك "بلا ثقة" يطالب بافتراضات عدم الثقة دليل البناء من Automata يزيل الثقة العمياء من بناء البرمجيات التي يمكن التحقق منها على السلسلة ✧ مدعوم من @boundless_xyz @SuccinctLabs و@brevis_zk TrustlessBuilds (نقطة) XYZ

البرمجيات التي لا تثق بها يمكن تحقيقها إلا إذا قمنا بجسر الفجوة بين: ▶شيفرة المصدر القابلة للقراءة على GitHub ▶︎ كود تنفيذي على @ethereum يعتمد Web3 على افتراضات اجتماعية بأن الملف الثنائي المنشور هو نفسه تماما الشيفرة المصدرية، لكنه يؤدي إلى مخاطر في سلسلة التوريد.

يستخدم المعيار الصناعي لمصدر البرمجيات ملف مصدر SLSA مغلفا داخل حزمة Sigstore. التحقق من تلك السلسلة مكلف حسابيا، لذا ينتج Proof of Build إثباتات خفيفة الوزن باستخدام برامج zkVM الضيفة التي تجعل التحقق عمليا.

يوفر دليل البناء الخاص ب Automata دليلا تشيفرا على السلسلة على أن قطعة أثرية تم بناؤها من التزام git دقيق من قبل باني متوقع. اقرأ: تمثيل بصري لسير عمل إثبات البناء: