Quadratic Span Programs and Succinct NIZKs without PCPs.

Rosario Gennaro Craig Gentry Bryan Parno Mariana Raykova

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

Keyphrases

computational complexity
pairwise
automatic programming
data sets
artificial intelligence
image processing
objective function
computer programs
neural network
genetic algorithm
decision making
bayesian networks
control system
probabilistic model
control program