Fall 2019

From Holography to Recursive Proofs

Tuesday, Sep. 24, 2019 2:30 pm3:00 pm PDT

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.