List of Security Vulnerabilities
A collection of smart contracts that have undergone formal verification using the K-framework to ensure correctness against specifications.
What is List of Security Vulnerabilities?
Verified Smart Contracts is a repository of smart contracts that have been formally verified using the K-framework. It provides mathematically proven correctness guarantees by specifying intended behaviors and verifying that the compiled code satisfies those specifications through symbolic execution and reachability logic. This addresses the critical need for security and reliability in blockchain applications where bugs can lead to significant financial losses.
Smart contract developers, blockchain security researchers, and organizations deploying high-value contracts who require rigorous assurance of correctness. It is also valuable for academics and practitioners interested in formal methods applied to blockchain technology.
Developers choose this project because it offers a transparent, verifiable approach to smart contract security beyond traditional audits, using formal methods to exhaustively check compliance with specifications. The use of the K-framework and reachability logic provides a robust, semantics-based verification infrastructure trusted for critical contracts like Ethereum 2.0 and GnosisSafe.
Overview
Smart contracts which are formally verified
Use Cases
Best For
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.