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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 59; no. 2; pp. 103 - 113
Autores principales:	Parno, Bryan, Howell, Jon, Gentry, Craig, Raykova, Mariana
Formato:	Artículo
Publicado:	Association for Computing Machinery Feb2016
Materias:	Verification of computer systems Contracting out Public key cryptography Industrial efficiency Zero-knowledge proofs Compilers (Computer programs)
Acceso en línea:	Ver este registro en EBSCOhost