rappie / echidna-rari-hack
Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna
☆12Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for echidna-rari-hack
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- Learn Huff through annotated examples.☆31Updated 2 years ago
- public repo of research☆22Updated last week
- Storage Slot Math Begone (Beta)☆24Updated last year
- ☆25Updated 2 years ago
- ☆17Updated 3 months ago
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- Starport is a kernel for building lending protocols☆24Updated 5 months ago
- Gas-Efficient Solidity DateTime Library☆20Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆21Updated 2 years ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Updated last year
- ☆41Updated last year
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆23Updated 5 months ago
- ☆59Updated last month
- gas comparisons between vyper and solady☆20Updated 2 months ago
- Experimental variations for a Median Price Oracle with Uni v4☆15Updated last year
- Helpers for deploying smart contracts to multiple chains with CREATE2☆50Updated 2 months ago
- Extensive Tests with the Forge Standard Library,☆20Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- An open simulation for Uniswap V3 contracts☆35Updated last month
- ☆50Updated last year
- Tokemak vote bribing☆16Updated 2 years ago
- ☆54Updated 2 years ago
- A template for projects writting smart contracts that use vulcan for testing☆30Updated last year
- Uniswap V4 Huff Hooks☆40Updated last year
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated last year
- ☆28Updated last year
- Solidity counter type that bypasses checked arithmetic☆12Updated last year
- Simulate VRGDAs in your browser. Perfect for prototyping and use with tabletop games.☆29Updated 2 years ago