CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts

06/25/2021
by   Qian Ren, et al.
0

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

READ FULL TEXT
research
05/02/2018

On and Off-Blockchain Enforcement Of Smart Contracts

In this paper we discuss how conventional business contracts can be conv...
research
04/19/2021

zkHawk: Practical Private Smart Contracts from MPC-based Hawk

Cryptocurrencies have received a lot of research attention in recent yea...
research
02/26/2018

Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts

Blockchain-based distributed computing platforms enable the trusted exec...
research
07/28/2020

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

Increased collaborative production and dynamic selection of production p...
research
03/13/2020

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

The recent development of payment channels and their extensions (e.g., s...
research
01/21/2021

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

An algorithmic stablecoin is a type of cryptocurrency managed by algorit...
research
03/15/2018

Distributed Data Vending on Blockchain

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

Please sign up or login with your details

Forgot password? Click here to reset