VeRSA
Nirvan Tyagi, Ben Fisch, Andrew Zitek, Joseph Bonneau, Stefano Tessaro
2022Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security16 citationsDOI
Abstract
Verifiable registries allow clients to securely access a key-value mapping maintained by an untrusted server. Registries must be audited to ensure global invariants are preserved, which, in turn, allows for efficient monitoring of individual registry entries by their owners. To this end, existing proposals either assume trusted third-party auditors or rely on incrementally verifiable computation (IVC) via expensive recursive SNARKs to make registries client-auditable.
Topics & Concepts
Verifiable secret sharingComputer scienceAuditComputer securityKey (lock)AccountingBusinessProgramming languageSet (abstract data type)Cryptography and Data SecurityCloud Data Security SolutionsSecurity and Verification in Computing