Introduction 11.1 A Very Brief and

Introduction 1
1.1 A Very Brief and Informal Overview of Our Construction . . . . . . . . . . 2
1.2 What is Fully Homomorphic Encryption? . . . . . . . . . . . . . . . . . . . 5
1.3 Bootstrapping a Scheme that Can Evaluate its Own Decryption Circuit . . 7
1.4 Ideal Lattices: Ideally Suited to Construct Bootstrappable Encryption . . . 10
1.5 Squashing the Decryption Circuit: The Encrypter Starts Decryption! . . . . 15
1.6 Security . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.7 Performance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.8 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Definitions related to Homomorphic Encryption 27
2.1 Basic Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Computational Security Definitions . . . . . . . . . . . . . . . . . . . . . . . 31
3 Previous Homomorphic Encryption Schemes 34
4 Bootstrappable Encryption 43
4.1 Leveled Fully Homomorphic Encryption from Bootstrappable Encryption, Generically 43
4.2 Correctness, Computational Complexity and Security of the Generic Construction 48
4.3 Fully Homomorphic Encryption from KDM-Secure Bootstrappable Encryption 51
4.4 Fully Homomorphic Encryption from Bootstrappable Encryption in the Random Oracle Model 53
vi
5 An Abstract Scheme Based on the Ideal Coset Problem 57
5.1 The Ideal Coset Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.2 An Abstract Scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.3 Security of the Abstract Scheme . . . . . . . . . . . . . . . . . . . . . . . . 62
6 Background on Ideal Lattices I: The Basics 63
6.1 Basic Background on Lattices . . . . . . . . . . . . . . . . . . . . . . . . . . 63
6.2 Basic Background on Ideal Lattices . . . . . . . . . . . . . . . . . . . . . . . 65
6.3 Probability Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7 A Somewhat Homomorphic Encryption Scheme 69
7.1 Why Lattices? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
7.2 Why Ideal Lattices? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
7.3 A Geometric Approach to Maximizing the Circuit Depth that Can Be Evaluated 70
7.4 Instantiating the Ring: The Geometry of Polynomial Rings . . . . . . . . . 72
7.5 Instantiating Encrypt and Minimizing rEnc . . . . . . . . . . . . . . . . . . . 75
7.6 Instantiating Decrypt and Maximizing rDec . . . . . . . . . . . . . . . . . . . 75
7.7 Security of the Concrete Scheme . . . . . . . . . . . . . . . . . . . . . . . . 77
7.8 How Useful is the Somewhat Homomorphic Scheme By Itself? . . . . . . . . 79
8 Tweaks to the Somewhat Homomorphic Scheme 81
8.1 On the Relationship between the Dual and the Inverse of an Ideal Lattice . 82
8.2 Transference Lemmas for Ideal Lattices . . . . . . . . . . . . . . . . . . . . 85
8.3 Tweaking the Decryption Equation . . . . . . . . . . . . . . . . . . . . . . . 86
8.4 A Tweak to Reduce the Circuit Complexity of the Rounding Step in Decryption 88
9 Decryption Complexity of the Tweaked Scheme 90
10 Squashing the Decryption Circuit 98
10.1 A Generic Description of the Transformation . . . . . . . . . . . . . . . . . 98
10.2 How to Squash, Concretely . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
10.3 Bootstrapping Achieved: The Decryption Circuit for the Transformed System 102
11 Security 104
11.1 Regarding the Hint Given in Our “Squashing” Transformation . . . . . . . 104
vii
11.2 Counterbalancing Assumptions . . . . . . . . . . . . . . . . . . . . . . . . . 113
12 Performance and Optimizations 115
12.1 Simple Optimizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
12.2 Basic Performance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
12.3 More Optimizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
13 Background on Ideal Lattices II 125
13.1 Overview of Gaussian Distributions over Lattices . . . . . . . . . . . . . . . 125
13.2 The Smoothing Parameter . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
13.3 Sampling a Lattice According to a Gaussian Distribution . . . . . . . . . . 128
13.4 Ideal Factorization in Polynomial Rings . . . . . . . . . . . . . . . . . . . . 129

Kết quả (Việt) 1:

