Solidus
| Autor: | Yan Ji, Elaine Shi, Ethan Cecchetti, Ari Juels, Ahmed E. Kosba, Fan Zhang |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Correctness
Computer science Reliability (computer networking) 020206 networking & telecommunications 02 engineering and technology Solidus Computer security computer.software_genre Asset (computer security) Distributed ledger 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Confidentiality Oblivious ram Protocol (object-oriented programming) Database transaction computer |
| Zdroj: | CCS |
| Popis: | Blockchains and more general distributed ledgers are becoming increasingly popular as efficient, reliable, and persistent records of data and transactions. Unfortunately, they ensure reliability and correctness by making all data public, raising confidentiality concerns that eliminate many potential uses. In this paper we present Solidus, a protocol for confidential transactions on public blockchains, such as those required for asset transfers with on-chain settlement. Solidus operates in a framework based on real-world financial institutions: a modest number of banks each maintain a large number of user accounts. Within this framework, Solidus hides both transaction values and the transaction graph (i.e., the identities of transacting entities) while maintaining the public verifiability that makes blockchains so appealing. To achieve strong confidentiality of this kind, we introduce the concept of a Publicly-Verifiable Oblivious RAM Machine (PVORM). We present a set of formal security definitions for both PVORM and Solidus and show that our constructions are secure. Finally, we implement Solidus and present a set of benchmarks indicating that the system is efficient in practice. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|