Paper 2021/1554
How to Claim a Computational Feat
Clémence Chevignard, Rémi Géraud-Stewart, Antoine Houssais, David Naccache, and Edmond de Roffignac
Abstract
Consider some user buying software or hardware from a provider. The provider claims to have subjected this product to a number of tests, ensuring that the system operates nominally. How can the user check this claim without running all the tests anew?
The problem is similar to checking a mathematical conjecture. Many authors report having checked a conjecture
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- Preprint. MINOR revision.
- Keywords
- proof of workhashing
- Contact author(s)
- david naccache @ ens fr
- History
- 2021-11-29: received
- Short URL
- https://ia.cr/2021/1554
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2021/1554, author = {Clémence Chevignard and Rémi Géraud-Stewart and Antoine Houssais and David Naccache and Edmond de Roffignac}, title = {How to Claim a Computational Feat}, howpublished = {Cryptology {ePrint} Archive, Paper 2021/1554}, year = {2021}, url = {https://eprint.iacr.org/2021/1554} }