Cover Image
QR Code

Pinocchio: Nearly Practical Verifiable Computation.

To instill greater confidence in computations outsourced to the cloud, clients should be able to verify the correctness of the results returned. To this end, we introduce Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions. With Pi...

Full description

Published in:Communications of the ACM Vol. 59; no. 2; pp. 103 - 113
Main Authors: Parno, Bryan, Howell, Jon, Gentry, Craig, Raykova, Mariana
Format: Article
Published: Association for Computing Machinery Feb2016
Subjects:
Verification of computer systems
Contracting out
Public key cryptography
Industrial efficiency
Zero-knowledge proofs
Compilers (Computer programs)
Online Access:View this record in EBSCOhost