How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach.

Markulf Kohlweiss, Mahak Pancholi, Akira Takahashi

Browse the full TCC paper archive.