Introduction to verifiable computing, part 1

25^th February 2021, 14:00 Microsoft Teams
Alexei Lisitsa
University of Liverpool

Abstract

Many recent cloud and cryptocurrency applications rely on verifying the outsourced computations, in which one party can verify the correctness of a computation made by another, generally untrusted party. As the computation, in general, may include some private inputs, the verifiable computing (VC) is related to both zero-knowledge proofs and secure multi-party computations.
I will introduce the general principles of verifiable computing, overview recent developments and some practical implementations, including Pinnocchio and xJsnark.