Giới thiệu 11.1 một tổng quan rất ngắn gọn và không chính thức của chúng tôi xây dựng.......... 21.2 những gì là hoàn toàn mã hoá Homomorphic? . . . . . . . . . . . . . . . . . . . 51.3 bootstrapping một chương trình mà có thể đánh giá mạch giải mã riêng của nó. . 71.4 lưới lý tưởng: Lý tưởng để xây dựng Bootstrappable mã hóa... 101.5 squashing mạch giải mã: Encrypter bắt đầu giải mã! . . . . 151.6 Security . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181.7 Performance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201.8 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212 các định nghĩa liên quan đến Homomorphic mã hóa 272.1 cơ bản định nghĩa................................. 272.2 tính toán an ninh định nghĩa...................... . 313 trước Homomorphic mã hóa các đề án 34Mã hóa bootstrappable 4 434.1 San lấp đầy đủ Homomorphic mã hóa từ mã hóa Bootstrappable, quát 434.2 tính đúng đắn, tính toán phức tạp và an ninh của bộ xây dựng chung 484.3 đầy đủ Homomorphic mã hóa từ KDM bảo mật mã hóa Bootstrappable 514.4 các mã hóa đầy đủ Homomorphic từ Bootstrappable mã hóa trong mô hình ngẫu nhiên Oracle 53vi5 một chương trình tóm tắt dựa trên vấn đề lý tưởng Coset 575.1 vấn đề lý tưởng Coset............................ 585.2 một chương trình tóm tắt............................... 595.3 bảo mật của các đề án trừu tượng........................ 626 nền trên lý tưởng lưới I: khái niệm cơ bản 636.1 cơ bản nền tảng trên lưới.......................... 636.2 cơ bản nền tảng về lý tưởng lưới...................... . 656.3 xác suất nền............................. 687 A Homomorphic một số mã hóa lược đồ 697.1. tại sao lưới? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 697.2 lý do tại sao lý tưởng lưới? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 707.3 một phương pháp hình học để tối đa hoá độ sâu mạch đó có thể đánh giá 707.4 instantiating nhẫn: hình học của các đa thức nhẫn....... . 727,5 instantiating mật mã và giảm thiểu rEnc................... 757,6 instantiating Decrypt và tối đa hóa rDec................... 757.7 an ninh của đề án bê tông........................ 777.8 cách hữu ích là các phần nào Homomorphic đề án của chính nó? . . . . . . . . 798 tinh chỉnh các đề án hơi Homomorphic 818.1 trên mối quan hệ giữa kép và nghịch đảo của một lưới lý tưởng. 828.2 bổ đề chuyển giao cho lý tưởng lưới........ 858.3 chỉnh giải phương trình...................... . 868.4 một tinh chỉnh để làm giảm sự phức tạp mạch của các bước làm tròn trong giải mã 889 giải mã phức tạp của chương trình tinh chỉnh 9010 squashing giải mã mạch 9810,1 chung mô tả sự biến đổi................. 9810.2 cách bí, cụ thể........................... 10010.3 bootstrapping đạt: Giải mã mạch cho hệ thống chuyển 10211 an ninh 10411.1 liên quan đến những gợi ý được đưa ra trong chuyển đổi "Squashing" của chúng tôi....... 104VII11.2 diễn giả định......................... 11312 hiệu năng và tối ưu hóa 11512,1 đơn giản tối ưu hóa............................. . 11612.2 hiệu suất cơ bản................................ 11712.3 tối ưu hóa thêm............................... 11713 nền trên lý tưởng lưới II 12513.1 Các tổng quan về các bản phân phối Gaussian qua lưới............... 12513.2 các thông số làm mịn............................ 12613,3 lấy mẫu lưới theo một phân phối Gaussian.......... 12813.4 Factorization lý tưởng trong đa thức vòng........ 129

Kết quả (Việt) 2:

