BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260726T014713Z
UID:Seminar-AAC-990@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Alexei Lisitsa:MAILTO:A.Lisitsa@liverpool.ac.uk
DTSTART:20210311T140000
DTEND:20210311T150000
SUMMARY:Applied Advanced Cryptography Series
DESCRIPTION:Alexei Lisitsa: Introduction to verifiable computing, part 2 \n\nMany 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.  \n\nI will introduce the general principles of verifiable computing, overview recent developments and  some practical implementations, including Pinnocchio and xJsnark.  \n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=990
LOCATION:
END:VEVENT
END:VCALENDAR