Journal
2019 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2019)
Volume -, Issue -, Pages 157-174Publisher
IEEE COMPUTER SOC
DOI: 10.1109/SP.2019.00063
Keywords
-
Funding
- [780477]
- EPSRC [1929925] Funding Source: UKRI
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available