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☆105Jul 3, 2025Updated 10 months ago
- [DEPRECATED] Common tests for all Eth2.0 implementations☆20Apr 29, 2019Updated 7 years ago
- The Rust Implementation of libp2p networking stack.☆13Mar 26, 2026Updated 2 months ago
- 😈 Eth2 Network Agent 😈☆31Oct 30, 2020Updated 5 years ago
- ZRNT - Executable spec for ETH 2.0, implemented in Go☆102Aug 28, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tooling to shim libfuzzer <-> golang native fuzzing☆13May 9, 2024Updated 2 years ago
- Common tests for the Ethereum proof-of-stake consensus layer☆89Oct 21, 2025Updated 7 months ago
- StarkNet smart contract fuzzer☆81Jul 8, 2022Updated 3 years ago
- Ethereum Node Record (ENR) rust implementation☆14Aug 4, 2022Updated 3 years ago
- Fuzzing SILK with AFL☆25May 29, 2020Updated 6 years ago
- Optimized version of the eth2spec python module.☆11Jul 10, 2020Updated 5 years ago
- Collection of presentations given by Sigma Prime☆19Mar 1, 2022Updated 4 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- Cairo/Starknet smart contract fuzzer☆130Apr 22, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Apr 12, 2020Updated 6 years ago
- Ethereum scaling diagram☆38Mar 29, 2021Updated 5 years 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.☆15Jun 4, 2024Updated last year
- Informative spec for beacon node metrics☆30Feb 23, 2026Updated 3 months ago
- Proof of concept of an Eth2 secret shared validator node☆16Feb 15, 2022Updated 4 years ago
- preliminary, high-level eth2-client benchmarks☆16Oct 20, 2020Updated 5 years ago
- Horus, a formal verification tool for StarkNet smart contracts.☆75Jun 20, 2025Updated 11 months ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆103Oct 11, 2023Updated 2 years 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.
- The Trinity client for the Eth2 network☆16Aug 25, 2020Updated 5 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆24Apr 7, 2021Updated 5 years ago
- BLS working standard draft☆39Aug 8, 2019Updated 6 years ago
- want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.☆40May 1, 2025Updated last year
- Typed mutable SSZ views over cached and immutable binary merkle trees☆29Jul 17, 2024Updated last year
- Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)☆273Apr 22, 2025Updated last year
- Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts☆1,100Dec 10, 2025Updated 5 months ago
- Fast Ethereum2.0 SSZ encoder/decoder☆90Dec 3, 2025Updated 5 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆143Oct 2, 2025Updated 7 months 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.
- Ethereum Node Record☆64Sep 29, 2025Updated 8 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 10 months ago
- JavaScript Fuzzing framework for v8☆143Jan 24, 2022Updated 4 years ago
- A collection of public Ethereum APIs.☆85Jan 27, 2025Updated last year