Moving toward real-world deployment of FHE
Presentation, NIST Crypto Reading Club, Virtual
I presented on Google’s work toward real-world deployment of FHE, at the NIST Crypto Reading Club. Slides here, recording will be posted once it is uploaded.
Talks and presentations
Fully Homomorphic Encryption - Unlocking the potential of FHE
Presentation, Safer With Google (Google internal security summit), Sunnyvale
Shruthi and I gave a talk at Safer With Google, the Google internal security summit, about our team’s work on making Fully Homomorphic Encryption (FHE) practical. The video and slides are not available to the public, but Googlers can view them at the internal golink: go/swg-summit.
Ask Me Anything: Cryptographers Panel
Presentation, Real World Cryptography 2022, Amsterdam
Video. I sat on an “Ask Me Anything” panel at Real World Crypto 2022 to talk about the relationship between cryptography research and its use in industry, give advice to folks starting out their cryptography career, and to defend the usefulness of blockchains (at least, as a way to fund really cool cryptography research).
Trust Tokens: How Much Do We Trust Them?
Presentation, 0x0G (Google's DEFCON event), Online
Video. This talk is a peek inside the cryptography security review process at Google, looking at the Trust Tokens protocol based on Privacy Pass. I reviewed this protocol before it was deployed, and it is now in use in Google Chrome help Chrome differentiate between bots and real users.
How Bulletproofs Works
Lecture, DEFCON27 Monero Village, Las Vegas, NV
Video and Slides. I talk about how the math behind the Bulletproofs paper works, going through the inner product proof and showing how a range proof can be constructed.
How Zero Knowledge Proofs Work
Presentation, DEFCON27 Crypto Village, Las Vegas, NV
Video. Zero knowledge proofs are powerful tools; come learn about how they work and what they enable! We’ll get down and dirty in the details of Bulletproofs, a zero knowledge proof protocol that doesn’t require trusted setup. I’ll walk you through the math/crypto of Bulletproofs, alongside my open-source implementation in Rust. You’ll walk away with an appreciation for zero knowledge proofs, a deeper understanding of Bulletproofs, and hopefully some interest in tinkering on or building systems with zero knowledge proof protocols yourself!
ZkVM: Fast, Private, Flexible Blockchain Contracts
Research Presentation, ZCon Annual Privacy Conference 2019, Split, Croatia
Video and Slides. In this talk, Oleg and I announce ZkVM, the zero-knowledge virtual machine. ZkVM is an experimental multi-asset blockchain architecture for scalable and confidential smart contracts.
R1CS and Smart Contracts with Bulletproofs
Research Presentation, 2nd ZKProof Workshop, Berkeley CA, USA
Video and Slides. In this talk, I discuss how we implemented the R1CS (rank one constraint system) API for flexibly programming proofs with the Bulletproofs zero knowledge proof system. I also discuss how to build a confidential assets protocol, as well as how to make a usable smart contract language, using that API. This talk is a precursor to the official release of ZkVM, the zero knowledge smart contract language that we developed using these techniques.
TxVM: A New Design for Blockchain Transactions
Research Presentation, Stanford Cyber Initiative, Stanford University
Video and Slides. In this talk, I announce TxVM, a powerful new design for blockchain transactions. TxVM seeks to achieve the expressiveness and flexibility of an imperative contract model such as Ethereum’s while maintaining the efficiency, safety, and scalability of a declarative transaction model such as Bitcoin’s.