A survey of SNARKs (Succinct Non-interactive Argument of Knowledge) with Justin Thaler (Georgetown University). SNARKs are an important cryp
Broadly interested in algorithms and computational complexity, primarily focusing on the following three research goals