Research Engineer building MakerDAO's oracles at Chronicle Labs.
crysol:
Collection of pure Solidity libraries providing elliptic curve cryptography for on- and
offchain operations.
scribe:
Extremely performant EVM oracle utilizing aggregated Schnorr signatures.
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 solmate contracts, overflows its ERC20 implementation, and
explains the assembly in SafeTransferLib.
garden.