Outsourcing Computation: the Minimal Refereed Mechanism

Yuqing Kong, Chris Peikert, Grant Schoenebeck +1

We consider a setting where a verifier with limited computation power delegates a resource intensive computation task---which requires a $T\times S$ computation tableau---to two pr…