Taking proof-based verified computation a few steps closer to practicality

  • Victor Vu
  • Nikhil Panpalia
  • Benjamin Braun
  • Andrew J. Blumberg
  • Michael Walfish

USENIX Security |

Published by USENIX - Advanced Computing Systems Association

We describe GINGER, a built system for unconditional, general-purpose, and nearly practical verification of outsourced computation. GINGER is based on PEPPER, which uses the PCP theorem and cryptographic techniques to implement an efficient argument system (a kind of interactive protocol). GINGER slashes query costs via protocol refinements; broadens the computational model to include (primitive) floating-point fractions, inequality comparisons, logical operations, and conditional control flow; and includes a parallel GPUbased implementation that dramatically reduces latency.