Proof of All: Verifiable Computation in a Nutshell. - Mario Alessandro Barbara (CoRR, 2019)