Taking Proof based Verified Computation a Few Steps Closer to Practicality (extended version)

Abstract

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 the query size and costs via theoretical refinements that are of independent interest; broadens the computational model to include (primitive) floating-point fractions, inequality comparisons, logical operations, and conditional control flow; and includes a parallel GPU-based implementation that dramatically reduces latency.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 27, 2012
Accession Number
AD1024617

Entities

People

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

Organizations

  • University of Texas at Austin

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Arithmetic
  • Case Studies
  • Coding
  • Compilers
  • Computations
  • Computer Programming
  • Computer Programs
  • Computers
  • Consistency
  • Cost Models
  • Cryptography
  • Notation
  • Probability
  • Random Variables
  • Rational Numbers
  • Standards

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Distributed Systems and Data Platform Development
  • Mathematical Modeling and Probability Theory.