chyanju / __archived__MedjaiLinks
A Symbolic Execution Tool for Cairo
☆16Updated 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
Sorting:
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 9 months ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆14Updated 3 weeks ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆42Updated 11 months ago
- ☆47Updated last year
- ☆13Updated 2 years ago
- ☆18Updated 11 months ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- Evaluating fuzzer effectiveness☆21Updated last year
- Efficient beacon chain batch deposit contract written in huff☆22Updated last year
- Tstore huff template☆17Updated last year
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆12Updated last month
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- powdr application running Ethereum tests via revm☆18Updated 11 months ago
- ☆37Updated 3 years ago
- Mutation testing tool for circom☆16Updated last year
- Library for building symbolically executable stack-based virtual machines☆75Updated 2 years ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 2 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- ☆12Updated 2 years ago
- Based Ethereum framework for writing tests in Rust☆12Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 11 months ago
- MEV Olympics☆44Updated 6 months ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆31Updated last year
- Plonk verifier in solidity (using Commit api)☆22Updated 11 months ago
- ☆21Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆34Updated last month