Cryptology ePrint Archive: Report 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.

Category / Keywords: implementation / secure computation, zero knowledge, blockchains, outsourcing

Date: received 10 Sep 2017, last revised 24 Jul 2018

Contact author: david at calctopia com

Available format(s): PDF | BibTeX Citation

Note: Announcing Obliv-Java: a Java Virtual Machine for Secure Computation. Merging Private Smart Contracts and Verifiable Smart Contracts.

Version: 20180724:094056 (All versions of this report)

Short URL: ia.cr/2017/878


[ Cryptology ePrint archive ]