We propose a fully homomorphic encr

We propose a fully homomorphic encryption scheme – i.e.,
a scheme that allows one to evaluate circuits over encrypted
data without being able to decrypt. Our solution comes
in three steps. First, we provide a general result – that,
to construct an encryption scheme that permits evaluation
of arbitrary circuits, it suffices to construct an encryption
scheme that can evaluate (slightly augmented versions of)
its own decryption circuit; we call a scheme that can evaluate
its (augmented) decryption circuit bootstrappable.
Next, we describe a public key encryption scheme using
ideal lattices that is almost bootstrappable. Lattice-based
cryptosystems typically have decryption algorithms with low
circuit complexity, often dominated by an inner product
computation that is in NC1. Also, ideal lattices provide
both additive and multiplicative homomorphisms (modulo a
public-key ideal in a polynomial ring that is represented as
a lattice), as needed to evaluate general circuits.
Unfortunately, our initial scheme is not quite bootstrap
pable – i.e., the depth that the scheme can correctly evalu
ate can be logarithmic in the lattice dimension, just like the
depth of the decryption circuit, but the latter is greater than
the former. In the final step, we show how to modify the
scheme to reduce the depth of the decryption circuit, and
thereby obtain a bootstrappable encryption scheme, with
out reducing the depth that the scheme can evaluate. Ab
stractly, we accomplish this by enabling the encrypter to
start the decryption process, leaving less work for the de
crypter, much like the server leaves less work for the de
crypter in a server-aided cryptosystem.
Categories and Subject Descriptors: E.3 [Data En
cryption]: Public key cryptosystems
General Terms: Algorithms, Design, Security, Theory

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

Chúng tôi đề xuất một chương trình đầy đủ homomorphic mã hóa-ví dụ,một chương trình mà cho phép một để đánh giá các mạch trên mã hóadữ liệu mà không thể giải mã. Giải pháp của chúng tôi nóitrong ba bước. Trước tiên, chúng tôi cung cấp một kết quả tổng hợp-đó,để xây dựng một chương trình mã hóa cho phép đánh giácủa mạch điện tùy ý, nó suffices để xây dựng một mật mã hóachương trình có thể đánh giá (hơi tăng cường các phiên bản của)mạch giải mã riêng của mình; chúng tôi gọi là một chương trình có thể đánh giáMạch (bổ sung) giải mã bootstrappable.Tiếp theo, chúng tôi mô tả sử dụng sơ đồ mã hóa khóa công khailý tưởng lưới đó là hầu như bootstrappable. Dựa trên lướicryptosystems thường có giải mã các thuật toán với thấpmạch phức tạp, thường xuyên bị chi phối bởi một sản phẩm bên trongtính toán ở NC1. Ngoài ra, lý tưởng lưới cung cấpphụ gia và tổng homomorphisms (modulo mộtkhóa công lý tưởng trong vòng một đa thức được thể hiện nhưmột lưới), như là cần thiết để đánh giá tổng hợp mạch.Thật không may, kế hoạch ban đầu của chúng tôi không phải là khá bootstrappable-tức là, độ sâu mà các chương trình có thể một cách chính xác evaluăn có thể là lôgarít trong kích thước lưới, giống như cácđộ sâu của các mạch giải mã, nhưng sau đó là lớn hơnCác cựu. Trong bước cuối cùng, chúng tôi chỉ làm thế nào để sửa đổi cácCác chương trình để giảm độ sâu của các mạch giải mã, vàdo đó có thể có được một đề án bootstrappable mã hóa, vớira làm giảm chiều sâu các đề án có thể đánh giá. ABstractly, chúng tôi thực hiện việc này bằng cách cho phép encrypter đểbắt đầu quá trình giải mã, rời khỏi công việc ít hơn cho deCrypter, giống như các máy chủ lá làm việc ít hơn cho deCrypter trong một máy chủ hỗ trợ cryptosystem.Thể loại và chủ đề descriptor: E.3 dữ liệu Encryption]: công cộng quan trọng cryptosystemsĐiều khoản chung: Thuật toán, lý thuyết thiết kế, an ninh,

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

Chúng tôi đề xuất một chương trình mã hóa hoàn toàn homomorphic - tức là,
một chương trình mà cho phép một để đánh giá mạch qua mã hóa
dữ liệu mà không thể giải mã. Giải pháp của chúng tôi đến
trong ba bước. Đầu tiên, chúng tôi cung cấp một kết quả tổng quát - rằng,
để xây dựng một chương trình mã hóa cho phép đánh giá
của các mạch tùy ý, nó cũng đủ để xây dựng một mã hóa
chương trình mà có thể đánh giá (phiên bản hơi tăng cường của)
mạch giải mã riêng của mình; chúng ta gọi là một chương trình mà có thể đánh giá
(augmented) mạch giải mã bootstrappable của nó.
Tiếp theo, chúng tôi mô tả một chương trình mã hóa khóa công khai sử dụng
Lưới lý tưởng đó là gần như bootstrappable. Lưới dựa trên
hệ thống mã hóa thường có thuật toán giải mã với thấp
phức tạp mạch, thường bị chi phối bởi một sản phẩm bên trong
tính toán đó là trong NC1. Ngoài ra, Lưới lý tưởng cung cấp cho
cả phụ gia và homomorphisms chất nhân (modulo một
lý tưởng khóa công khai trong một vòng đa thức được biểu diễn như là
một mạng), khi cần thiết để đánh giá mạch nói chung.
Thật không may, kế hoạch ban đầu của chúng tôi không phải là khá bootstrap
pable - tức là, sâu rằng chương trình này một cách chính xác có thể evalu
ăn có thể logarit trong chiều lưới, giống như
chiều sâu của mạch giải mã, nhưng sau này lớn hơn
trước đây. Ở bước cuối cùng, chúng ta thấy làm thế nào để sửa đổi các
chương trình giảm độ sâu của mạch giải mã, và
từ đó đạt được một chương trình mã hóa bootstrappable, với
ra giảm độ sâu rằng chương trình này có thể đánh giá. Ab
stractly, chúng tôi thực hiện điều này bằng cách cho phép các Encrypter để
bắt đầu quá trình giải mã, để lại ít làm việc cho de
crypter, giống như các máy chủ lá ít làm việc cho de
crypter trong một hệ mật máy chủ có hỗ trợ.
Categories và Phần mô tả Chủ đề: E.3 [Data En
cryption]: hệ thống mã hóa khóa công khai
Điều khoản chung: Các thuật toán, thiết kế, an ninh, Lý thuyết