building zk proofs @ boundless & risc zero previously shipping protocols @ uniswap labs before that, launched aws data exchange @ aws