MrToph / replaying-ethereum-hacksView external linksLinks
☆195Nov 5, 2021Updated 4 years ago
Alternatives and similar repositories for replaying-ethereum-hacks
Users that are interested in replaying-ethereum-hacks are comparing it to the libraries listed below
Sorting:
- POC for DeFi Vulnerabilities☆200Aug 28, 2022Updated 3 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Dec 20, 2022Updated 3 years ago
- ☆91Feb 15, 2021Updated 5 years ago
- ☆18Feb 7, 2021Updated 5 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆46Sep 8, 2021Updated 4 years ago
- Semgrep rules for smart contracts based on DeFi exploits☆707Jun 2, 2025Updated 8 months ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- Official repository for Paradigm CTF 2021☆543Aug 17, 2022Updated 3 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆18Jul 1, 2024Updated last year
- the magic X-ray machine for solidity smart contracts☆173Feb 2, 2022Updated 4 years ago
- The weiroll virtual machine☆430Sep 27, 2022Updated 3 years ago
- RopstenCtf is an easy tool to interact with the ethereum ropsten network for ctf purpose and more.☆17Jul 18, 2022Updated 3 years ago
- An interactive Solidity Shell☆541May 28, 2023Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆96Jul 20, 2022Updated 3 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- Cross chain call library for Solidity☆81Jul 12, 2022Updated 3 years ago
- ☆120Oct 30, 2021Updated 4 years ago
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆239Feb 2, 2022Updated 4 years ago
- Syntax files for Yul☆18Jun 27, 2021Updated 4 years ago
- Using various tools to rediscover popsicle exploit☆15Mar 10, 2022Updated 3 years ago
- Materials related to security: docs, checklists, processes, etc...☆203Updated this week
- ☆119Mar 20, 2024Updated last year
- Smart Contract Vulnerabilities (SCV) List☆507Aug 22, 2023Updated 2 years ago
- Website for the Underhanded Solidity Contest☆168Nov 22, 2024Updated last year
- Smart Contract Weakness Classification and Test Cases☆897Aug 6, 2024Updated last year
- Puzzles used in the 2022 Paradigm CTF☆391Sep 16, 2022Updated 3 years ago
- Standard Exit Format for L2s built on EVM chains☆17Jul 16, 2024Updated last year
- Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in…☆102Jul 19, 2022Updated 3 years ago
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- ☆51Nov 11, 2020Updated 5 years ago
- Practical tutorials of Certora Prover☆241Sep 27, 2023Updated 2 years ago
- A simple contract to accurately measure gas consumption of contract calls☆20May 3, 2024Updated last year
- Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.☆2,168Jun 22, 2025Updated 7 months ago
- Python package with core transaction decoding functions.☆458Nov 28, 2024Updated last year
- Ethereum Smart Contract starting template☆106Jul 19, 2023Updated 2 years ago
- Forkable template to get you started with Foundry's Forge☆411Feb 16, 2024Updated 2 years ago
- evm toolkit☆359Jun 21, 2024Updated last year
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Feb 13, 2022Updated 4 years ago
- Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other E…☆54Dec 27, 2024Updated last year