تقوم Citrea ببناء أول مجموعة لعملة البيتكوين. تخضع قاعدة التعليمات البرمجية الفريدة الخاصة بنا لعمليات تدقيق. تم الآن الانتهاء من التدقيق الخاص للبنية التحتية للتجميع في Citrea بواسطة Sigma Prime (@sigp_io). لم يتم العثور على نقاط ضعف حرجة. هذا هو التقرير 🧵 الكامل
أجرت Sigma Prime عمليات تدقيق خاصة ل Citrea: • Bitcoin DA: محول DA خاص للبيتكوين يبني ويتتبع التزامات Citrea والبراهين • Citrea STF: منطق انتقال الحالة الحرجة بالإجماع الذي يجب على كل عقدة وبروفر إعادة إنتاجه قليلا بقليم.
أجرت Sigma Prime عمليات تدقيق خاصة ل Citrea: • EVM: محرك تنفيذ Citrea الذي تستخدمه STF والدوائر. • دائرة بروبر العميل الخفيفة: يقوم بإنشاء SNARK المتكرر الذي يضغط الرؤوس والالتزامات وإثباتات الدفعات في دليل واحد لعميل الضوء.
تم تحديد ما مجموعه 24 مشكلة خلال التقييم الأمني لشركة Sigma Prime: - 5 عالية - 6 متوسط - 4 منخفض - 9 إعلامي تمت معالجة جميع المشكلات بنجاح من قبل فريق Citrea.
ابحث عن تقرير التدقيق الكامل هنا:
تخضع البنية التحتية للتجميع في Citrea الآن لمسابقة تدقيق عام مع @cantinaxyz! 80,000 ألف دولار + من المكافآت التي يمكن الحصول عليها ، وتستمر حتى 15 أغسطس:
‏‎12.39‏K