rappie / echidna-curve-reentrancy-hack
Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
☆27Updated 7 months ago
Alternatives and similar repositories for echidna-curve-reentrancy-hack:
Users that are interested in echidna-curve-reentrancy-hack are comparing it to the libraries listed below
- Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.☆17Updated last year
- ☆10Updated 9 months ago
- A datasette dashboard and source code downloader for Immunefi bug bounty data☆29Updated last month
- Quickly open your favorite Web IDE to review the selected smart contract codebase☆30Updated 10 months ago
- Foundry + Yul puzzles☆32Updated last year
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 2 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆53Updated 5 months ago
- ☆21Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆48Updated last week
- ☆26Updated 3 months ago
- ☆48Updated last year
- ☆18Updated this week
- List of the public smart contract audit reports and security reviews performed by Hexens.☆32Updated 2 weeks ago
- ☆47Updated 11 months ago
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆23Updated 8 months ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆28Updated 11 months ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- ☆29Updated last year
- CTF Writeups☆37Updated last year
- Publicly available audits and bug reports☆12Updated 3 weeks ago
- Checklist for security audit of ZKP projects by @positivesecurity☆31Updated 5 months ago
- ☆11Updated 3 months ago
- Automates the verification of Solidity tests written using BTT technique☆18Updated 5 months ago
- Example of the whitehack for Curve exploit 30/07/23☆19Updated last year
- Novel and informative web3 security talks☆18Updated 2 years ago
- Web3.0 Audit Resources and Competition Materials☆18Updated last week
- A general purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆32Updated this week