A Survey of Circuit Languages [slides]

• ZK Language Rundown
• ZK Summit Language

CirC: Common Infrastructure for Circuit Compilation

• Stanford Software Lunch, 15 October 2020
• SRI CSL Seminar 2021, 28 January 2020
• UCSD Security Seminar, 26 April 2020

Scaling Verifiable Computation Using Efficient Set Accumulators [slides]

• USENIX Seurity 2020, 14 August 2020
• MIT Security Seminar, 13 August 2020
• Stanford Software Lunch, 30 January 2020
• Stanford Security Lunch, 2 October 2019

DRAT-based Bit-Vector Proofs in CVC4

• SAT 2019, 10 July 2019
• Stanford Software Lunch, 13 June 2019