- Lead product for zkVerify, a modular blockchain for zero-knowledge proof verification, from genesis through mainnet launch in September 2025 — 5 mainnet chains (Arbitrum One, Base, OP Mainnet, Apechain, Horizen), 9 supported proof systems, ecosystem of 50+ projects including Galxe, Space and Time, Midnight, zkPass. 45M+ proofs verified and ~90% cost reduction versus L1 verification, where a single ZK proof on Ethereum consumes 200,000–300,000 gas.
- Designed the VFY tokenomics with Delphi Digital as consulting partner — supply, emissions, staking, and the proof-aggregation fee model.
- Prioritized native STARK verification (Risc0, SP1) over the market-default Groth16 — betting on post-quantum resistance and elimination of trusted setup — which also removes the groth16-wrapping step that adds latency for most zkVMs.
- Shipped UltraHonk support via runtime upgrade. Honk verification runs ~2.4M gas on EVM (6–7x Groth16), so zkVerify is where it becomes economically viable to verify at scale.
- Lead product for Vela, a confidential-compute layer on Horizen, and drove the open-source release at github.com/horizenofficial/vela (Go + Solidity, 1,281 commits) to commercialize it for AI verification — where TEEs are currently winning against ZK on inference cost.
- Repositioned Agent Registry from a ZK-only AI-agent registry to managed AI-agent infrastructure (ZK as an option, not a requirement). Manage a team of up to 7 product managers and a 15-person engineering org.
- Built 10 working zero-knowledge demos in 2 weeks using AI-assisted development (Gemini + Circom, later Risc0 zkVM), identifying a 30-second proof-verification latency that made real-time gameplay unusable, then pivoted to optimistic verification and cut it to milliseconds — published as a 10-post engineering series on zkverify.io and a bylined crypto.news op-ed.
- Led the strategic transition away from Horizen EON toward a dedicated ZK verification product: ran the framework selection across proof systems, runtime choices, and consensus models, and drove the prototyping process that produced zkVerify's architecture.
- Built the early testnet adoption playbook: designed the incentivized testnet program, recruited the first cohort of external verifiers, and established the engagement metrics (proofs submitted, unique verifiers, time-to-first-verify) that later carried into the mainnet product.
- Managed a small product team through the EON wind-down and token migration: defined the deprecation timeline, set the developer-communication plan, and preserved the relationships that mattered for the transition to the new product.
- Led product for Horizen EON, an EVM-compatible sidechain productized from the company's sidechain SDK — including ERC-20 token tooling and developer SDKs. Co-led EON's transition to Base in 2025.
- Co-originated zkVerify on the hypothesis that zk-rollups were paying substantial, volatile costs to verify proofs on Ethereum L1 (200,000–300,000 gas per proof, up to 100x a standard transfer). Made the case to the CEO to redirect the company from a crowded EVM market toward dedicated ZK verification. That redirection became zkVerify.
- Launched ApeCoin (APE) with Yuga Labs as contracting partner — co-designed the DAO, tokenomics, airdrop, and ERC-20 contract.
- Drove product for the Horizen sidechain SDK, the developer toolkit that later became the foundation for Horizen EON.