أكملت EthSystems التحقق الصوري من المجمّع المحمي، ورصدت 6 مشكلات.
أعلنت EthSystems، وهي منظمة متخصصة في تقنيات الخصوصية على Ethereum، في 27 أكتوبر، وفقًا لـPANews، أنها أكملت التحقق الرسمي من مجمّعها المحمي، بدءًا من المواصفات المكتوبة وصولًا إلى الشيفرة التنفيذية العاملة على شبكة Sepolia التجريبية. وكشف التحقق عن 6 مشكلات، تبيّن أن 3 منها تتعلق بأدوات التحقق نفسها. وأشار الفريق إلى أن الافتراضات المتبقية تشمل مقاومة دوال التجزئة للتصادمات، ورفض المدقّقين للأدلة الاحتيالية، واتساق سلوك العقد مع النموذج الرسمي.
ETH%1.26-
GateNews·10-27 12:12
