Pinocchio: Nearly Practical Verifiable Computation.

Bryan Parno Craig Gentry Jon Howell Mariana Raykova

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

Keyphrases

database
real world
image processing
object recognition
neural network
computer vision
high quality
lower bound
control system
practical application