Research Presentations

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