chyanju / __archived__Medjai
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
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated last year
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- ☆13Updated 2 years ago
- ☆18Updated 9 months ago
- Efficient beacon chain batch deposit contract written in huff☆23Updated last year
- Automated verification of uniqueness property for ZKP circuits☆41Updated 10 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 8 months ago
- Based Ethereum framework for writing tests in Rust☆12Updated last year
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆26Updated 10 months ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- Evaluating fuzzer effectiveness☆21Updated last year
- ☆31Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated 10 months ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- Tstore huff template☆17Updated last year
- ☆22Updated 2 years ago
- Mutation testing tool for circom☆16Updated last year
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆14Updated last year
- efficient libraries for working with min-heaps in solidity☆23Updated last year
- ☆21Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆32Updated 6 months ago
- ☆35Updated 2 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 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
- ☆40Updated 2 years ago
- Vyper Deep Dive Notes and Scripts☆26Updated last year
- Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…☆15Updated 2 years ago
- ☆12Updated 2 years ago