Differential Fuzzer for Ethereum 2.0
☆177Nov 21, 2023Updated 2 years ago
Alternatives and similar repositories for beacon-fuzz
Users that are interested in beacon-fuzz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆106Updated this week
- [DEPRECATED] Common tests for all Eth2.0 implementations☆20Apr 29, 2019Updated 7 years ago
- The Rust Implementation of libp2p networking stack.☆13Updated this week
- 😈 Eth2 Network Agent 😈☆31Oct 30, 2020Updated 5 years ago
- ZRNT - Executable spec for ETH 2.0, implemented in Go☆102Aug 28, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tooling to shim libfuzzer <-> golang native fuzzing☆13May 9, 2024Updated 2 years ago
- StarkNet smart contract fuzzer☆81Jul 8, 2022Updated 4 years ago
- Ethereum Node Record (ENR) rust implementation☆16Aug 4, 2022Updated 3 years ago
- Common tests for the Ethereum proof-of-stake consensus layer☆90Oct 21, 2025Updated 9 months ago
- Fuzzing SILK with AFL☆25May 29, 2020Updated 6 years ago
- Collection of presentations given by Sigma Prime☆19Mar 1, 2022Updated 4 years ago
- Optimized version of the eth2spec python module.☆11Jul 10, 2020Updated 6 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- Cairo/Starknet smart contract fuzzer☆130Apr 22, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Apr 12, 2020Updated 6 years ago
- Ethereum scaling diagram☆38Mar 29, 2021Updated 5 years ago
- Ethereum Protocol Security Review Assistant☆16Jun 29, 2026Updated 3 weeks ago
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆32Jan 26, 2023Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆16Jun 4, 2024Updated 2 years ago
- Informative spec for beacon node metrics☆32Jun 26, 2026Updated 3 weeks ago
- BLS working standard draft☆39Aug 8, 2019Updated 6 years ago
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 5 years ago
- The Trinity client for the Eth2 network☆16Aug 25, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆104Oct 11, 2023Updated 2 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆25Apr 7, 2021Updated 5 years ago
- Horus, a formal verification tool for StarkNet smart contracts.☆75Jun 20, 2025Updated last year
- want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.☆40May 1, 2025Updated last year
- Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)☆272Apr 22, 2025Updated last year
- Typed mutable SSZ views over cached and immutable binary merkle trees☆29Jul 17, 2024Updated 2 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆143Oct 2, 2025Updated 9 months ago
- Ethereum Node Record☆65Sep 29, 2025Updated 9 months ago
- Fast Ethereum2.0 SSZ encoder/decoder☆91Dec 3, 2025Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts☆1,102Dec 10, 2025Updated 7 months ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 3 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated 2 years ago
- Algorand's reference implementation of bls signature scheme☆14Sep 7, 2020Updated 5 years ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Jul 9, 2025Updated last year
- Ethereum smart contract fuzzer☆3,161Updated this week
- A collection of public Ethereum APIs.☆85Jan 27, 2025Updated last year