Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
☆75Jul 9, 2025Updated 7 months ago
Alternatives and similar repositories for attacknet
Users that are interested in attacknet are comparing it to the libraries listed below
Sorting:
- D2PFuzz, Fuzzer tool for analyze devp2p protocol☆17Oct 19, 2025Updated 4 months ago
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Dec 18, 2025Updated 2 months ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Jan 12, 2026Updated last month
- Execution layer multiplexer☆56Apr 30, 2025Updated 10 months ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆22Jan 15, 2026Updated last month
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆117Aug 25, 2025Updated 6 months ago
- Beginner Friendly Rust Security Workshop☆35Feb 26, 2024Updated 2 years ago
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated last year
- Mutation testing tool for circom☆17Jul 4, 2023Updated 2 years ago
- MEV Olympics☆44Dec 1, 2024Updated last year
- Efficient nibble-sized (4-bit) byte sequence data structure☆36Feb 11, 2026Updated 2 weeks ago
- Collection of past CTFs to play and practice locally.☆52Aug 20, 2024Updated last year
- Persistent binary merkle tree☆26Feb 17, 2026Updated last week
- ☆103Nov 25, 2025Updated 3 months ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13May 9, 2024Updated last year
- wall time exex for reth☆12Aug 5, 2024Updated last year
- Transaction fuzzer on steroids for the Ethereum Protocol☆14May 9, 2025Updated 9 months ago
- ☆16Mar 29, 2024Updated last year
- ☆24Updated this week
- Ethereum stateless tools☆45Apr 17, 2025Updated 10 months ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Feb 21, 2023Updated 3 years ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆128Aug 19, 2024Updated last year
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- Static Analyzer for Starknet smart contracts☆146Jan 25, 2024Updated 2 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆99Jul 3, 2025Updated 7 months ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Feb 14, 2025Updated last year
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 7 months ago
- To make fuzzing Rust easy☆197Updated this week
- A curated list of awesome resources for learning and programming with Circom☆23May 15, 2023Updated 2 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆46Jul 17, 2022Updated 3 years ago
- StarkNet smart contract fuzzer☆81Jul 8, 2022Updated 3 years ago
- A Prolog engine written in Solidity.☆16Feb 19, 2022Updated 4 years ago
- Malachite as consensus engine for Ethereum execution clients via Engine API☆23Oct 30, 2025Updated 4 months ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Jun 22, 2024Updated last year
- A comprehensive guide to teach you about gas optimization patterns.☆26Aug 24, 2023Updated 2 years ago
- ☆137Feb 16, 2026Updated last week