Hacker News new | ask | show | jobs
by web3isgoing 1301 days ago
Verifiable computation. See Pinnochio and RISC Zero.

https://eprint.iacr.org/2013/279.pdf

https://www.risczero.com/