Raziel: Private and Verifiable Smart Contracts on Blockchains

David Cerezo Sánchez

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 computation zero knowledge blockchains outsourcing
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: 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},
      url = {https://eprint.iacr.org/2017/878}
}