![Proofs, Consensus, and Decentralizing Society_hi-res logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-01/Proofs%2C%20Consensus%2C%20and%20Decentralizing%20Society_hi-res.png.jpg?itok=gluZ2qCs)
Abstract
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.