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 కంటే తక్కువ చేతితో వ్రాసిన స్పెసిఫికేషన్ పనితో నియత హామీలను సాధించవచ్చు.
