Source Code: Time-Optimal Interactive Proofs for Circuit Evaluation

 

Justin Thaler

Source Code: [zip] (Please read the README file.)

This page 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.

Creative Commons License
This work by Justin Thaler is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License.