Paper 2021/133
smartFHE: Privacy-Preserving Smart Contracts from Fully Homomorphic Encryption
Ravital Solomon and Ghada Almashaqbeh
Abstract
Smart contract-enabled blockchains represent a powerful tool in supporting a large variety of applications. Despite their salient features of transparency, decentralization, and expressiveness, building privacy-preserving applications using these platforms remains an open question. Existing solutions fall short in achieving this goal since they support a limited operation set, support private computation on inputs belonging to only one user, or even ask the users themselves to coordinate and perform the computation off-chain. In this paper, we propose smartFHE, a framework to support private smart contracts that utilizes fully homomorphic encryption (FHE). smartFHE allows users to build arbitrary decentralized applications that preserve input/output privacy for an arbitrary number of users' inputs. This is achieved by employing (single and multi-key) FHE to compute over private (encrypted) data and account balances, along with efficient zero-knowledge proof systems (ZKPs) to prove well-formedness of private transactions. Crucially, our framework is modular as any FHE and ZKP scheme can be used so long as they satisfy certain requirements with respect to correctness and security. Furthermore, smartFHE reduces the burden on the users; users provide their private inputs but miners are responsible for performing the private computation. To the best of our knowledge, we are the first to use FHE in the blockchain model. We define notions for a privacy-preserving smart contract (PPSC) scheme along with its correctness and security. Then, we provide an instantiation of a PPSC using smartFHE and evaluate its performance. Despite common beliefs, our benchmarks show that FHE operations are fast even on a modest machine. This is reflected in the performance of our instantiation; private payments and smart contract computations are faster on our modest machine than state-of-the-art schemes using much more powerful machines.
Metadata
- Available format(s)
- Category
- Cryptographic protocols
- Publication info
- Preprint. MINOR revision.
- Keywords
- fully homomorphic encryptionzero knowledge proofsblockchain
- Contact author(s)
- ravital @ nucypher com,ghada almashaqbeh @ uconn edu
- History
- 2023-06-29: last of 7 revisions
- 2021-02-10: received
- See all versions
- Short URL
- https://ia.cr/2021/133
- License
-
CC BY