ParentFull threadweb3isgoing·Verifiable computation. See Pinnochio and RISC Zero.https://eprint.iacr.org/2013/279.pdfhttps://www.risczero.com/View on HN