Source Code: Time-Optimal Interactive Proofs for Circuit Evaluation
Source Code: [zip] (Please
read the README file.)
contains source code for the paper Time-Optimal Interactive Proofs for Circuit Evaluation
, by Justin Thaler.
I intend to
maintain this code indefinitely.
This page was
last updated on February 6, 2013.
This work by Justin Thaler is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License.