Applied Advanced Cryptography Series

Introduction to verifiable computing, part 2

11th March 2021, 14:00 add to calender
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.
add to calender (including abstract)