You are looking at a specific version 20200621:174330 of this paper.
See the latest version.
Paper 2020/758
Verifiable state machines: Proofs that untrusted services operate correctly
Srinath Setty and Sebastian Angel and Jonathan Lee
Abstract
This article describes recent progress in realizing verifiable state machines, a primitive that enables untrusted services to provide cryptographic proofs that they operate correctly. Applications of this primitive range from proving the correct operation of distributed and concurrent cloud services to reducing blockchain transaction costs by leveraging inexpensive off-chain computation without trust.
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- Preprint. MINOR revision.
- Keywords
- verifiable state machinesSNARKszero-knowledge
- Contact author(s)
- srinath @ microsoft com
- History
- 2020-09-02: revised
- 2020-06-21: received
- See all versions
- Short URL
- https://ia.cr/2020/758
- License
-
CC BY
