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