وفقًا لأحدث التقارير، في الربع الأول من عام 2025، منحت منظمة إثيريوم منحتين بحثيتين لشركة CertiK، وهي وحدة مشهورة في مجال أمان البلوكتشين. تركز هذه المشاريع على أدوات التطوير والأساليب الرسمية للتحقق من zkVM.
تقييم أداة Verus: ستقوم CertiK بتقييم Verus، وهي أداة للتحقق مكتوبة بلغة Rust، بهدف فحص الدوائر المكتوبة بلغة Rust والوحدات البرمجية المترجمة الخاصة بـ EVM.
تبسيط التحقق من zkVM: يعمل هذا المشروع على تطوير استراتيجية لتبسيط التحقق من zkVM، مع التركيز على الحسابات المودولية وحالات القيم المتعددة المعبأة في عنصر واحد من المجال.
تم تطبيق تقنية التحقق الرسمية من CertiK على نطاق واسع في العديد من مشاريع Web3 الرائدة مثل zkWasm، والعقد الرئيسي TON، وCosmos SDK، وHyperEnclave TEE من مجموعة Ant. المحتوى هو لأغراض إعلامية فقط وليس توصية استثمار.
شكراً لكم على قراءة هذه المقالة!
يرجى الإعجاب والتعليق والمتابعة TinTucBitcoin لتبقى على اطلاع بأحدث الأخبار حول سوق العملات الرقمية وعدم تفويت أي معلومات مهمة!
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
حصلت CertiK على منحتين من مؤسسة إثيريوم
وفقًا لأحدث التقارير، في الربع الأول من عام 2025، منحت منظمة إثيريوم منحتين بحثيتين لشركة CertiK، وهي وحدة مشهورة في مجال أمان البلوكتشين. تركز هذه المشاريع على أدوات التطوير والأساليب الرسمية للتحقق من zkVM.
تقييم أداة Verus: ستقوم CertiK بتقييم Verus، وهي أداة للتحقق مكتوبة بلغة Rust، بهدف فحص الدوائر المكتوبة بلغة Rust والوحدات البرمجية المترجمة الخاصة بـ EVM.
تبسيط التحقق من zkVM: يعمل هذا المشروع على تطوير استراتيجية لتبسيط التحقق من zkVM، مع التركيز على الحسابات المودولية وحالات القيم المتعددة المعبأة في عنصر واحد من المجال.
تم تطبيق تقنية التحقق الرسمية من CertiK على نطاق واسع في العديد من مشاريع Web3 الرائدة مثل zkWasm، والعقد الرئيسي TON، وCosmos SDK، وHyperEnclave TEE من مجموعة Ant. المحتوى هو لأغراض إعلامية فقط وليس توصية استثمار.
شكراً لكم على قراءة هذه المقالة!
يرجى الإعجاب والتعليق والمتابعة TinTucBitcoin لتبقى على اطلاع بأحدث الأخبار حول سوق العملات الرقمية وعدم تفويت أي معلومات مهمة!