Delegation of Computation with Verification Outsourcing Using GENI Infrastructure

In the new cloud computing paradigm, outsourcing computation is a fundamental principle. Among its various aspects, the correctness of the computation result remains paramount. This motivates the birth of verifiable computation, which aims at efficiently checking the result for general-purpose computation. Although significant progress has been made in verifiable computation towards practice, the verifier's workload still remains too high. Only through batching or amortizing the very expensive investment over a large number of computation instances, can the verifiers cost be less than re-computing the computation task from the scratch. In the work of delegation of verification (PODC'13), Xu et al. proposes that the client can also outsource (again) the verification to a third party. However, whether this idea is feasible in large scale network is not clear. In this paper, we propose to adopt the Global Environment for Network Innovation (GENI) infrastructure, which is known as a mature virtual laboratory for exploring future Internet to investigate the feasibility of outsourcing computation/verification in large scale networks.