Giới thiệu 1
1.1 Tổng quan Rất tóm tắt và không chính thức Xây dựng của chúng tôi. . . . . . . . . . 2
1.2 Mã hóa hoàn toàn Homomorphic là gì? . . . . . . . . . . . . . . . . . . . 5
1.3 Bootstrapping một Đề án đó có thể Đánh giá riêng của nó Giải mã Circuit. . 7
1.4 Lý tưởng Lưới: Lý tưởng nhất Phù hợp để xây dựng Bootstrappable Encryption. . . 10
1.5 nát các Giải mã mạch: Các Encrypter Bắt đầu giải mã! . . . . 15
1.6 Security. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.7 Hiệu suất. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.8 Ứng dụng. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Định nghĩa liên quan đến Encryption Homomorphic 27
2.1 cơ bản Định nghĩa. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Định nghĩa an ninh điện toán. . . . . . . . . . . . . . . . . . . . . . . 31
3 Trước Homomorphic Encryption Schemes 34
4 Bootstrappable Encryption 43
4.1 san bằng hoàn toàn Homomorphic Encryption từ Bootstrappable Encryption, quát 43
4.2 đúng đắn, tính toán phức tạp và An ninh của Generic Xây dựng 48
Encryption 4.3 Hoàn toàn Homomorphic từ KDM-Secure Encryption Bootstrappable 51
4.4 Hoàn toàn Homomorphic Encryption từ Encryption Bootstrappable trong Random Oracle mẫu 53
vi
5 Đề án Một Tóm tắt Dựa trên lý tưởng Coset vấn đề 57
5.1 các lý tưởng Coset vấn đề. . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.2 Đề án Tóm tắt. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.3 An ninh của Đề án Tóm tắt. . . . . . . . . . . . . . . . . . . . . . . . 62
6 cơ bản về lý tưởng Lưới I: Khái niệm cơ bản 63
6.1 Bối cảnh cơ bản về Lưới. . . . . . . . . . . . . . . . . . . . . . . . . . 63
6.2 Bối cảnh cơ bản về lý tưởng Lưới. . . . . . . . . . . . . . . . . . . . . . . 65
6.3 Xác suất nền. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7 Một Encryption Hơi Homomorphic Đề án 69
7.1 Tại sao Sàng lưới? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
7.2 Lưới Tại sao lý tưởng? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
7.3 Phương pháp tiếp cận hình học để tối đa độ sâu mạch mà có thể đánh giá 70
7.4 Instantiating Ring: Các Hình học của đa thức Rings. . . . . . . . . 72
7,5 Instantiating Mã hóa và Giảm thiểu rEnc. . . . . . . . . . . . . . . . . . . 75
7,6 Instantiating Giải mã và tối đa hóa rDec. . . . . . . . . . . . . . . . . . . 75
7.7 An ninh của Đề án bê tông. . . . . . . . . . . . . . . . . . . . . . . . 77
7.8 Làm thế nào hữu ích là Đề án Hơi Homomorphic By thân nó? . . . . . . . . 79
8 Tinh chỉnh để các Hơi Homomorphic Đề án 81
8.1 Trên Mối quan hệ giữa hai và Inverse của một lý tưởng lưới. 82
8.2 Chuyển nhượng bổ đề cho lý tưởng Lưới. . . . . . . . . . . . . . . . . . . . 85
8.3 Tinh chỉnh Decryption Equation. . . . . . . . . . . . . . . . . . . . . . . 86
8.4 Một Tweak để Giảm mạch phức tạp của Tròn Bước trong Giải mã 88
9 Giải mã phức tạp của Tweaked Đề án 90
10 đè bẹp các Giải mã Circuit 98
10.1 A Description Generic của chuyển đổi. . . . . . . . . . . . . . . . . 98
10.2 Cách Squash, Cụ. . . . . . . . . . . . . . . . . . . . . . . . . . . 100
10,3 Bootstrap đạt được: Các Giải mã vi mạch cho các cải biên hệ thống 102
11 Bảo mật 104
11.1 Về Gợi ý Làm tại của chúng tôi "nát" chuyển đổi. . . . . . . 104
vii
11,2 giả định làm đối trọng. . . . . . . . . . . . . . . . . . . . . . . . . 113
12 Hiệu suất và tối ưu hóa 115
12.1 Tối ưu đơn giản. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
12,2 Hiệu suất cơ bản. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
12,3 More tối ưu hóa. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
13 cơ bản về lý tưởng Lưới II 125
13,1 Tổng quan về Gaussian phân phối trên Lưới. . . . . . . . . . . . . . . 125
13.2 Smoothing Parameter. . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
13.3 Lấy mẫu một Lattice Theo một phân phối Gaussian. . . . . . . . . . 128
13,4 Lý tưởng nhân tử trong đa thức Rings. . . . . . . . . . . . . . . . . . . . 129