Fall 2019

From Holography to Recursive Proofs

Tuesday, September 24th, 2019 2:30 pm3:00 pm

Add to Calendar


Alessandro Chiesa (UC Berkeley)

In this talk we describe a new methodology to efficiently realize recursive composition of succinct non-interactive arguments of knowledge (SNARKs). The methodology leverages a novel connection between holographic proofs and preprocessing SNARKs.