Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake

Thomas Kerber; Aggelos Kiayias; Markulf Kohlweiss; Vassilis Zikas

doi:10.1109/SP.2019.00063

Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake

Thomas Kerber, Aggelos Kiayias, Markulf Kohlweiss, Vassilis Zikas

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

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 language	English
Title of host publication	2019 IEEE Symposium on Security and Privacy (SP)
Publisher	Institute of Electrical and Electronics Engineers
Pages	157-174
Number of pages	18
ISBN (Electronic)	978-1-5386-6660-9
ISBN (Print)	978-1-5386-6661-6
DOIs	https://doi.org/10.1109/SP.2019.00063
Publication status	Published - 16 Sept 2019
Event	40th IEEE Symposium on Security and Privacy - San Francisco, United States Duration: 20 May 2019 → 22 May 2019 https://www.ieee-security.org/TC/SP2019/

Publication series

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

Conference

Conference	40th IEEE Symposium on Security and Privacy
Abbreviated title	IEEE SSP 2019
Country/Territory	United States
City	San Francisco
Period	20/05/19 → 22/05/19
Internet address	https://www.ieee-security.org/TC/SP2019/

Access to Document

10.1109/SP.2019.00063Licence: All Rights Reserved

Ouruboros Crypsinous - Privacy-Preserving Proof-of-StakeAccepted author manuscript, 593 KBLicence: All Rights Reserved

https://ieeexplore.ieee.org/document/8835272Licence: All Rights Reserved

PRIViLEDGE: Privacy in Distributed Ledgers
Kiayias, A.
EU government bodies
1/01/18 → 30/06/21
Project: Research

Aggelos Kiayias
- akiayiasinf.ed.acuk
- School of Informatics - Chair in Cyber Security and Privacy
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active

Cite this

@inproceedings{c1484e1388ce4fe58101414f0a60607a,

title = "Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake",

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.",

author = "Thomas Kerber and Aggelos Kiayias and Markulf Kohlweiss and Vassilis Zikas",

year = "2019",

month = sep,

day = "16",

doi = "10.1109/SP.2019.00063",

language = "English",

isbn = "978-1-5386-6661-6",

publisher = "Institute of Electrical and Electronics Engineers",

pages = "157--174",

booktitle = "2019 IEEE Symposium on Security and Privacy (SP)",

note = "40th IEEE Symposium on Security and Privacy, IEEE SSP 2019 ; Conference date: 20-05-2019 Through 22-05-2019",

url = "https://www.ieee-security.org/TC/SP2019/",

}

TY - GEN

T1 - Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake

AU - Kerber, Thomas

AU - Kiayias, Aggelos

AU - Kohlweiss, Markulf

AU - Zikas, Vassilis

PY - 2019/9/16

Y1 - 2019/9/16

N2 - 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.

AB - 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.

U2 - 10.1109/SP.2019.00063

DO - 10.1109/SP.2019.00063

M3 - Conference contribution

SN - 978-1-5386-6661-6

SP - 157

EP - 174

BT - 2019 IEEE Symposium on Security and Privacy (SP)

PB - Institute of Electrical and Electronics Engineers

T2 - 40th IEEE Symposium on Security and Privacy

Y2 - 20 May 2019 through 22 May 2019

ER -

Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake

Abstract / Description of output

Publication series

Conference

Access to Document

Fingerprint

Projects

PRIViLEDGE: Privacy in Distributed Ledgers

Profiles

Aggelos Kiayias

Cite this