Accession Number:

AD1024617

Title:

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

Descriptive Note:

Technical Report

Corporate Author:

TEXAS UNIV AT AUSTIN AUSTIN United States

Report Date:

2012-06-27

Pagination or Media Count:

25.0

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.

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE