Smart Contract Development & Security
Chainlink-native development. Security-first engineering. Invariant testing, formal verification, and mutation testing as standard.
Selected Work
Yieldcoin v2
Production cross-chain USDC yield optimizer operating across 6 mainnets.
Yieldcoin v1
Hackathon-winning prototype of a cross-chain yield optimizer.
SBT
Admin-controlled membership token for DAOs.
Testimonials
"Not just the idea, but the implementation, everything across the board — everyone was super impressed."
"The code has been written very defensively and professionally to a very high standard. Similarly the test suite contains unit tests, invariant fuzz tests and certora formal verification specifications. [He] has really done an amazing job of hardening their code as much as possible prior to external audit and should be commended."
"Load-bearing security documentation. The strongest encountered on a first external audit."
Media
Thinking in Invariants
SmartCon · 2025
Let's Work Together
Looking for a Chainlink-native smart contract developer with a security-first approach? Get in touch.