يعد هذا معلما حاسما نحو التحقق رسميا من zk provers - وهي خطوة أساسية في بناء الثقة وإمكانية التحقق عبر نظام ZK البيئي.
The Costa Group
The Costa Group‏6 أغسطس، 23:43
🚨 تم العثور على اثنين من أخطاء السلامة الحرجة في ZisK باستخدام CIVER 🚨 بالتعاون مع فريق تطوير @ziskvm ، تطبق مجموعة كوستا طرقا رسمية للتحقق من دوائر التكرار / التجميع ل ZisK. 🔗مزيد من التفاصيل هنا: 🧵
‏‎2.05‏K