blog post image
08 Dec

Verifiable computing

Verifying computation by potentially un-trusted parties

Verifiable computing is the offloading of computation of some function(s) to another potentially un-trusted party while maintaining that the computation was done correctly. It enables the verification of correctness of a program’s execution on public and private inputs. There are two suitable situations for verifiable computation:

Read More