Some of things I've worked on and fun times!
- Audited for Maker, Sommelier, TreasureDAO, Vyper and other reputable teams.
1. Maker
- Audited the first version of Smart Burn Engine
- Audit report and statisitical assumption check report
2. Sommelier
- $60MM TVL at one point
- Cellar contracts; 3 high, 9 medium, 4 low.
- Cellar contracts and defi protocol integrations; 5 high, 8 medium, 2 low.
- Euler integration contracts; 2 high.
3. Thirdweb
1. Contributions to Dark.fi
a. Zkrunner
- To accelerate Darkfi ZK script developer's iteration speed, Darkfi needed a tool to generate a ZK proof's public inputs based on input witnesses, and a way to quickly prove and verify with a Darkfi ZK circuit.
- I contributed the Python bindings (1,2) for Darkfi's SDK
- With others' contributions, it led to this demo on Twitter.
b. Proof of concept to enable runtime parameters
- This is a proof of concept to take Etheruem Foundation's Privacy Exploration and Scaling Group's work on their Halo2 fork to apply to Darkfi's Halo2 fork.
- The purpose is to allow Darkfi ZK circuit developer to accept additional arguments at runtime to configure their circuit.
2. Emap, minimal name service on EVM
- It is a name service that supports forward name resolution (going from name to resources) and backward name resolution (going from resources to name) in less than 200 lines of code in order to maximize auditability and security.
- A fork of DappHub's Dmap which is optimized to be as minimal as possible in implementation.
- Led backoffice automation; $2MM/yr saving in operational cost per year.
- Led recommendation product for amazon.com; $10MM+/yr profitability lift in pilot.