Selected engagements

QEDIT — Independent security review of Ragu, the proof-carrying-data scheme underlying Tachyon in the Zcash ecosystem.

Design of Zcash Shielded Assets and protocol extensions — asset swaps and transaction controls — as part of the QEDIT team.

Osmosis & Flashbots — Research on mempool privacy treating it as a mechanism-design problem, not only a cryptographic one. Supported by Osmosis and Flashbots.

Clearmatics — Designed the protocol, headed the formal specification and led the implementation of Zeth, bringing Zerocash-grade privacy to Ethereum using zk-SNARKs.