A tool for crashing blockchain nodes
☆39Mar 7, 2025Updated 11 months ago
Alternatives and similar repositories for storm
Users that are interested in storm are comparing it to the libraries listed below
Sorting:
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆129Sep 16, 2025Updated 5 months ago
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆69Dec 9, 2025Updated 2 months ago
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 3 years ago
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆92Nov 13, 2025Updated 3 months ago
- ☆12Nov 3, 2024Updated last year
- Query notifications for balances on wallets with threasholds☆14Nov 17, 2022Updated 3 years ago
- Immunefi Contract DB - Search Bugs☆34Dec 4, 2024Updated last year
- Solo High severity findings from contests 2024☆31Dec 23, 2024Updated last year
- block-stm implementation in golang that works with cosmos-sdk☆14Dec 13, 2024Updated last year
- A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…☆43Dec 13, 2024Updated last year
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 3 years ago
- Generate invariants for Foundry projects with LLM☆104Aug 30, 2024Updated last year
- A Blockchain And Smart Contract Based CTF☆17Jul 25, 2023Updated 2 years ago
- Sorry, 0x who?☆38Jul 20, 2022Updated 3 years ago
- A cosmos / interchain blockchain indexer written in Python☆20Aug 4, 2023Updated 2 years ago
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated last year
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆84Apr 6, 2023Updated 2 years ago
- ☆20Jan 24, 2023Updated 3 years ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆128Aug 19, 2024Updated last year
- Scrapper for Immunefi☆47May 28, 2024Updated last year
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆24Nov 29, 2024Updated last year
- Fuzzinglabs's audits, publications, workshops and reports☆29May 9, 2025Updated 9 months ago
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆30Jan 13, 2026Updated last month
- ☆25Jul 1, 2023Updated 2 years ago
- Generate Golang code for your CosmWasm smart contracts.☆26Jul 12, 2024Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆55Aug 22, 2024Updated last year
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆33Feb 25, 2025Updated last year
- A library of blockchain security resources for various categories in blockchain.☆180Apr 16, 2025Updated 10 months ago
- Node module for scanning and visualize Solana accounts☆39Mar 3, 2025Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆59Jun 12, 2023Updated 2 years ago
- ☆113Mar 6, 2024Updated last year
- Symbolic stack CFG generator for EVM☆191Feb 10, 2025Updated last year
- ☆35Jul 4, 2025Updated 8 months ago
- Reproduce ZKP vulnerabilities☆321Nov 25, 2025Updated 3 months ago
- A BugBounty companion that checks out high-reward yielding bug bounty code-bases from Immunefi/code4rena 🙌 (use at own risk)☆72Apr 15, 2024Updated last year
- The tool for creating a threshold BLS key in a trustless manner.☆29Apr 24, 2023Updated 2 years ago
- Revised shell script for parsing .gnmap, .xml, or .nmap port scan results files to a CSV list, lists of IPs per port, web urls, and a sum…☆13Apr 17, 2020Updated 5 years ago
- A list of public fuzzing campaigns☆129Jan 24, 2026Updated last month
- A smart contract security search utility☆76Dec 26, 2024Updated last year