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
- ☆18Updated 11 months ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- powdr application running Ethereum tests via revm☆18Updated last year
- Transaction fuzzer on steroids for the Ethereum Protocol☆15Updated last month
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated 10 months ago
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated 2 years ago
- ☆37Updated 3 years ago
- Solution for the Optimizoor club's sqrt challenge☆18Updated 2 years ago
- ☆13Updated 2 years ago
- Mutation testing tool for circom☆16Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- Plonk verifier in solidity (using Commit api)☆22Updated last year
- Evaluating fuzzer effectiveness☆21Updated last year
- ☆47Updated last year
- ☆11Updated last year
- SMT 2023 Submission; license pending☆55Updated 7 months ago
- Library for building symbolically executable stack-based virtual machines☆75Updated 2 years ago
- Tstore huff template☆17Updated last year
- ☆33Updated 2 years ago
- Supplementary Material to be used with the Certora Prover☆17Updated 3 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 3 years ago
- Lydia: Who's Your Enemy in the Dark Forrest☆12Updated last year
- Github action for the Amarna static analyzer☆9Updated 2 years ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- ☆40Updated 2 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago