اقترب إطلاق أول ZK Rollup من Bitcoin! أكملت Sigma Prime (@sigp_io) التدقيق الخاص لجسر Citrea القائم على BitVM ، Clementine. سيكون هذا أول جسر للثقة لبيتكوين إلى بيئة قابلة للبرمجة بالكامل. لم يتم العثور 🧵 على نقاط ضعف خطيرة
أجرت Sigma Prime عمليات تدقيق خاصة ل Clementine: • تنفيذ الموقع: الكيانات التي تفرض قواعد إنفاق BitVM. • تنفيذ المشغل: الجهات الباحثة عن الربح التي تسهل عمليات السحب. • Musig2: بناء محافظ متعددة التوقيعات على Bitcoin.
• عميل Bitcoin Light المتفائل: يرفق دليلا موجزا لسلسلة رأس zk-SNARK يظهر سلسلة أثقل. يصبح هذا الدليل مدخلا للتحديات.
تم تحديد ما مجموعه 36 مسألة خلال المراجعة الخاصة: - 2 مرتفع - 13 متوسط - 13 منخفض - 8 إعلامي تمت معالجة جميع المشكلات بنجاح من قبل فريق Citrea.
ابحث عن التقرير الكامل هنا:
مع Clementine ، سيكون لدى Bitcoin الجسر الأول ، الذي يتم تطبيق قواعده من قبل شبكة Bitcoin Network مع وجود طرف نزيه واحد على الأقل ، إلى منصة عالمية قابلة للبرمجة. ستدخل كليمنتين قريبا مرحلة مسابقة التدقيق العام. تنزعج 🍊
‏‎10.41‏K