Paper 2019/480
On the Efficiency of Privacy-Preserving Smart Contract Systems
Karim Baghery
Abstract
Along with blockchain technology, smart contracts have found intense interest in lots of practical applications. A smart contract is a mechanism involving digital assets and some parties, where the parties deposit assets into the contract and the contract redistributes the assets among the parties based on provisions of the smart contract and inputs of the parties. Recently, several smart contract systems are constructed that use zk-SNARKs to provide privacy-preserving payments and interconnections in the contracts (e.g. Hawk [IEEE S&P, 2016] and Gyges [ACM CCS, 2016]). Efficiency of such systems severely are dominated by efficiency of the underlying UC-secure zk-SNARK that is achieved using COCO framework [Kosba et al., 2015] applied on a non-UC-secure zk-SNARK. In this paper, we show that recent progresses on zk-SNARKs, allow one to simplify the structure and also improve the efficiency of both systems with a UC-secure zk-SNARK that has simpler construction and better efficiency in comparison with the currently used ones. More precisely, with minimal changes, we present a variation of Groth and Maller's zk-SNARK from Crypto 2017, and show that it achieves UC-security and has better efficiency than the ones that currently are used in Hawk and Gyges. We believe, new variation can be of independent interest.
Metadata
- Available format(s)
- Category
- Applications
- Publication info
- Published elsewhere. AFRICACRYPT 2019
- Keywords
- privacy-preserving smart contractszk-SNARKsUC-securityCRS model
- Contact author(s)
- baghery karim @ gmail com
- History
- 2019-07-15: revised
- 2019-05-13: received
- See all versions
- Short URL
- https://ia.cr/2019/480
- License
-
CC BY