Proof of All: Verifiable Computation in a Nutshell

08/06/2019
by   Mario Alessandro Barbara, et al.
0

Recent advances in the cryptographic field of "Zero-Knowledge Proofs" have sparked a new wave of research, giving birth to many exciting theoretical approaches in the last few years. Such research has often overlapped with the need for private and scalable solutions of Blockchain-based communities, resulting in the first practical implementations of such systems. Many of these innovative constructions have developed in parallel, using different terminologies and evolving into a fragmented ecosystem, calling for their consolidation into the more stable domain of "Verifiable Computation". In this master thesis I propose a unifying Verifiable Computation model for the simplification and efficient comparison of all cryptographic proof systems. I take advantage of this model to analyse innovative technologies (Homomorphic Authenticators, Verifiable Delay Functions) which developed into their own specialised domains, and I attempt to make them more accessible for newcomers to the field. Furthermore, I expand on the future of Verifiable Computation, Universal proof compilers and "Proofs of All", by approaching the state-of-the-art zk-STARK construction from a more accessible and informal design perspective.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

09/29/2021

A verified algebraic representation of Cairo program execution

Cryptographic interactive proof systems provide an efficient and scalabl...
07/15/2019

A Survey on Zero Knowledge Range Proofs and Applications

In last years, there has been an increasing effort to leverage Distribut...
08/13/2021

Time Transitive Functions for Zero Knowledge Proofs

Verifiable delay functions have found a lot of applications in blockchai...
05/26/2020

zkSNARKs to the rescue: proof-of-contact in zero knowledge

This paper describes techniques to help with COVID-19 automated contact ...
08/07/2020

A Historical Account of My Early Research Interests

This paper presents a brief account of some of the my early research int...
05/26/2020

SNARKs to the rescue: proof-of-contact in zero knowledge

This paper describes techniques to help with COVID-19 automated contact ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.