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☆51Updated 2 years ago
- ☆18Updated 9 months ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 9 months ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- ☆22Updated 2 years ago
- ☆21Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 7 months ago
- Based Ethereum framework for writing tests in Rust☆12Updated last year
- Solution for the Optimizoor club's sqrt challenge☆18Updated 2 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆26Updated 10 months ago
- ☆13Updated 2 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Updated last year
- Mutation testing tool for circom☆16Updated last year
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Updated 2 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- ☆47Updated last year
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- powdr application running Ethereum tests via revm☆18Updated 9 months ago
- ☆36Updated 3 years ago
- MEV Olympics☆45Updated 3 months ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- ☆19Updated 11 months ago
- ☆13Updated 2 years ago
- Github action for the Amarna static analyzer☆9Updated 2 years ago
- ☆31Updated 2 years ago
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Updated 2 years ago