Điểm:2

Làm thế nào là khó khăn của vấn đề logarit rời rạc liên quan đến mật mã đường cong elliptic?

lá cờ sr

Theo định nghĩa, bài toán logarit rời rạc là giải đồng dư sau cho $x$ và người ta biết rằng nói chung không có thuật toán hiệu quả nào cho việc đó.

$$\begin{align*} b^x\equiv r&\pmod p\quad(1)\end{align*}$$ Nó là để tìm $x$ (nếu có) cho trước $r,b$ là số nguyên nhỏ hơn số nguyên tố $p$.

Tôi có đúng cho đến nay không? xin vui lòng sửa cho tôi nếu tôi đang hiểu lầm bất cứ điều gì.

Trong mật mã đường cong elip người ta nói rằng trong $P=a\lần G$ chúng ta không thể tính toán $a$ bằng cách biết $P$$G$ bởi vì vấn đề logarit rời rạc là khó giải quyết. Tôi không hiểu rằng điều này liên quan như thế nào đến phương trình 1. Ý tôi là chỉ có thuật ngữ giống nhau trong cả hai vấn đề?

Để làm rõ câu hỏi của tôi, hãy tưởng tượng rằng một thiên tài từ các thế hệ tương lai cuối cùng có thể đưa ra một giải pháp cho phương trình 1 được thực hiện trong thời gian khả thi bằng cách sử dụng một phần cứng trung bình được thiết lập vào thời điểm đó. Thuật toán họ đề xuất có khả năng tìm $x$ (nếu tồn tại) cho bất kỳ số nguyên tố nào $p$ và bất kỳ đưa ra $r, b$. Bây giờ, tôi muốn biết liệu phát minh này có phải là mối đe dọa đối với tính bảo mật của mật mã đường cong elip không? Nói cách khác, kiến ​​thức về thuật toán như vậy có giúp truy xuất $a$ từ $P$?

Nếu có, vui lòng giải thích mối quan hệ này được xác định như thế nào và luồng toán học mà chúng ta có thể tính toán là gì $a$ từ $P$, mà tôi đoán sẽ phải thông qua việc giải một đồng dư tương tự như phương trình 1.

Nếu không, vui lòng cho tôi biết điểm khác nhau giữa độ cứng của bài toán logarit rời rạc trong đường cong elip và trong phương trình 1 và tại sao thuật ngữ này được sử dụng ở đây.

