I joined Novi in July 2020. Before that I worked with the Ethereum Foundation in the area of zero-knowledge proofs, specifically focusing on making STARK-based systems more accessible to regular developers. I am the author of AirScript and AirAssembly languages, and also built a zero-knowledge virtual machine called Distaff. Prior to this, I was a founder and CTO of a small startup (Credo360) aiming to develop a universal reputation system. I have a CS degree from the University of California, San Diego, and an MBA from the University of Chicago.
Proofs of computational integrity, programming languages, privacy-preserving smart contracts