Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More | Zero Knowledge | Podwise