Verifiable computing
Verifiable computing (or verified computation or verified computing) enables a computer to offload the computation of some function, to other perhaps untrusted clients, while maintaining verifiable results. The other clients evaluate the function and return the result with a proof that the computation of the function was carried out correctly. The introduction of this notion came as a result of the increasingly common phenomenon of "outsourcing" computation to untrusted users in projects such as SETI@home and also to the growing desire of weak clients to outsource computational tasks to a more powerful computation service like in cloud computing. The concept dates back to work by Babai et al., and has been studied under various terms, including "checking computations" (Babai et al.), "dele
known for
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
Verifiable computing
Verifiable computing (or verified computation or verified computing) enables a computer to offload the computation of some function, to other perhaps untrusted clients, while maintaining verifiable results. The other clients evaluate the function and return the result with a proof that the computation of the function was carried out correctly. The introduction of this notion came as a result of the increasingly common phenomenon of "outsourcing" computation to untrusted users in projects such as SETI@home and also to the growing desire of weak clients to outsource computational tasks to a more powerful computation service like in cloud computing. The concept dates back to work by Babai et al., and has been studied under various terms, including "checking computations" (Babai et al.), "dele
has abstract
Verifiable computing (or verif ...... ali's "certified computation".
@en
В криптографии протокол провер ...... (англ. Bryan Parno) в статье.
@ru
Link from a Wikipage to an external page
Wikipage page ID
33,843,979
page length (characters) of wiki page
Wikipage revision ID
991,618,619
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
Verifiable computing (or verif ...... tations" (Babai et al.), "dele
@en
В криптографии протокол провер ...... акая, как облачные вычисления.
@ru
label
Verifiable computing
@en
Протокол проверяемых вычислений
@ru