Điểm:0

Ai đó có thể giải thích cho tôi một cách đơn giản tại sao chúng tôi cần một đơn đặt hàng lớn của nhóm G cho Diffie-Hellman và điều đó có nghĩa là gì?

lá cờ vn
Zod

Đối với mã hóa El-gamal, p nguyên tố an toàn được sử dụng sao cho p = 2q+1.Tuy nhiên, ai đó có thể giải thích cho tôi bằng các thuật ngữ đơn giản tại sao chúng ta cần trong ngữ cảnh này một lượng lớn G và nó sẽ đóng góp như thế nào trong việc làm cho g^ab an toàn hơn sao cho a & b có thể đạt được bằng 0 thông qua việc giải bài toán logarit rời rạc.

Dựa trên Wikipedia, sử dụng p = 2q+1 biểu thị rằng bậc của G là 2 và q và "g sau đó đôi khi được chọn để tạo ra nhóm con thứ tự q của G, thay vì G, do đó ký hiệu Legendre của ga không bao giờ lộ ra bit bậc thấp của a. Một giao thức sử dụng lựa chọn như vậy chẳng hạn như IKEv2.[15]" Cũng muốn hiểu rõ hơn về ý nghĩa của điều này.

Điểm:2
lá cờ my

Tuy nhiên, ai đó có thể giải thích cho tôi bằng các thuật ngữ đơn giản tại sao chúng tôi cần trong ngữ cảnh này một lượng lớn G và nó sẽ góp phần làm cho g^ab an toàn hơn như thế nào

Bối cảnh (có thể bạn đã biết), với El Gamal, bản mã là cặp $g^r, h^r \cdot m$ (ở đâu $h$ là khóa công khai và $r$ là một giá trị ngẫu nhiên); nếu chúng ta có thể tìm ra giá trị $r$ là, chúng ta có thể phục hồi $m$ (vì chúng ta cho rằng chúng ta biết giá trị $h$).

Vì vậy, một trong những điều chúng ta cần đảm bảo là, với giá trị $g^r$, chúng ta không thể suy ra những gì $r$ Là; đây được gọi là "bài toán logarit rời rạc".

Với ý nghĩ đó, đây là một số phép toán đằng sau hiện trường:

Chúng tôi xác định "thứ tự của G" là giá trị nhỏ nhất $k > 0$$G^k = 1$. Điều này thật thú vị bởi vì $G^r$ chỉ có thể đảm nhận $k$ các giá trị khác nhau, $G^1, G^2, ..., G^{k-1}, G^k = 1$. Nếu chúng ta tiếp tục, chúng ta sẽ kết thúc việc lặp lại, bắt đầu lại từ $G^1$, và vì vậy điều đó không giúp ích gì cho chúng tôi.

Nếu chỉ có $k$ các giá trị khác nhau của $r$ cung cấp cho chúng ta các giá trị khác nhau của $G^r$, sau đó nếu $k$ nhỏ, những gì kẻ tấn công có thể làm là thử tất cả $k$ các giá trị khác nhau của $r$ và xem nếu một hoạt động; nếu anh ta có thể làm điều đó, anh ta có thể phục hồi đúng giá trị của $r$ [1]. Trên thực tế, hóa ra nếu kẻ tấn công sử dụng một chút thông minh, anh ta có thể thực hiện tìm kiếm này với khoảng $\sqrt{k}$ phép nhân; do đó nếu chúng ta muốn đảm bảo rằng kẻ tấn công phải thực hiện $2^{128}$ các hoạt động tấn công hệ thống (là tiêu chuẩn hiện tại cho "điều đó vượt quá khả năng của bất kỳ ai"), thì chúng ta cần một $k$ ít nhất $2^{256}$.

Và, hóa ra có một quan sát khác được thực hiện: nếu $k$ là hợp số và có thừa số nguyên tố $s$, kẻ tấn công có thể tính toán $r \bmod s$ với $\sqrt{s}$ hoạt động (bằng cách sử dụng cùng một loại thông minh); điều này làm giảm sức mạnh của một $G$.

sử dụng p = 2q+1 biểu thị rằng bậc của G là 2 và q và "g sau đó đôi khi được chọn để tạo nhóm con thứ tự q của G, thay vì G, do đó ký hiệu Legendre của g^a không bao giờ tiết lộ mức thấp thứ tự chút của a.

Điều này nói về một phương pháp phổ biến để đối phó với các cuộc tấn công trên (không phải là phương pháp duy nhất, tâm trí).

Nó chỉ ra rằng nếu $p = 2q+1$ thủ, ở đâu $q$ cũng là số nguyên tố, và nếu $p \mod 8 = 7$ (điều mà Wikipedia quên đề cập), thì giá trị $g=2$ luôn có đơn đặt hàng $q$; đó là một số nguyên tố lớn. 2 có gì đặc biệt? Chà, nó làm cho việc tính toán lũy thừa dễ dàng hơn một chút (vì nhân với 2 modulo p khá rẻ).

Và, khi nó nói về biểu tượng Legendre tiết lộ điều gì đó về $g^a$, vâng, đó là một phương pháp tìm mục đích đặc biệt $a \bmod 2$; về bản chất, đó là cách tiếp cận tương tự như tôi đã tham khảo ở trên để khôi phục $a \bmod s$$s=2$; nó chỉ hoạt động nếu thứ tự của $g$ có 2 là một yếu tố. Bởi vì chúng tôi đã chọn một $g$ có một thứ tự kỳ lạ $q$, nó không hoạt động.


[1]: Bạn có thể hỏi: ngay cả khi $G^r$ là như nhau, nó sẽ không thể là $H^r$ nhận các giá trị khác nhau? Hóa ra là không, điều đó không thể xảy ra - nếu chúng tôi tìm thấy bất kỳ giá trị nào $r$ mang lại cho anh ta giá trị quan sát của $G^r$, anh ta có thể sử dụng nó để giải mã.

dave_thompson_085 avatar
lá cờ cn
Nit: bạn xác định thứ tự của _element_ chẳng hạn như trình tạo đã chọn $g$; thứ tự của _group_ $G$ là số lượng phần tử và đối với $Z_p^*$ đây là $p-1$, vì vậy với $p=2q+1$ thứ tự của bất kỳ phần tử nào (và tương đương với nhóm con mà nó tạo ra) chia $2q$, và như bạn mô tả, chúng tôi thích $q$ hơn. Ngay cả khi $p \bmod 8 \neq 7$ có các phần tử order-q, nhưng không phải 2.
poncho avatar
lá cờ my
@dave_thompson_085: thực ra, trong ký hiệu tôi đã sử dụng ở trên, $G$ là một phần tử nhóm, không phải toàn bộ nhóm.

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.