Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Dongkwon | - |
dc.contributor.author | Lee, Woosuk | - |
dc.contributor.author | Oh, Hakjoo | - |
dc.contributor.author | Yi, Kwangkeun | - |
dc.date.accessioned | 2023-12-08T09:34:17Z | - |
dc.date.available | 2023-12-08T09:34:17Z | - |
dc.date.issued | 2023-09 | - |
dc.identifier.issn | 0164-0925 | - |
dc.identifier.issn | 1558-4593 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/116023 | - |
dc.description.abstract | We present a new and general method for optimizing homomorphic evaluation circuits. Although fully homomorphic encryption (FHE) holds the promise of enabling safe and secure third party computation, building FHE applications has been challenging due to their high computational costs. Domain-specific optimizations require a great deal of expertise on the underlying FHE schemes and FHE compilers that aim to lower the hurdle, generate outcomes that are typically sub-optimal, as they rely on manually-developed optimization rules. In this article, based on the prior work of FHE compilers, we propose a method for automatically learning and using optimization rules for FHE circuits. Our method focuses on reducing the maximum multiplicative depth, the decisive performance bottleneck, of FHE circuits by combining program synthesis, term rewriting, and equality saturation. It first uses program synthesis to learn equivalences of small circuits as rewrite rules from a set of training circuits. Then, we perform term rewriting on the input circuit to obtain a new circuit that has lower multiplicative depth. Our rewriting method uses the equational matching with generalized version of the learned rules, and its soundness property is formally proven. Our optimizations also try to explore every possible alternative order of applying rewrite rules by time-bounded exhaustive search technique called equality saturation. Experimental results show that our method generates circuits that can be homomorphically evaluated 1.08x-3.17x faster (with the geometric mean of 1.56x) than the state-of-the-art method. Our method is also orthogonal to existing domain-specific optimizations. | - |
dc.format.extent | 37 | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | Association for Computing Machinary, Inc. | - |
dc.title | Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search | - |
dc.type | Article | - |
dc.publisher.location | 네델란드 | - |
dc.identifier.doi | 10.1145/3591622 | - |
dc.identifier.scopusid | 2-s2.0-85173276725 | - |
dc.identifier.wosid | 001080461200001 | - |
dc.identifier.bibliographicCitation | ACM Transactions on Programming Languages and Systems, v.45, no.3, pp 1 - 37 | - |
dc.citation.title | ACM Transactions on Programming Languages and Systems | - |
dc.citation.volume | 45 | - |
dc.citation.number | 3 | - |
dc.citation.startPage | 1 | - |
dc.citation.endPage | 37 | - |
dc.type.docType | Article | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.subject.keywordPlus | LANGUAGE | - |
dc.subject.keywordAuthor | Homomorphic encryption circuit | - |
dc.subject.keywordAuthor | program synthesis | - |
dc.subject.keywordAuthor | term rewriting | - |
dc.subject.keywordAuthor | equality saturation | - |
dc.identifier.url | https://dl.acm.org/doi/full/10.1145/3591622 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.