A tool for crashing blockchain nodes
☆38Mar 7, 2025Updated last year
Alternatives and similar repositories for storm
Users that are interested in storm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆129Sep 16, 2025Updated 9 months ago
- Eth2 light client implementation as a cosmwasm smart contract☆11Nov 24, 2023Updated 2 years ago
- Fuzzinglabs's audits, publications, workshops and reports☆30May 9, 2025Updated last year
- ☆12Nov 3, 2024Updated last year
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆119Nov 13, 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.
- A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…☆45Dec 13, 2024Updated last year
- 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 6 months ago
- Query notifications for balances on wallets with threasholds☆14Nov 17, 2022Updated 3 years ago
- Immunefi Contract DB - Search Bugs☆34Dec 4, 2024Updated last year
- Generate invariants for Foundry projects with LLM☆108Aug 30, 2024Updated last year
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 4 years ago
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated 2 years ago
- Sorry, 0x who?☆38Jul 20, 2022Updated 3 years ago
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆24Nov 29, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A cosmos / interchain blockchain indexer written in Python☆20Aug 4, 2023Updated 2 years ago
- Secure SGX Sidecar for CosmWasm☆63Feb 24, 2026Updated 3 months ago
- Symbolic stack CFG generator for EVM☆191Feb 10, 2025Updated last year
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 3 years ago
- A query suite for common bug patterns in Cosmos SDK-based applications☆31Dec 5, 2023Updated 2 years ago
- block-stm implementation in golang that works with cosmos-sdk☆15Dec 13, 2024Updated last year
- ☆12Dec 18, 2023Updated 2 years ago
- Generate Golang code for your CosmWasm smart contracts.☆26Jul 12, 2024Updated last year
- ☆14Dec 8, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Reproduce ZKP vulnerabilities☆343May 27, 2026Updated 2 weeks ago
- Simple Rust script for finding colliding 4byte function selectors☆59Jun 12, 2023Updated 3 years ago
- Scrapper for Immunefi☆47May 28, 2024Updated 2 years ago
- A smart goto Telescope extension☆11Feb 26, 2024Updated 2 years ago
- A library of blockchain security resources for various categories in blockchain.☆185Apr 16, 2025Updated last year
- Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to t…☆88Updated this week
- Solo High severity findings from contests 2024☆31Dec 23, 2024Updated last year
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆85Apr 6, 2023Updated 3 years ago
- ☆54Jan 10, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆130Aug 19, 2024Updated last year
- Guide to auditing EVM smart contracts using tools☆22Apr 2, 2023Updated 3 years ago
- ☆25Jul 1, 2023Updated 2 years ago
- ☆11Oct 12, 2024Updated last year
- ☆20Jan 24, 2023Updated 3 years ago
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆34Feb 25, 2025Updated last year
- A smart contract security search utility☆76Dec 26, 2024Updated last year