acm-header
Sign In

Communications of the ACM

Latest Research


Latest Research Research Archive Refine your search:
subjectComputer Applications
author Jon Howell

Pinocchio
From Communications of the ACM

Pinocchio: Nearly Practical Verifiable Computation

We introduce Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account