Biography

Some of my academic work and talks.

Talks

• Revisiting the Nova Proof System on a Cycle of Curves (Privacy Scaling Explorations, ZKSummit10)

2023

• Revisiting the Nova Proof System on a Cycle of Curves (eprint, ZK Attack of the Year)
• MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups (eprint)

2021

• Efficient Functional Commitments: How to Commit to Private Functions (eprint)
• An Empirical Analysis of HTTPS Configuration Security (arxiv)