Welcome to the resource topic for 2020/758
Title:
Verifiable state machines: Proofs that untrusted services operate correctly
Authors: Srinath Setty, Sebastian Angel, 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.
ePrint: https://eprint.iacr.org/2020/758
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .