ParentFull threaditwasntandy·Indeed. I saw a brilliant presentation in 2012 by Michael Mitzenmacher from Harvard on verifiable computing in the cloud. It was based on this paper:https://arxiv.org/pdf/1202.1350v3.pdfView on HN