Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More
Zero Knowledge
00:00
Garuda and Parry: bypassing the barrier
Pratyush explains using the random oracle and PIOPP+PC approach to achieve much smaller proof sizes in Pari and Garuda.
Play episode from 16:49
Transcript
