Implementing an ideal systemSince m

Implementing an ideal system
Since most real-world systems do not have access to a random oracle, there is a need to “implement”
the random oracle aspect of the ideal systems from above. The soundness of the random oracle
methodology depends on finding a suitable notion of implementation, such that whenever the ideal
system is secure in the Random Oracle Model, the implementation will be secure in the standard
model. Furthermore, the implementation should be directly available (i.e., fully specified) to each
party.1 However, all the notions that we consider in this work fail poorly at this challenge.
Loosely speaking, by “implementing” a particular ideal system we mean using an easy-toevaluate function f instead of the random oracle. That is, whenever the ideal system queries the
oracle with a value x, the implementation instead evaluates f(x). In this work, we examine three
formalizations of this notion. First we briefly examine (and discard of) the notion of implementation
by a single function. Then we discuss implementation by a function ensemble, which is the notion
we use through most of the paper. Finally, we discuss a more stringent notion, where the functions
in the ensemble can only be evaluated on inputs of a pre-determined (short) length.

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

Thực hiện một hệ thống lý tưởngKể từ khi hầu hết các hệ thống thế giới thực không có quyền truy cập để oracle ngẫu nhiên, có một nhu cầu để "thực hiện"Các khía cạnh oracle ngẫu nhiên của các hệ thống lý tưởng từ trên cao. Soundness của oracle ngẫu nhiênphương pháp phụ thuộc vào việc tìm kiếm một khái niệm phù hợp với quá trình thực hiện, như vậy mà bất cứ khi nào lý tưởngHệ thống an toàn trong mô hình Oracle ngẫu nhiên, việc thực hiện sẽ được an toàn trong các tiêu chuẩnMô hình. Hơn nữa, việc thực hiện phải trực tiếp có sẵn (tức là, đầy đủ quy định) cho mỗiParty.1 Tuy nhiên, tất cả các khái niệm mà chúng tôi xem xét trong công việc này không kém thách thức này.Lỏng lẻo nói, bằng cách "thực hiện" một hệ thống lý tưởng đặc biệt chúng tôi có nghĩa là bằng cách sử dụng một hàm f toevaluate dễ dàng thay vì oracle ngẫu nhiên. Có nghĩa là, bất cứ khi nào các truy vấn hệ thống lý tưởng cácOracle với một giá trị x, việc thực hiện thay vì đánh giá f (x). Trong tác phẩm này, chúng ta xem xét baformalizations của khái niệm này. Trước tiên, chúng tôi một thời gian ngắn kiểm tra (và loại bỏ của) các khái niệm của việc thực hiệnmột chức năng duy nhất. Sau đó chúng tôi thảo luận về việc thực hiện bởi một toàn bộ chức năng, mà là khái niệmchúng tôi sử dụng thông qua hầu hết các giấy. Cuối cùng, chúng tôi thảo luận về một khái niệm nghiêm ngặt hơn, nơi mà các chức năngtrong toàn bộ chỉ có thể được đánh giá trên các đầu vào chiều dài (ngắn) được xác định trước.

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

Thực hiện một hệ thống lý tưởng
Vì hầu hết các hệ thống thực tế không có quyền truy cập vào một oracle ngẫu nhiên, có một nhu cầu "thực hiện"
các khía cạnh oracle ngẫu nhiên của hệ thống lý tưởng từ trên cao. Tính đúng đắn của oracle ngẫu nhiên
phương pháp phụ thuộc vào việc tìm kiếm một khái niệm thích hợp thực hiện, như vậy là bất cứ khi nào lý tưởng
là hệ thống an toàn trong Random Oracle Model, việc thực hiện sẽ được an toàn trong các tiêu chuẩn
mô hình. Hơn nữa, việc thực hiện nên được trực tiếp có sẵn (tức là, đầy đủ quy định) cho mỗi
party.1 Tuy nhiên, tất cả những khái niệm mà chúng ta xem xét trong công việc này không kém ở thử thách này.
Nói đại khái, bởi "thực hiện" một hệ thống lý tưởng Đặc biệt chúng tôi có nghĩa là sử dụng một hàm f dễ toevaluate thay vì oracle ngẫu nhiên. Đó là, bất cứ khi nào hệ thống lý tưởng truy vấn
oracle với một giá trị x, việc thực hiện thay vì đánh giá f (x). Trong tác phẩm này, chúng ta xem xét ba
formalizations của khái niệm này. Đầu tiên chúng tôi một thời gian ngắn kiểm tra (và loại bỏ của) các khái niệm thực hiện
bởi một chức năng duy nhất. Sau đó, chúng tôi thảo luận về thực hiện bởi một quần thể chức năng, mà là quan điểm
chúng tôi sử dụng thông qua hầu hết các bài báo. Cuối cùng, chúng tôi thảo luận về một khái niệm nghiêm ngặt hơn, nơi mà các chức năng
trong bộ quần áo đồng chỉ có thể được đánh giá trên các đầu vào có chiều dài xác định trước (ngắn).