DeepAI AI Chat
Log In Sign Up

CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts

by   Qian Ren, et al.

In recent years, as blockchain adoption has been expanding across a wide range of domains, e.g., digital asset, supply chain finance, etc., the confidentiality of smart contracts is now a fundamental demand for practical applications. However, while new privacy protection techniques keep coming out, how existing ones can best fit development settings is little studied. Suffering from limited architectural support in terms of programming interfaces, state-of-the-art solutions can hardly reach general developers. In this paper, we proposed the CLOAK framework for developing confidential smart contracts. The key capability of CLOAK is allowing developers to implement and deploy practical solutions to multi-party transaction (MPT) problems, i.e., transact with secret inputs and states owned by different parties by simply specifying it. To this end, CLOAK introduced a domain-specific annotation language for declaring privacy specifications and further automatically generating confidential smart contracts to be deployed with trusted execution environment (TEE) on blockchain. In our evaluation on both simple and real-world applications, developers managed to deploy business services on blockchain in a concise manner by only developing CLOAK smart contracts whose size is less than 30


On and Off-Blockchain Enforcement Of Smart Contracts

In this paper we discuss how conventional business contracts can be conv...

zkHawk: Practical Private Smart Contracts from MPC-based Hawk

Cryptocurrencies have received a lot of research attention in recent yea...

Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts

Blockchain-based distributed computing platforms enable the trusted exec...

Data Confidentiality In P2P Communication And Smart Contracts Of Blockchain In Industry 4.0

Increased collaborative production and dynamic selection of production p...

Fail-safe Watchtowers and Short-lived Assertions for Payment Channels

The recent development of payment channels and their extensions (e.g., s...

Understand Volatility of Algorithmic Stablecoin: Modeling, Verification and Empirical Analysis

An algorithmic stablecoin is a type of cryptocurrency managed by algorit...

Distributed Data Vending on Blockchain

Recent advances in blockchain technologies have provided exciting opport...