Talks
Fall 2019

From Holography to Recursive Proofs
Tuesday, Sep. 24, 2019 2:30 pm – 3:00 pm PDT
Speaker:
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.