dragonfly-xyz / nottingham-contractsView external linksLinks
☆18Jun 30, 2024Updated last year
Alternatives and similar repositories for nottingham-contracts
Users that are interested in nottingham-contracts are comparing it to the libraries listed below
Sorting:
- Foundry EVM Standalone☆22Nov 4, 2023Updated 2 years ago
- ☆20Aug 13, 2024Updated last year
- An Ethereum validator crawler☆16Jan 14, 2026Updated last month
- ☆18Nov 22, 2024Updated last year
- ☆19Jun 18, 2024Updated last year
- Generating Inputs for OZ's MultiProof and SingleProof☆39Nov 18, 2024Updated last year
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- EVM Calldata Zip, aka czip☆106Updated this week
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆33May 27, 2024Updated last year
- wall time exex for reth☆12Aug 5, 2024Updated last year
- Suave/TEE PoCs of MEV Resistant AMMs☆44Feb 6, 2025Updated last year
- Transaction fuzzer on steroids for the Ethereum Protocol☆14May 9, 2025Updated 9 months ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Jan 12, 2026Updated last month
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆14Jan 11, 2026Updated last month
- BuilderHub service for provisioning and permissioning BuilderNet instances☆16Feb 4, 2026Updated last week
- RAILGUN Circuits V2☆24Sep 26, 2025Updated 4 months ago
- Generalized EIP-3074 Invoker with batch transaction support.☆17Apr 27, 2024Updated last year
- Pint, the constraint-based programming language for declarative blockchains☆21Feb 8, 2026Updated last week
- ☆11Nov 18, 2022Updated 3 years ago
- D2PFuzz, Fuzzer tool for analyze devp2p protocol☆17Oct 19, 2025Updated 3 months ago
- A simple programming language for researching different ways of program execution and compilation☆35Oct 1, 2024Updated last year
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year
- RealWorld CTF 5th realwrap challenge☆18May 21, 2023Updated 2 years ago
- ☆15Jan 25, 2022Updated 4 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- A Reth Execution Extension (ExEx) with shared object (.so / .dylib) plugins☆16Oct 12, 2024Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Apr 20, 2024Updated last year
- ☆103Nov 25, 2025Updated 2 months ago
- ☆54Jun 7, 2025Updated 8 months ago
- A DSL for generating optimal EVM bytecode☆192Nov 5, 2024Updated last year
- ☆21Dec 1, 2025Updated 2 months ago
- Mutation testing tool for circom☆17Jul 4, 2023Updated 2 years ago
- Reth customized for Mempool analysis☆39Jun 2, 2024Updated last year
- EVM abstraction layer☆77Updated this week
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Dec 18, 2025Updated last month
- Solidity based prover for AWS Nitro enclave attestations☆24Dec 13, 2024Updated last year
- Cuda implementation of EVM bytecode executor☆117Dec 26, 2024Updated last year