Rappie's repositories
book
A book on all things Foundry, available at https://book.getfoundry.sh.
echidna-curve-reentrancy-hack
Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
rappie
Rappie's Github Profile
echidna-rari-hack
Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna
origin-oeth-fuzzing-recontest
Fuzzing campaign for https://github.com/OriginProtocol/origin-dollar
origin-dollar
OUSD and OETH are stablecoins that passively accrue yield while you are holding it
origindollar-fuzzing-public
OUSD Fuzzing Campaign
vertigo-rs
Mutation Testing for Ethereum Smart Contracts, support for Foundry
org-mode
This is a MIRROR only, do not send PR.
crytic-compile
Abstraction layer for smart contract build systems
kanata
Improve keyboard comfort and usability with advanced customization
halmos
Symbolic bounded model checker for Ethereum smart contracts
damn-vulnerable-defi-echidna
The offensive security playground for the decentralized finances.
diffusc
Experimental tool to ease the review of smart contracts upgrades
evil-org-mode
Supplemental evil-mode keybindings to emacs org-mode
ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
git-playground
Playground to learn Git commands
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
smart-contract-EVM
Smart contract for JOJO Exchange (EVM version)
building-secure-contracts
Guidelines and training material to write secure smart contracts
LiquidityTree
"segment tree" approach for accounting additions and withdrawals liquidity and fair profit/loose distribution
echidna-flashloan-poc
Flash loan fuzzing POC (WIP)