لايتر تفتح المصدر لدوائر برهان المعرفة الصفرية بعد عمليات التدقيق الأمني

الملخص:

• نشرت Lighter كود التحقق من برهان المعرفة الصفرية بعد إتمام عمليات التدقيق للدوائر الدائمة والفورية.
• يتيح الإصدار مفتوح المصدر التحقق المستقل من الأوامر والإلغاءات والتصفيات على بلوكتشين الإيثريوم.
• يعالج البروتوكول حوالي 500 مليون أمر وإلغاء يومياً من خلال نظام التحقق الخاص به.
• يمكن للمطورين بناء الدوائر باستخدام نصوص مستودع GitHub لمطابقة العقود الذكية المنشورة على الإيثريوم.

أتاحت Lighter كود التحقق من برهان المعرفة الصفرية للجمهور بعد إكمال عمليات التدقيق الأمني الشاملة لدوائر التداول الدائم والفوري الخاصة بها. 

نشر بروتوكول الطبقة الثانية الكود الذي يتحقق من جميع العمليات على السلسلة، بما في ذلك وضع الأوامر والإلغاءات والتصفيات. 

يتيح هذا الإصدار التحقق المستقل من كيفية عمل Lighter L2 والحفاظ على الأمان على بلوكتشين الإيثريوم. تمثل هذه الخطوة تقدماً نحو مزيد من الشفافية في البنية التحتية للتبادل اللامركزي.

نظام التحقق من الدائرة الكاملة متاح الآن

أعلن البروتوكول عن النشر من خلال قنوات المصادقة الرسمية الخاصة به، مشيراً إلى أن إكمال تدقيق الدوائر الدائمة والفورية سبق إصدار الكود. 

أصبحت دوائر Lighter الآن متاحة على GitHub في مستودع elliottech/lighter-prover. يمكن للمستخدمين تشغيل نص build_circuits.sh بالإعدادات الافتراضية لبناء جميع طبقات الدائرة من الأساس. تولد العملية عقد ZkLighterVerifier محدثاً يطابق النسخة المنشورة.

يعمل Lighter Verifier Proxy على عنوان إيثريوم محدد، موثق على Etherscan للفحص العام. 

يمكن للمطورين مقارنة العقد الذكي على هذا العنوان مع المخرجات من نص البناء. تضمن عملية التحقق هذه الاتساق بين العقود الذكية المنشورة والكود مفتوح المصدر. يعالج النظام حوالي 500 مليون أمر وإلغاء يومياً عبر منصة تداول Lighter.

وفقاً للوثائق التقنية للمشروع، تتبع البنية بروتوكول التحقق الصارم. نشرت L2Beat تفاصيل هيكل العقد الذكي، موضحة كيف يتطلب المحقق براهين صالحة لدفعات العمليات. 

بدون برهان تشفيري صحيح، يرفض النظام تغييرات الحالة على بلوكتشين الإيثريوم. تمنع هذه الآلية التعديلات غير المصرح بها على حالة البلوكتشين.

مقاييس الأداء وبنية التحقق التحتية

يتعامل نظام برهان المعرفة الصفرية مع حجم تداول كبير مع الحفاظ على ضمانات الأمان. 

تعالج Lighter مئات الملايين من المعاملات من خلال دوائر التحقق الخاصة بها كل يوم. يواصل الفريق تعزيز كفاءة البنية التحتية للإثبات. يدعي البروتوكول تحقيق أعلى معدل معاملات في الثانية بين حلول الطبقة الثانية لبلوكتشين الإيثريوم.

تغطي عملية التحقق أنواعاً متعددة من العمليات داخل نظام التداول. تخضع الأوامر والإلغاءات والتصفيات جميعها للتحقق التشفيري قبل حدوث تحديثات الحالة. 

يضمن هذا النهج الشامل حصول كل إجراء على المنصة على التحقق المناسب. تحافظ الدوائر على سلامة عمليات التداول مع الحفاظ على خصوصية المستخدم.

يتيح الإصدار مفتوح المصدر لمطوري البلوكتشين وباحثي الأمان فحص منطق التحقق. 

يمكن للفرق التقنية تدقيق التنفيذ التشفيري والتحقق من نموذج الأمان. تساعد هذه الشفافية في بناء الثقة في بنية المنصة. يتبع إصدار الكود أفضل ممارسات الصناعة لحلول توسيع الطبقة الثانية.

ظهرت المقالة Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits أولاً على Blockonomi.