TY - RPRT TI - Proof of All: Verifiable Computation in a Nutshell AU - Mario Alessandro Barbara PY - 2019 UR - https://arxiv.org/abs/1908.02327 ID - 1908.02327 ER -