Paper 2017/878

Raziel: Private and Verifiable Smart Contracts on Blockchains

David Cerezo Sánchez

Abstract

Raziel combines secure multi-party computation and proof-carrying code to provide privacy, correctness and verifiability guarantees for smart contracts on blockchains. Effectively solving DAO and Gyges attacks, this paper describes an implementation and presents examples to demonstrate its practical viability (e.g., private and verifiable crowdfundings and investment funds). Additionally, we show how to use Zero-Knowledge Proofs of Proofs (i.e., Proof-Carrying Code certificates) to prove the validity of smart contracts to third parties before their execution without revealing anything else. Finally, we show how miners could get rewarded for generating pre-processing data for secure multi-party computation.

Note: Support: cothority/ByzCoin/OmniLedger.

Metadata
Available format(s)
PDF
Category
Implementation
Publication info
Preprint. MINOR revision.
Keywords
secure computationzero knowledgeblockchainsoutsourcing
Contact author(s)
david @ calctopia com
History
2020-02-12: last of 5 revisions
2017-09-13: received
See all versions
Short URL
https://ia.cr/2017/878
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2017/878,
      author = {David Cerezo Sánchez},
      title = {Raziel: Private and Verifiable Smart Contracts on Blockchains},
      howpublished = {Cryptology ePrint Archive, Paper 2017/878},
      year = {2017},
      note = {\url{https://eprint.iacr.org/2017/878}},
      url = {https://eprint.iacr.org/2017/878}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.