Raziel: Private and Verifiable Smart Contracts on Blockchains

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.

Support: cothority/ByzCoin/OmniLedger

References in corpus (6)

• Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX
• Smart Contract Templates: foundations, design landscape and research directions
• A Systematic Evaluation of Transient Execution Attacks and Defenses
• Focusing and Polarization in Intuitionistic Logic
• Proposal for a fully decentralized blockchain and proof-of-work algorithm for solving NP-complete problems
• Optimization of Bootstrapping in Circuits

Cited by in corpus (8)

• SoK of Used Cryptography in Blockchain
• A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
• A Survey of Smart Contract Formal Specification and Verification
• Towards Private On-Chain Algorithmic Trading
• Differential Privacy in Blockchain Technology: A Futuristic Approach
• Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation
• Three-Party Integer Comparison and Applications
• Pravuil: Global Consensus for a United World