More Web Proxy on the site http://driver.im/

short-paper

Open access

Towards Better Standard Cell Library: Optimizing Compound Logic Gates for TFHE

Authors:

Kotaro Matsuoka,

Yusuke Hoshizuki,

Song BianAuthors Info & Claims

WAHC '21: Proceedings of the 9th on Workshop on Encrypted Computing & Applied Homomorphic Cryptography

Pages 63 - 68

https://doi.org/10.1145/3474366.3486927

Published: 15 November 2021 Publication History

Abstract

In this paper, we cryptographically optimize the constructions of3-input gates or multi-output gates using Fully Homomorphic Encryption (FHE) including Half Adder, Full Adder and AOI21. We implemented the gates over Torus Fully Homomorphic Encryption(TFHE). These gates achieve their respective functionalities with less computational cost than conventional constructions. By using the proposed gates, 16-bit adders and 16-bit multipliers can be evaluated about 5× and 2.5× faster, respectively, compared to the conventional constructions.

References

[1]

Martin R. Albrecht, Rachel Player, and Sam Scott. 2015. On the concrete hardness of Learning with Errors. Journal of Mathematical Cryptology, Vol. 9, 3 (2015), 169--203. https://doi.org/ https://bitbucket.org/malb/lwe-estimator/src/fb7deba/.

[2]

Jean-François Biasse and Luis Ruiz. 2015. FHEW with Efficient Multibit Bootstrapping. In Progress in Cryptology -- LATINCRYPT 2015, Kristin Lauter and Francisco Rodríguez-Henríquez (Eds.). Springer International Publishing, Cham, 119--135.

Digital Library

[3]

Florian Bourse, Michele Minelli, Matthias Minihold, and Pascal Paillier. 2018. Fast Homomorphic Evaluation of Deep Discretized Neural Networks. In Advances in Cryptology -- CRYPTO 2018 (Lecture Notes in Computer Science), Vol. 10993. Springer, 483--512. https://doi.org/10.1007/978-3-319-96878-0_17

[4]

Sergiu Carpov, Paul Dubrulle, and Renaud Sirdey. 2015. Armadillo: a compilation chain for privacy preserving applications. In Proceedings of the 3rd International Workshop on Security in Cloud Computing. 13--19.

Digital Library

[5]

Sergiu Carpov, Malika Izabachène, and Victor Mollimard. 2019. New Techniques for Multi-value Input Homomorphic Evaluation and Applications. In Topics in Cryptology -- CT-RSA 2019, Mitsuru Matsui (Ed.). Springer International Publishing, Cham, 106--126.

Digital Library

[6]

Ilaria Chillotti, Nicolas Gama, Mariya Georgieva, and Malika Izabachène. 2020. TFHE: Fast Fully Homomorphic Encryption Over the Torus. Journal of Cryptology, Vol. 33, 1 (01 Jan 2020), 34--91. https://doi.org/10.1007/s00145-019-09319-x

[7]

Ilaria Chillotti, Nicolas Gama, Mariya Georgieva, and Malika Izabachène. August 2016. TFHE: Fast Fully Homomorphic Encryption Library. (August 2016). https://tfhe.github.io/tfhe/.

[8]

