Making Groth's zk-SNARK Simulation Extractable in the Random Oracle Model.

Sean Bowe Ariel Gabizon

Published in: IACR Cryptol. ePrint Arch. (2018)

Keyphrases

mathematical model
computational model
formal model
high level
probabilistic model
conceptual model
bayesian networks
simulation environment
simulation data
collaborative filtering
theoretical analysis
statistical model
simulation study
simulation model
analytical model