Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present Ouroboros Crypsinous, the first formally analyzed privacy-preserving proof-of-stake blockchain protocol. To model its security we give a thorough treatment of private ledgers in the (G)UC setting that might be of independent interest. To prove our protocol secure against adaptive attacks, we introduce a new coin evolution technique relying on SNARKs, and key-private forward-secure encryption. The latter primitive—and the associated construction—can be of independent interest. We stress that existing approaches to private blockchain, such as the proof-of-work-based Zerocash are analyzed only against static corruptions.
Original languageEnglish
Title of host publication2019 IEEE Symposium on Security and Privacy (SP)
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages157-174
Number of pages18
ISBN (Electronic)978-1-5386-6660-9
ISBN (Print)978-1-5386-6661-6
DOIs
Publication statusPublished - 16 Sep 2019
Event40th IEEE Symposium on Security and Privacy - San Francisco, United States
Duration: 20 May 201922 May 2019
https://www.ieee-security.org/TC/SP2019/

Publication series

Name
PublisherInstitute of Electrical and Electronics Engineers
ISSN (Print)1081-6011
ISSN (Electronic)2375-1207

Conference

Conference40th IEEE Symposium on Security and Privacy
Abbreviated titleIEEE SSP 2019
CountryUnited States
CitySan Francisco
Period20/05/1922/05/19
Internet address

Fingerprint Dive into the research topics of 'Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake'. Together they form a unique fingerprint.

Cite this