guangyuz / smt-halo2
Zero-knowledge gadget for Sparse Merkle Tree.
☆20Updated 2 years ago
Related projects: ⓘ
- ☆13Updated 3 months ago
- ☆15Updated 8 months ago
- ☆18Updated last year
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 2 years ago
- ☆13Updated 2 years ago
- ☆21Updated last year
- powdr application running Ethereum tests via revm☆15Updated 2 months ago
- A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet☆19Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- Base64 decoding circuit in halo2☆14Updated last year
- A Cairo VM prover implemented using Winterfell☆17Updated last year
- Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"☆13Updated last year
- Single owner authorization with zk-based two-factor-authorization.☆18Updated last year
- Foundry project for the RLN☆17Updated 10 months ago
- ☆31Updated last year
- Rust client library for Flashbot's mev-share.☆20Updated last year
- trusted setup MPC tools☆12Updated 4 years ago
- Bit Twister: A CLI tool for precise network traffic shaping. Simulate latency, bandwith limitation, drop packets, impose jitter with ease…☆15Updated 8 months ago
- Rust 256-bit unsigned integers.☆9Updated last year
- Solidity source debugger built around EthereumJS☆21Updated this week
- ☆10Updated this week
- ☆15Updated last year
- ☆13Updated last year
- ☆12Updated this week
- ☆18Updated 5 months ago
- Cryptographic protocols☆36Updated last year
- ☆23Updated last year
- A tool for single Ethereum archival block state proofs.☆33Updated 11 months ago
- ☆10Updated this week
- etk-Foundry project template☆20Updated last year