runtimeverification / kontrol
☆72Updated this week
Alternatives and similar repositories for kontrol:
Users that are interested in kontrol are comparing it to the libraries listed below
- ☆90Updated 10 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆105Updated 4 months ago
- Using mutations to improve specs and test suites☆184Updated 7 months ago
- A smart contract security search utility☆74Updated 4 months ago
- List of Halmos resources.☆54Updated 2 months ago
- Tools for Yul.☆138Updated 2 years ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Smart contract debugging data format – Standards development working group☆60Updated last week
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- ☆38Updated 11 months ago
- ☆46Updated last year
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆111Updated 2 weeks ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 8 months ago
- ☆108Updated 3 weeks ago
- Console.log utility for debugging huff contracts☆68Updated last year
- A Solidity interpreter☆66Updated 3 weeks ago
- Simple Rust script for finding colliding 4byte function selectors☆59Updated last year
- ☆75Updated last year
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- ☆51Updated 3 months ago
- A forkable template repo for easily writing and testing toy contracts☆59Updated 3 weeks ago
- ☆87Updated last month
- A curated list of awesome security resources for ZK.☆79Updated this week
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆125Updated 7 months ago
- ☆36Updated last year
- easy POC template generation from the command line☆75Updated 7 months ago
- ☆164Updated last year
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year