Simulation Extractability in Groth's zk-SNARK.

Shahla Atapoor, Karim Baghery

Browse the full ESORICS paper archive.