I make hard systems usable. ZK applications in TypeScript. Agents that leave evidence. Infrastructure you can inspect instead of trust.
Now
- o1Labs Engineering Team Lead for o1js, 2024–present. Bangkok, remote.
- Board & advising Employee director on the o1Labs board. Advisor at Zeko.
Work
- o1js The TypeScript SDK Mina developers actually write against. Circuits in a language they already know, proofs underneath.
- TRACE Evidence of what an agent did, under which constraints, in a form another party can check.
- Code Airlock A coding agent in a disposable microVM. You review ordinary Git commits. The host stays yours.
About
The work that stuck has always had the same shape. Sit between a difficult idea and the people who have to use it. A proving stack. An SDK. A sandbox around a coding agent. The unglamorous layer that makes the rest possible.
I want systems you can inspect. Proofs instead of promises. Traces instead of logs. If you cannot see what happened, it does not belong in production.
Also
- o1js: A Developer-Friendly Path to Zero-Knowledge Applications FOSSASIA Summit, Bangkok
- Zero-Knowledge Application Patterns India Blockchain Week
- Privacy is Becoming Non-Negotiable Substack
- Introducing o1js v2 o1Labs blog