chyanju / __archived__Medjai
A Symbolic Execution Tool for Cairo
☆15Updated 2 years ago
Alternatives and similar repositories for __archived__Medjai:
Users that are interested in __archived__Medjai are comparing it to the libraries listed below
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- powdr application running Ethereum tests via revm☆17Updated 6 months ago
- ☆18Updated 6 months ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 7 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆30Updated 3 months ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 4 months ago
- Solution for the Optimizoor club's sqrt challenge☆18Updated 2 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- ☆21Updated last year
- Based Ethereum framework for writing tests in Rust☆12Updated last year
- Efficient beacon chain batch deposit contract written in huff☆23Updated last year
- ☆46Updated last year
- ☆19Updated 9 months ago
- ☆22Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆19Updated last month
- SMT 2023 Submission; license pending☆53Updated 2 months ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- A simple tool to convert Yul arithmetic expressions to Huff☆14Updated last year
- ☆36Updated 2 years ago
- Evaluating fuzzer effectiveness☆21Updated last year
- ☆13Updated last year
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated last year
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- An efficient constant gas function dispatch pattern for solidity external libraries.☆15Updated last year
- ☆29Updated last year
- Tstore huff template☆17Updated last year