إيث سيستمز تكمل التحقق الرسمي من بركة الخصوصية، تغطي بايت كود سيبوليا

أعلنت مؤسسة تقنيات الخصوصية على إيثريوم، إيث سيستمز، أنها أكملت التحقق الرسمي من بركة الخصوصية الخاصة بها، والذي يغطي من المواصفات المكتوبة إلى بايت كود على شبكة اختبار سيبوليا. تم استخدام مجموعة متنوعة من الأدوات خلال عملية التحقق، حيث تم استخدام Lean للنماذج والدارات والتجزئة، وHalmos وKontrol للعقود، وAeneas وVerus للمحافظ، وتم التحقق من المدققين والنشر من خلال إعادة البناء بايت بايت. تم التحقق من عدم تكرار الإنفاق والحفاظ على القيمة بواسطة آلة النظرية Lean. تم اكتشاف 6 مشكلات خلال التحقق، 3 منها كانت في أدوات التحقق نفسها. كما أدرج الفريق الافتراضات التي لا تزال تعتمد عليها، بما في ذلك عدم وجود تصادم في التجزئة، ورفض المدققين لإثباتات التزوير، وتوافق سلوك العقود مع النموذج.

يُقدَّم هذا المحتوى لأغراض معلوماتية عامة فقط، ولا يُشكل مشورة مالية أو استثمارية أو قانونية أو ضريبية. ولا ينبغي اعتبار أي فعاليات أو مكافآت أو عروض ترويجية عبر الإنترنت أو أي معلومات ذات صلة واردة فيه توصيةً أو طلبًا أو دعوةً لشراء الأصول المشفرة أو بيعها أو تداولها أو إجراء أي معاملات أخرى عليها. تتميز الأصول المشفرة بتقلبات سعرية مرتفعة وقد تؤدي إلى خسائر. وقد يختلف مدى توفر خدمات WEEX ومنتجاتها والفعاليات المرتبطة بها حسب المنطقة. وتقع على عاتقك مسؤولية التأكد من أن مشاركتك تتوافق مع القوانين واللوائح المحلية المعمول بها.