FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond
BSCI '24, July 2, 2024, Singapore, Singapore
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
ACM|The 6th ACM International Symposium on Blockchain and Secure Critical Infrastructure
2025
|
| Online Access: | https://hdl.handle.net/1721.1/158437 |
| _version_ | 1826217187227992064 |
|---|---|
| author | Zyskind, Guy Erez, Yonatan Langer, Tom Grossman, Itzik Bondarevsky, Lior |
| author_facet | Zyskind, Guy Erez, Yonatan Langer, Tom Grossman, Itzik Bondarevsky, Lior |
| author_sort | Zyskind, Guy |
| collection | MIT |
| description | BSCI '24, July 2, 2024, Singapore, Singapore |
| first_indexed | 2025-03-10T14:20:27Z |
| format | Article |
| id | mit-1721.1/158437 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2025-03-10T14:20:27Z |
| publishDate | 2025 |
| publisher | ACM|The 6th ACM International Symposium on Blockchain and Secure Critical Infrastructure |
| record_format | dspace |
| spelling | mit-1721.1/1584372025-03-07T20:26:08Z FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond Zyskind, Guy Erez, Yonatan Langer, Tom Grossman, Itzik Bondarevsky, Lior BSCI '24, July 2, 2024, Singapore, Singapore Blockchains ensure that all transactions, including those that execute deterministic programs known as smart contracts, are processed correctly and without interruption. However, blockchains inherently provide no confidentiality - all transaction data, including inputs sent to smart contracts, are public. This has led to a rise of confidential smart contract blockchains. These blockchains utilize privacy-preserving techniques to add privacy to smart contracts, but they usually rely on Trusted Execution Environments (TEEs) (e.g., [14, 24]) that are susceptible to side-channel attacks and other security concerns ([7, 13, 33] to name a few). More recently, several works have focused on achieving confidentiality using Fully Homomorphic Encryption (FHE) (e.g., [1, 30]). While this approach is promising, these works limit scalability as they require all nodes in the network to execute FHE computations and reach consensus over the encrypted state, which is prohibitive. Instead, in this work and inspired by the recent move towards layer-2 solutions, we present the first rollup-based FHE architecture. We argue that while for plaintext computation rollups are a needed solution, in the context of FHE, where the computational overhead is orders of magnitude higher, they are a necessity. In our design, we take an optimistic rollup approach, allowing us to avoid the orders of magnitude penalty incurred by state-of-the-art verifiable FHE techniques [34]. In fact, our framework can be seen as a cryptoeconomic solution to solve the same problem of verifiability in FHE. We implement a proof-of-concept of our solution, and in the process, we show how we can build FHE rollups without making any changes to existing layer-Is like Ethereum, even if they do not support FHE operations inherently. We further implement three smart-contracts that are only possible if data remains confidential, and show that their performance is practical. 2025-03-07T20:26:06Z 2025-03-07T20:26:06Z 2024-07-02 2025-03-01T08:46:22Z Article http://purl.org/eprint/type/ConferencePaper 979-8-4007-0638-7 https://hdl.handle.net/1721.1/158437 Zyskind, Guy, Erez, Yonatan, Langer, Tom, Grossman, Itzik and Bondarevsky, Lior. 2024. "FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond." PUBLISHER_CC en https://doi.org/10.1145/3659463.3660031 Creative Commons Attribution https://creativecommons.org/licenses/by/4.0/ The author(s) application/pdf ACM|The 6th ACM International Symposium on Blockchain and Secure Critical Infrastructure Association for Computing Machinery |
| spellingShingle | Zyskind, Guy Erez, Yonatan Langer, Tom Grossman, Itzik Bondarevsky, Lior FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond |
| title | FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond |
| title_full | FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond |
| title_fullStr | FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond |
| title_full_unstemmed | FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond |
| title_short | FHE-Rollups: Scaling Confidential Smart Contracts on Ethereum and Beyond |
| title_sort | fhe rollups scaling confidential smart contracts on ethereum and beyond |
| url | https://hdl.handle.net/1721.1/158437 |
| work_keys_str_mv | AT zyskindguy fherollupsscalingconfidentialsmartcontractsonethereumandbeyond AT erezyonatan fherollupsscalingconfidentialsmartcontractsonethereumandbeyond AT langertom fherollupsscalingconfidentialsmartcontractsonethereumandbeyond AT grossmanitzik fherollupsscalingconfidentialsmartcontractsonethereumandbeyond AT bondarevskylior fherollupsscalingconfidentialsmartcontractsonethereumandbeyond |