Proof of All: Verifiable Computation in a Nutshell

Mario Alessandro Barbara

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 year…