Security & testing
Kontrol - formal verification tool based on Foundry and KEVM
Formal verification
Foundry · التعليم · حوكمة · تحقق شكلي · Solidity · التحقق في وقت التشغيل · نشر العقد · تحليل ثابت
التواصل الاجتماعي (opens in a new tab)runtimeverification/kontrol(118 ☆) (opens in a new tab)runtimeverification/optimism-ci(4 ☆) (opens in a new tab)runtimeverification/_audits_lidofinance_dual-governance_fork(1 ☆) (opens in a new tab)runtimeverification/yearn-v3-term-vault(0 ☆) (opens in a new tab)runtimeverification/Depeg-swap(0 ☆) (opens in a new tab)runtimeverification/_audits_Ethereum-optimism_pausability(0 ☆) (opens in a new tab)
يرفع Kontrol اختبارات خصائص Foundry إلى إثباتات مدعومة بـ KEVM بحيث يمكنك متابعة الضمانات الشكلية بعمل مواصفات مكتوبة بخط اليد أقل من KEVM الخام وحده.
