Example Projects
Real-world projects and examples using Kontrol
Last updated
Was this helpful?
Real-world projects and examples using Kontrol
Last updated
Was this helpful?
Here are some notable projects and examples that use Kontrol for formal verification:
uses Kontrol to verify critical components of their Bedrock contracts. Their setup includes:
Custom deployment sequence for Kontrol proofs
Automated proof generation and verification
Integration with their CI pipeline
Comprehensive documentation of their verification process
is a formal verification project for the Solady library, demonstrating how to verify commonly used smart contract patterns and optimizations.
includes Kontrol examples as part of their curriculum, showing how to use formal verification to prevent common vulnerabilities.
Basic verification examples
Advanced proof techniques
Common patterns and best practices
To explore these examples:
Each project provides unique insights into how Kontrol can be used effectively in different contexts and for different purposes.
The provides hands-on examples and exercises for learning Kontrol, including:
is a simple repository demonstrating basic Kontrol usage, perfect for getting started with formal verification.
showcases more advanced usage patterns and verification techniques.
Start with the for basic usage
Review the for hands-on learning
Study the for production usage
Explore for library verification patterns