Léo Ducas and Daniele Micciancio. 2015. FHEW: Bootstrapping Homomorphic Encryption in Less Than a Second. In Advances in Cryptology -- EUROCRYPT 2015, Elisabeth Oswald and Marc Fischlin (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 617--640.

[9]

Shuhong Gao. 2018. Efficient Fully Homomorphic Encryption Scheme. Cryptology ePrint Archive, Report 2018/637. (2018). https://eprint.iacr.org/2018/637.

[10]

Craig Gentry. 2009. A fully homomorphic encryption scheme. Ph.D. Dissertation. Stanford University. crypto.stanford.edu/craig.

Digital Library

[11]

Craig Gentry, Amit Sahai, and Brent Waters. 2013. Homomorphic Encryption from Learning with Errors: Conceptually-Simpler, Asymptotically-Faster, Attribute-Based. Cryptology ePrint Archive, Report 2013/340. (2013). https://eprint.iacr.org/2013/340.

[12]

Kotaro Matsuoka. 2020. TFHEpp: pure C++ implementation of TFHE cryptosystem. https://github.com/virtualsecureplatform/TFHEpp. (2020).

[13]

Kotaro Matsuoka, Ryotaro Banno, Naoki Matsumoto, Takashi Sato, and Song Bian. 2021. Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association. https://www.usenix.org/conference/usenixsecurity21/presentation/matsuoka

[14]

Oded Regev. 2005. On Lattices, Learning with Errors, Random Linear Codes, and Cryptography. In Proceedings of the Thirty-Seventh Annual ACM Symposium on Theory of Computing (STOC '05). Association for Computing Machinery, New York, NY, USA, 84--93. https://doi.org/10.1145/1060590.1060603

Digital Library

[15]

R.L. Rivest, L. Adleman, and M.L. Dertouzos. 1978. On data banks and privacy homomorphisms. In Foundations on Secure Computation, Academia Press. 169--179.

[16]

Clifford Wolf. 2013. Yosys Open SYnthesis Suite. https://yosyshq.net/yosys/. (2013). Accessed 09/21/2021.

Cited By

Wei BLu X(2024)Improved homomorphic evaluation for hash function based on TFHECybersecurity10.1186/s42400-024-00204-07:1Online publication date: 2-Jul-2024
https://doi.org/10.1186/s42400-024-00204-0
Guan ZMao RZhang QZhang ZZhao ZBian S(2024)AutoHoG: Automating Homomorphic Gate Design for Large-Scale Logic Circuit EvaluationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2024.335759843:7(1971-1983)Online publication date: Jul-2024
https://doi.org/10.1109/TCAD.2024.3357598
Zhou MNam YWang XLee YWilkerson CKumar RTaneja SMathew SCammarota RRosing T(2024)UFC: A Unified Accelerator for Fully Homomorphic Encryption2024 57th IEEE/ACM International Symposium on Microarchitecture (MICRO)10.1109/MICRO61859.2024.00034(352-365)Online publication date: 2-Nov-2024
https://doi.org/10.1109/MICRO61859.2024.00034
Show More Cited By

Index Terms

Towards Better Standard Cell Library: Optimizing Compound Logic Gates for TFHE
1. Security and privacy
  1. Cryptography

Recommendations

Design of a compact reversible binary coded decimal adder circuit

Reversible logic is an emerging research area and getting remarkable interests over the past few years. Interest is sparked in reversible logic by its applications in several technologies, such as quantum, optical, thermodynamics and adiabatic CMOS. ...
Proposed low power, high speed adder-based 65-nm Square root circuit

This paper focuses on the design of a 1-bit full adder circuit using Shannon's theorem and adder-based non-Restoring and Restoring Square Rooter circuits. The proposed adder and Square Rooter schematics were developed using DSCH2 CAD tool, and their ...
A Reduced-Area Scheme for Carry-Select Adders

The carry-select or conditional-sum adders require carry-chain evaluations for each block for both the values of block-carry-in, 0 and 1. The author introduces a scheme to generate carry bits with block-carry-in 1 from the carries of a block with block-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

WAHC '21: Proceedings of the 9th on Workshop on Encrypted Computing & Applied Homomorphic Cryptography

November 2021

75 pages

ISBN:9781450386562

DOI:10.1145/3474366

Program Chairs:
Michael Brenner
Leibniz Universität Hannover, Germany
,
Rachel Player
Royal Holloway, University of London, UK
,
Kurt Rohloff
NJIT and Duality Technologies, USA

Copyright © 2021 Owner/Author.

This work is licensed under a Creative Commons Attribution International 4.0 License.

Sponsors

SIGSAC: ACM Special Interest Group on Security, Audit, and Control

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 November 2021

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Funding Sources

Conference

CCS '21

Sponsor:

SIGSAC

CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security

November 15, 2021

Virtual Event, Republic of Korea

Acceptance Rates

Overall Acceptance Rate 6 of 17 submissions, 35%

Upcoming Conference

CCS '25

Sponsor:
sigsac

ACM SIGSAC Conference on Computer and Communications Security

October 13 - 17, 2025

Taipei , Taiwan

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
639
Total Downloads

Downloads (Last 12 months)187
Downloads (Last 6 weeks)13

Reflects downloads up to 07 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Wei BLu X(2024)Improved homomorphic evaluation for hash function based on TFHECybersecurity10.1186/s42400-024-00204-07:1Online publication date: 2-Jul-2024
https://doi.org/10.1186/s42400-024-00204-0
Guan ZMao RZhang QZhang ZZhao ZBian S(2024)AutoHoG: Automating Homomorphic Gate Design for Large-Scale Logic Circuit EvaluationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2024.335759843:7(1971-1983)Online publication date: Jul-2024
https://doi.org/10.1109/TCAD.2024.3357598
Zhou MNam YWang XLee YWilkerson CKumar RTaneja SMathew SCammarota RRosing T(2024)UFC: A Unified Accelerator for Fully Homomorphic Encryption2024 57th IEEE/ACM International Symposium on Microarchitecture (MICRO)10.1109/MICRO61859.2024.00034(352-365)Online publication date: 2-Nov-2024
https://doi.org/10.1109/MICRO61859.2024.00034
Trifan MNicolau AVeidenbaum A(2023)Enhancing the Privacy of Machine Learning via faster arithmetic over Torus FHE2023 IEEE 10th International Conference on Cyber Security and Cloud Computing (CSCloud)/2023 IEEE 9th International Conference on Edge Computing and Scalable Cloud (EdgeCom)10.1109/CSCloud-EdgeCom58631.2023.00017(46-52)Online publication date: Jul-2023
https://doi.org/10.1109/CSCloud-EdgeCom58631.2023.00017
Ono STakata JKataoka MI TShin KSakamoto H(2022)Privacy-Preserving Feature Selection with Fully Homomorphic EncryptionAlgorithms10.3390/a1507022915:7(229)Online publication date: 30-Jun-2022
https://doi.org/10.3390/a15070229
Taheri FBayat-Sarmadi SEbrahimi S(2022)Efficient Hardware Implementations of Legendre Symbol Suitable for MPC ApplicationsIEEE Transactions on Circuits and Systems I: Regular Papers10.1109/TCSI.2021.313277069:3(1231-1239)Online publication date: Mar-2022
https://doi.org/10.1109/TCSI.2021.3132770
Hadayeghparast SBayat-Sarmadi SEbrahimi S(2022)High-Speed Post-Quantum Cryptoprocessor Based on RISC-V Architecture for IoTIEEE Internet of Things Journal10.1109/JIOT.2022.31528509:17(15839-15846)Online publication date: 1-Sep-2022
https://doi.org/10.1109/JIOT.2022.3152850

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents