[Resource Topic] 2018/187: Making Groth's zk-SNARK Simulation Extractable in the Random Oracle Model

Welcome to the resource topic for 2018/187

Title:
Making Groth’s zk-SNARK Simulation Extractable in the Random Oracle Model

Authors: Sean Bowe, Ariel Gabizon

Abstract:

We describe a variant of Groth’s zk-SNARK [Groth, Eurocrypt 2016] that satisfies simulation extractability, which is a strong form of adaptive non-malleability. The proving time is almost identical to [Groth] and requires only two additional group operations. Our proof consists of 5 group elements rather than 3 as in [Groth], and the security proof requires the random oracle model.

ePrint: https://eprint.iacr.org/2018/187

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .