Research Engineer building MakerDAO's oracles at Chronicle Protocol.
c4audit: Static analyzer for Solidity contracts based on regular expressions.
elastic-receipt-token: An ERC20 receipt token that rebases its supply continuously to a supply target while being non-dilutive.
TSOwnable-Huff: A Two-Step Transfer Ownable contract written in Huff.
ampleforth-property-tests: A project to collect and test properties of Ampleforth's AMPL token.
Entering the Huff Ecosystem: Introduces the new Huff programming language's ecosystem and libraries, and thoroughly explains the development process and functionality of a non-trivial Huff contract.
Ampleforth is Hayek Money: Summarizes the concept of Hayek Money and argues that the AMPL token operated by the Ampleforth protocol is a Hayek Money.
Rugging ERC20 Allowances via Permit2: Introduces a new rug vector to steal Permit2 allowances via sandwich
selfdestruct-ing and redeploying the token.
Introduction to solmate: Walks through some
solmatecontracts, overflows its ERC20 implementation, and explains the assembly in