Based Ethereum framework for writing tests in Rust
☆12Dec 17, 2023Updated 2 years ago
Alternatives and similar repositories for rustry
Users that are interested in rustry are comparing it to the libraries listed below
Sorting:
- A vscode extension that copies huff's code stack comment and paste in the next line, making it easy for Huffooors to write opcodes w/o wo…☆14Apr 25, 2024Updated last year
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- EVM contract size analyzer☆18Apr 1, 2023Updated 2 years ago
- Uniswap V4 Vanity Miner☆30May 31, 2025Updated 9 months ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- The fhEVM Decryptions Database is a key-value database of decryption results.☆15Aug 24, 2023Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year
- ☆10May 9, 2023Updated 2 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated last week
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- ☆57Dec 14, 2025Updated 2 months ago
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 7 months ago
- Curta CTF #12☆20Oct 13, 2023Updated 2 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- To learn fork testing & on-chain broadcast☆30Oct 16, 2023Updated 2 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 9 months ago
- A universal, trust-minimized intent settlement protocol.☆17Updated this week
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19May 24, 2025Updated 9 months ago
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated last month
- ☆13Dec 13, 2021Updated 4 years ago
- ☆14Dec 13, 2024Updated last year
- CTF Writeups☆36Nov 26, 2023Updated 2 years ago
- ☄️ A toy implementation of the EVM from scratch using Rust.☆35Jan 26, 2024Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Dec 18, 2025Updated 2 months ago
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- MEV Olympics☆44Dec 1, 2024Updated last year
- A Foundry template to deploy a cross-chain CREATE2 contract factory☆23Feb 19, 2023Updated 3 years ago
- ☆19Oct 13, 2023Updated 2 years ago
- Web app to generate merkle trees and proofs 🍃☆20Jun 7, 2023Updated 2 years ago
- Audits of Ajna protocol☆19Mar 27, 2024Updated last year