rappie / echidna-rari-hack
Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna
☆13Updated 8 months ago
Alternatives and similar repositories for echidna-rari-hack:
Users that are interested in echidna-rari-hack are comparing it to the libraries listed below
- Starport is a kernel for building lending protocols☆24Updated 8 months ago
- A tool for quickly collecting function selectors and decoding signatures from on-chain EVM bytecode.☆54Updated 2 weeks ago
- Learn Huff through annotated examples.☆31Updated 2 years ago
- ☆41Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- public repo of research☆22Updated 3 months ago
- A contract for selling NFTs in an exponential price decay auction☆39Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- ☆54Updated 2 years ago
- Huff language implementation of popular (and unpopular) solidity libraries and contracts.☆18Updated last year
- ☆58Updated last year
- Rust bindings for Solidity's AST and visitors☆50Updated last year
- ☆41Updated 2 years ago
- ☆38Updated last year
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated last year
- gas comparisons between vyper and solady☆20Updated 5 months ago
- ☆62Updated 2 months ago
- ☄️ A toy implementation of the EVM from scratch using Rust.☆36Updated last year
- ☆51Updated last year
- Overview of Blockspace its demand, pricing, and trading☆49Updated 2 years ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Updated last year
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 5 months ago
- Contract for Smart Cars in the 0xmonaco challenge from Paradigm CTF 2022☆45Updated 2 years ago
- ☆31Updated last year
- ☆29Updated last year
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30Updated 2 years ago
- ☆17Updated 6 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- ☆17Updated 6 months ago
- Complex numbers for Solidity☆53Updated last year