Special Soundness and Binding Properties: A Framework for Tightly Secure zk-SNARKs.

Erki Klaots, Helger Lipmaa, Roberto Parisella, Janno Siim

Browse the full EuroCrypt paper archive.