علمتُ أن صندوق الأمان التابع لـ The DAO أعلن عن تعاون مع مؤسسة إيثريوم لدعم مشروع «التحقق الشكلي الشامل من طرف إلى طرف» الخاص بمُصرّف Vyper، وإدراجه ضمن مبادرات ETHSecurity Initiatives Round. يهدف هذا المشروع إلى استخدام إثباتات قابلة للتحقق آليًا لضمان أن عملية ترجمة Vyper تحافظ على دلالات الشيفرة المصدر، وتوفير بنية لإعادة التحقق للإصدارات التي تم دعمها بالفعل، وصولًا إلى طرح وضع ترجمة التحقق بشكل علني في المُصرّف الرسمي لـ Vyper. وقد تعهدت مؤسسة إيثريوم بتقديم دعم بقيمة 100 ألف دولار لهذا المشروع.