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 …☆131Sep 16, 2025Updated last year
- Eth2 light client implementation as a cosmwasm smart contract☆11Nov 24, 2023Updated 2 years ago
- A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…☆47Dec 13, 2024Updated last year
- ☆12Nov 3, 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 9 months 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.
- Fuzzinglabs's audits, publications, workshops and reports☆30May 9, 2025Updated last year
- Query notifications for balances on wallets with threasholds☆14Nov 17, 2022Updated 3 years ago
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆120Nov 13, 2025Updated 10 months ago
- Immunefi Contract DB - Search Bugs☆34Dec 4, 2024Updated last year
- Generate invariants for Foundry projects with LLM☆108Aug 30, 2024Updated 2 years ago
- Sorry, 0x who?☆38Jul 20, 2022Updated 4 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 4 years ago
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆24Nov 29, 2024Updated last year
- A cosmos / interchain blockchain indexer written in Python☆20Aug 4, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated 2 years ago
- Symbolic stack CFG generator for EVM☆190Feb 10, 2025Updated last year
- A query suite for common bug patterns in Cosmos SDK-based applications☆30Dec 5, 2023Updated 2 years ago
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 4 years ago
- block-stm implementation in golang that works with cosmos-sdk☆15Dec 13, 2024Updated last year
- Generate Golang code for your CosmWasm smart contracts.☆25Jul 12, 2024Updated 2 years ago
- Use eth-portfolio to output information about a wallet or collection of wallets in a streamlined, speed-optimized way.☆15Sep 15, 2026Updated last week
- ☆11Dec 18, 2023Updated 2 years ago
- ☆14Dec 8, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Scrapper for Immunefi☆47May 28, 2024Updated 2 years ago
- Simple Rust script for finding colliding 4byte function selectors☆59Jun 12, 2023Updated 3 years ago
- CLI for Managing Smart Contracts☆15Jun 18, 2026Updated 3 months ago
- 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
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆130Aug 19, 2024Updated 2 years ago
- Reproduce ZKP vulnerabilities☆349Aug 19, 2026Updated last month
- ☆24Jul 1, 2023Updated 3 years 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.
- An N-API module to extract version pragma and imports from Solidity sources☆17Jun 7, 2024Updated 2 years ago
- Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.☆25Mar 17, 2026Updated 6 months 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
- ☆19Jan 24, 2023Updated 3 years ago
- ☆93Feb 15, 2021Updated 5 years ago
- Secure SGX Sidecar for CosmWasm☆63Sep 9, 2026Updated 2 weeks ago
- A smart contract security search utility☆77Dec 26, 2024Updated last year