VerSum: Verifiable Computations over Large Public Logs
VerSum allows lightweight clients to outsource expensive computations over large and frequently changing data structures, such as the Bitcoin or Namecoin blockchains, or a Certificate Transparency log. VerSum clients ensure that the output is correct by comparing the outputs from multiple servers. V...
Main Authors: | van den Hooff, Jelle, Kaashoek, M. Frans, Zeldovich, Nickolai |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | en_US |
Published: |
Association for Computing Machinery (ACM)
2015
|
Online Access: | http://hdl.handle.net/1721.1/100450 https://orcid.org/0000-0003-0238-2703 https://orcid.org/0000-0001-7098-586X https://orcid.org/0000-0003-3438-4711 |
Similar Items
-
Extracting and Optimizing Formally Verified Code for Systems Programming
by: Ioannidis, Eleftherios, et al.
Published: (2020) -
Verifying concurrent, crash-safe systems with Perennial
by: Chajed, Tej, et al.
Published: (2021) -
Argosy: verifying layered storage systems with recovery refinement
by: Chajed, Tej, et al.
Published: (2021) -
Grove: a Separation-Logic Library for Verifying Distributed Systems
by: Sharma, Upamanyu, et al.
Published: (2023) -
Vuvuzela: scalable private messaging resistant to traffic analysis
by: van den Hooff, Jelle, et al.
Published: (2015)