Paper Info
Title
Verifiable state machines: Proofs that untrusted services operate correctly
Abstract
AbstractThis 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.
Year
DOI
Venue
2020
10.1145/3421473.3421479
SIGOPS
DocType
Volume
Issue
Journal
54
1
ISSN
Citations 
PageRank 
0163-5980
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Srinath T. V. Setty138416.40
Sebastian Angel2318.25
Jonathan Lee37016.21