Block Programs
Gang Xu, George T. Amariucai, Yong Guan · 2015
In the cloud computing paradigm, clients outsource computation to professional service providers. However, service providers may be error-prone or otherwise not entirely trustworthy, and therefore oftentimes the returned results need to be thoroughly verified. As such, the problem of verifiable computation has been motivating a rapidly-growing body of research, yielding increasingly-efficient systems, which currently achieve nearly-practical verifiable computation. Most recent solutions firstly transform the computation task into an arithmetic circuit, and then based on this circuit they design a verification protocol using argument systems.