lá cờ cn
"Người ta biết rằng không có thuật toán hiệu quả nào cho điều đó, nói chung" Điều đó không được biết. Nếu nó được biết, chúng ta cũng sẽ biết rằng $P \neq NP$.
kelalaka avatar
lá cờ in
[Logarit rời rạc: Cho a p, tìm logarit rời rạc của x cơ số y có nghĩa là gì?](https://crypto.stackexchange.com/q/76230/18298). [Tóm tắt vấn đề toán học cốt lõi của việc phá khóa công khai Curve25519](https://crypto.stackexchange.com/q/50405/18298) [Tại sao lại là đường cong Elliptic?](https://crypto.stackexchange.com/q /26873/18298)
kelalaka avatar
lá cờ in
Ngoài ra, nếu không có cấu trúc đặc biệt nào trong đường cong, thì lý thuyết nhóm chung cho chúng ta biết rằng cách tốt nhất bạn có thể thực hiện $\sqrt{n/2}$-time cho dlog trong ECC.
PouJa avatar
lá cờ sr
@Maeher, Xin lỗi vì tiếng Anh của tôi không tốt. Ý tôi là chúng tôi biết rằng không có thuật toán nào đã biết, không phải chúng tôi chắc chắn rằng không có thuật toán nào có thể tồn tại.
kelalaka avatar
lá cờ in
Quantum on ECC Dlog câu trả lời chính tắc: [Tính toán lượng tử hiệu quả như thế nào đối với mật mã đường cong elip?](https://crypto.stackexchange.com/q/59770/18298)
Điểm:6
lá cờ ru

Các bài toán logarit rời rạc có thể được xác định cho bất kỳ nhóm tuần hoàn hữu hạn nào, không chỉ nhóm nhân modulo một số nguyên tố. Ví dụ nổi tiếng nhất là vấn đề mà bạn mô tả, nhưng nó không phải là vấn đề duy nhất.

Các nhóm có thể được viết với ký hiệu phép nhân (như với nhóm nhân modulo $p$), do đó hoạt động nhóm được viết là $*$, $\times$, $\cdot$ hoặc đơn giản là ẩn ý. Trong tất cả các trường hợp này, chúng tôi sử dụng ký hiệu tự nhiên để sử dụng lặp lại thao tác nhóm với một phần tử duy nhất, tức là $b^2:=b*b$ và những khái quát hóa tương tự. Do đó, vấn đề logarit rời rạc chung cho một nhóm tuần hoàn $C$ được viết bằng ký hiệu nhân được tạo bởi $b$ được đưa ra $r\in C$ tìm một số nguyên $x$ như vậy mà $b^x=r$.

Các nhóm khác được viết bằng ký hiệu cộng (ký hiệu này thường dành cho các nhóm abel, bao gồm các nhóm đường cong elip). Trong trường hợp này phép toán nhóm được ký hiệu $+$ (nhưng không nên đọc là phép cộng theo nghĩa thông thường) và một lần nữa, có một ký hiệu tự nhiên để sử dụng lặp lại phép toán nhóm với một phần tử đơn lẻ, tức là. $2G=G+G$ và kể từ đó trở đi. Khi được viết theo cách này, vấn đề logarit rời rạc cho một nhóm tuần hoàn $C$ được tạo ra bởi $G$ trở thành: đã cho $P\trong C$ tìm một số nguyên $x$ như vậy mà $xG=P$.

Người ta tin rằng không có sự dịch rõ ràng giữa các bài toán logarit rời rạc trong các nhóm khác nhau. Có một số nhóm mà vấn đề logarit rời rạc là dễ dàng (ví dụ: nhóm cộng modulo $p$, nhóm nhân modulo $2^n$ và thậm chí (theo nghĩa gần như đa thức) nhóm nhân của $GF(2^n)$).

Đối với trường hợp cụ thể của các nhóm nhân modulo $p$ cuộc tấn công (cổ điển) được biết đến nhiều nhất là sàng trường số giải quyết vấn đề trong thời gian cấp số nhân phụ. Cuộc tấn công này chỉ có thể được áp dụng cho các loại đường cong elip rất hiếm (đường cong MOV) và các cuộc tấn công chung được biết đến nhiều nhất chống lại các đường cong elliptic là các cuộc tấn công ``căn bậc hai'' áp dụng cho tất cả các nhóm.

Lưu ý rằng tất cả các bài toán logarit rời rạc có thể được giải trong thời gian đa thức (lượng tử) bằng cách Thuật toán Shor.

PouJa avatar
lá cờ sr
Cảm ơn bạn vì câu trả lời. Vui lòng cụ thể hơn về câu hỏi cuối cùng. Câu trả lời là Có hay Không? Tôi vẫn còn bối rối.
Daniel S avatar
lá cờ ru
Không. Không có cách nào để chuyển vấn đề.
Myria avatar
lá cờ in
Cũng lưu ý rằng tất cả các nhóm tuần hoàn là đẳng cấu với mọi nhóm tuần hoàn khác có cùng thứ tự. Vậy $(\mathbb{Z}/{(p-1)}\mathbb{Z})^+$ và $(\mathbb{Z}/p\mathbb{Z})^\times$ là đẳng cấu của số nguyên tố $ p$ và các logarit rời rạc trong $(\mathbb{Z}/{(p-1)}\mathbb{Z})^+$ là các logarit đơn giản và rời rạc trong $(\mathbb{Z}/p\mathbb{ Z})^\times$ rất khó.
Điểm:0
lá cờ tl

Để cho $E$ là một đường cong elip được xác định trên một trường hữu hạn $\mathbb{F}_p$:

$$E : y^2 = x^3 + Ax + B \text{ với } A, B \in \mathbb{F}_p$$

Để cho $P$$T$ được điểm trong $E(\mathbb{F}_p)$. Tìm một số nguyên $a$ Vì thế điều đó

$$ P =aG$$

Đây là vấn đề đối với các đường cong elliptic. Vấn đề có thể được viết lại bằng logarit:

$$ a = log_G (P)$$

Bạn có thể so sánh nó với logarit rời rạc "tiêu chuẩn":

$$ b^x \equiv r \mod p \Rightarrow x = log_b(r)$$

Bây giờ bạn có thấy những điểm tương đồng?

Ghi chú: Thiên tài của bạn nên có một cách hiệu quả để phá vỡ nó, không phải vì anh ta có nguồn lực vô hạn. Và vâng, nếu bạn có một cách hiệu quả để phá vỡ logarit rời rạc, bạn có thể sử dụng một biến thể của cách đó để phá vỡ các đường cong elip. Điểm chính của tiền điện tử đường cong elip là các tính toán nhanh hơn so với các hệ thống logarit rời rạc "tiêu chuẩn" (có rất nhiều ưu điểm khác cho ecc).

PouJa avatar
lá cờ sr
ý nghĩa của việc viết $P=a\times G$ là $ a = log_G (P)$ là gì? Tại sao chúng ta không thể nói $a=P\times G^-1$? Khi nói về logarit, cần có cơ số và lũy thừa. Ở đây $G$ không được nâng lên lũy thừa của $a$. Là nó? @titanlord
PouJa avatar
lá cờ sr
Tại sao bạn lại nói rằng tính toán theo đường cong elip nhanh hơn trong khi tính toán $r$ từ $b$ và $x$ có vẻ đơn giản hơn nhiều so với tính toán $P$ từ $a$ và $G$ bằng cách thêm và nhân đôi các chức năng liên quan đến tính toán nghịch đảo mô-đun nhiều lần ở giữa? @Titanlord
Titanlord avatar
lá cờ tl
Trong $\mathbb{F}$ người ta có thể viết lại các bài toán như tôi đã làm. Điều này sẽ cho bạn thấy những điểm tương đồng của các vấn đề. Các cuộc tấn công đã biết vào bài toán log rời rạc là cơ sở cho các cuộc tấn công vào đường cong elliptic. Ví dụ. Bé-Bước-Bước Khổng Lồ.
Titanlord avatar
lá cờ tl
Bạn có thể tính toán nhanh hơn trên giấy. Nhưng một máy tính với các thao tác tiêu chuẩn cần nhiều thời gian để tính số mũ trong $\mathbb{F}$. Trên thực tế, điều này dẫn đến nhiều thao tác hơn mức cần thiết cho phương pháp cộng và nhân đôi.

Đă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.