شركة Web3 للأمان Certora تحصل على تمويل من مؤسسة إيثريوم

أودالي ستيلر ديلي نيوز: أعلنت شركة أمن Web3 Certora عن تلقيها تمويلاً من مؤسسة إيثريوم، ولم يتم الكشف عن المبلغ المحدد بعد، وسيتم استخدام التمويل لدعم التحقق من صحة الترجمة التلقائية المسبقة، وهي تقنية تحسين رئيسية في حسابات المعرفة الصفرية، والتي طورتها Powdr Labs لمشروع zkEVM الخاص بمؤسسة إيثريوم، ومن المتوقع أن تقوم Certora بفتح مصدر إطار العمل الخاص بها للمواصفات، الإثبات، والتحقق. (Chainwire)