وفقًا لأحدث التقارير، في الربع الأول من عام 2025، منحت منظمة إثيريوم منحتين بحثيتين لشركة CertiK، وهي وحدة مشهورة في مجال أمان البلوكتشين. تركز هذه المشاريع على أدوات التطوير والأساليب الرسمية للتحقق من zkVM.
تقييم أداة Verus: ستقوم CertiK بتقييم Verus، وهي أداة للتحقق مكتوبة بلغة Rust، بهدف فحص الدوائر المكتوبة بلغة Rust والوحدات البرمجية المترجمة الخاصة بـ EVM.
تبسيط التحقق من zkVM: يعمل هذا المشروع على تطوير استراتيجية لتبسيط التحقق من zkVM، مع التركيز على الحسابات المودولية وحالات القيم المتعددة المعبأة في عنصر واحد من المجال.
تم تطبيق تقنية التحقق الرسمية من CertiK على نطاق واسع في العديد من مشاريع Web3 الرائدة مثل zkWasm، والعقد الرئيسي TON، وCosmos SDK، وHyperEnclave TEE من مجموعة Ant. المحتوى هو لأغراض إعلامية فقط وليس توصية استثمار.
شكراً لكم على قراءة هذه المقالة!
يرجى الإعجاب والتعليق والمتابعة TinTucBitcoin لتبقى على اطلاع بأحدث الأخبار حول سوق العملات الرقمية وعدم تفويت أي معلومات مهمة!
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
حصلت CertiK على منحتين من مؤسسة إثيريوم
وفقًا لأحدث التقارير، في الربع الأول من عام 2025، منحت منظمة إثيريوم منحتين بحثيتين لشركة CertiK، وهي وحدة مشهورة في مجال أمان البلوكتشين. تركز هذه المشاريع على أدوات التطوير والأساليب الرسمية للتحقق من zkVM.
تقييم أداة Verus: ستقوم CertiK بتقييم Verus، وهي أداة للتحقق مكتوبة بلغة Rust، بهدف فحص الدوائر المكتوبة بلغة Rust والوحدات البرمجية المترجمة الخاصة بـ EVM.
تبسيط التحقق من zkVM: يعمل هذا المشروع على تطوير استراتيجية لتبسيط التحقق من zkVM، مع التركيز على الحسابات المودولية وحالات القيم المتعددة المعبأة في عنصر واحد من المجال.
تم تطبيق تقنية التحقق الرسمية من CertiK على نطاق واسع في العديد من مشاريع Web3 الرائدة مثل zkWasm، والعقد الرئيسي TON، وCosmos SDK، وHyperEnclave TEE من مجموعة Ant. المحتوى هو لأغراض إعلامية فقط وليس توصية استثمار.
شكراً لكم على قراءة هذه المقالة!
يرجى الإعجاب والتعليق والمتابعة TinTucBitcoin لتبقى على اطلاع بأحدث الأخبار حول سوق العملات الرقمية وعدم تفويت أي معلومات مهمة!