Resources

Learning materials, community, and educational resources for Kontrol

Join the Community on Discord and Telegram! If you have questions, feedback, or problems we would love to hear from you and offer support.

Videos and Presentations

• Proofcast 105 - Learn Formal Verification in 45 minutes with Kontrol:

• Foundry-based Formal Verification with Kontrol

• Verified Hooks: Security, Debugging, and Formal Verification for Uniswap v4

• How To Get Security Under Kontrol

• K, KEVM, Kontrol presentation video

• Tackling Rounding Errors with Precision Analysis

• Formal Methods for the Working DeFi Dev

• Security: Auditing and Formal Methods

• Towards Adoption of Symbolic Execution for DeFi Security

Blog Posts and Articles

• Kontrol and Term Finance: Formal Verification Success Story Working with Bounded Loops

• Formally Verifying Loops: Part 1 and Part 2

• Using Kontrol to Tackle Complexities Caused by Dynamically-Sized Constructs

• External Computation with Kontrol

• Using Foundry to Explore Upgradeable Contracts (Part 1)

• Foundry: Gen 2 of Ethereum Tooling

• From 0 to K Tutorial

Learning Resources

Patrick Collins' Course

Cyfrin's Smart Contract Exploits Course includes Kontrol examples as part of their curriculum, showing how to use formal verification to prevent common vulnerabilities.

Foundry

• Foundry Book - Comprehensive guide to Foundry

• Foundry GitHub - Source code and issues

K Framework

• K Framework - The foundation of KEVM and Kontrol

• 0 to K Tutorial - Learn the K Framework from scratch

Related Projects

• KEVM - Ethereum Virtual Machine semantics in K

• KAVM - Formal verification for Algorand

• Komet - Testing and formal verification tool for Soroban smart contracts

Community and Support

• Discord and Telegram community- Join discussions and get help

• Kontrol GitHub - Source code, issues, and contributions

• GitBook Repository - Documentation source and suggestions

Found a typo or want to suggest improvements? Click the three dots on any page to suggest an edit on GitHub!