Security & testing
Kontrol - formal verification tool based on Foundry and KEVM
Formal verification
Foundry · تعلیم · گورننس · رسمی تصدیق · Solidity · رن ٹائم کی تصدیق · کنٹریکٹ کی تعیناتی · سٹیٹک انالیسس
سوشل (opens in a new tab)runtimeverification/kontrol(۱۱۸ ☆) (opens in a new tab)runtimeverification/optimism-ci(۴ ☆) (opens in a new tab)runtimeverification/_audits_lidofinance_dual-governance_fork(۱ ☆) (opens in a new tab)runtimeverification/yearn-v3-term-vault(۰ ☆) (opens in a new tab)runtimeverification/Depeg-swap(۰ ☆) (opens in a new tab)runtimeverification/_audits_Ethereum-optimism_pausability(۰ ☆) (opens in a new tab)
Kontrol Foundry پراپرٹی ٹیسٹس کو KEVM کے حمایت یافتہ ثبوتوں میں تبدیل کرتا ہے تاکہ آپ صرف خام KEVM کے مقابلے میں کم ہاتھ سے لکھے گئے تصریحی کام کے ساتھ رسمی ضمانتوں کا پیچھا کر سکیں۔
