Điểm:2

Ánh xạ của một chuỗi k bit sang một chuỗi k bit khác chứa 1 có phải là hàm một chiều không?

lá cờ mx

Tôi chưa quen với phân tích mật mã và tôi đã thấy trong một câu trả lời khác cho một câu hỏi điều đó $f: \lbrace0, 1\rbrace^{\kappa}\to \lbrace0, 1\rbrace^{\kappa}, f(x) = 1^{\kappa} $ là hàm một chiều. Tại sao điều này là trường hợp? Bất kỳ trợ giúp sẽ được đánh giá cao

lá cờ et
Đầu ra luôn giống nhau đối với một giá trị cụ thể của k - vậy làm thế nào bạn tìm ra nó đến từ đầu vào nào. Vì vậy, nó không thể đảo ngược. Vì vậy, nó là một chức năng một chiều
fgrieu avatar
lá cờ ng
@user93353: mặt khác, với $y$ sao cho $\tồn tại x_0$ với $y=f(x_0)$, việc hiển thị $x_1$ với $y=f(x_1)$ là chuyện nhỏ. Vì vậy, nó không chống va chạm.Vậy…¦ Có thể nào chỉ nêu rõ [định nghĩa của OWF](https://en.wikipedia.org/wiki/One-way_function#Theoretical_definition) sẽ cho phép giải quyết câu hỏi?
lá cờ et
@fgrieu - nó đáp ứng định nghĩa "Hàm f : {0,1}* â {0,1}* là một chiều nếu f có thể được tính bằng thuật toán thời gian đa thức, nhưng bất kỳ thuật toán ngẫu nhiên thời gian đa thức nào F cố gắng tính toán một giả nghịch đảo cho f thành công với xác suất không đáng kể." Định nghĩa không bao gồm khả năng chống va chạm. Ở bên dưới, họ định nghĩa "Hàm băm không va chạm f là hàm một chiều ** cũng ** chống va chạm"
lá cờ cn
@ user93353 bạn đang hiểu sai định nghĩa về OWF. Để trở thành một OWF, điều bắt buộc là việc tìm kiếm *bất kỳ* hình ảnh tiền đề nào là khó. Đây không phải là trường hợp ở đây. Xuất chuỗi bit *any* $\kappa$ theo nghĩa đen là đủ để phá vỡ tính một chiều của hàm hằng. Điều này không có gì đáng ngạc nhiên vì chúng ta thậm chí không biết liệu các hàm một chiều có tồn tại hay không và sự tồn tại của chúng sẽ ngụ ý những đột phá lớn trong lý thuyết phức tạp.
lá cờ cn
Câu trả lời mà câu hỏi này đề cập đến đã bị xóa chưa? Tuyên bố (không chính xác) rằng hàm hằng là một chiều không xuất hiện trong bất kỳ câu trả lời nào tôi có thể thấy.
lá cờ et
@Maeher hiểu rồi. Tất cả các đầu vào là hình ảnh trước của đầu ra không đổi
fgrieu avatar
lá cờ ng
@Maeher: một câu trả lời đã bị xóa cho [câu hỏi được liên kết](https://crypto.stackexchange.com/q/24348/555) không chứa bất cứ điều gì từ xa giống như yêu cầu không chính xác trong câu hỏi hiện tại.
Điểm:6
lá cờ cn

Khiếu nại (mà tôi không thể tìm thấy ở bất kỳ đâu trong câu trả lời cho câu hỏi được liên kết) là không chính xác. Hàm hằng không thể là một chiều. Để hiểu tại sao, chúng ta hãy nhớ lại định nghĩa của hàm một chiều.

một chức năng $f : \{0,1\}^* \to \{0,1\}^*$ là một chiều, nếu

  1. Tồn tại một thuật toán thời gian đa thức $M_f$ như vậy mà $M_f(x) = f(x)$ cho tất cả $x\in\{0,1\}^*$.
  2. Đối với mọi thuật toán PPT $\mathcal{A}$ tồn tại một chức năng không đáng kể $\mathsf{negl}$ như vậy cho tất cả $\kappa\in\mathbb{N}$ nó giữ điều đó $$\Pr[x\gets\{0,1\}^\kappa, y:=f(x)\;:\;f(\mathcal{A}(1^\kappa,y))=y ] \leq \mathsf{negl}(\kappa)$$

Tuy nhiên, đối với bất kỳ hàm hằng nào, thật dễ dàng để chỉ định thuật toán PPT $\mathcal{A}$$$\Pr_{x\gets\{0,1\}^\kappa}\bigl[f\bigl(\mathcal{A}(1^\kappa,f(x))\bigr)=f(x) \bigr] = 1$$ cho tất cả $\kappa\in\mathbb{N}$. Ví dụ: chúng ta có thể định nghĩa $\mathcal{A}$ như thuật toán luôn xuất ra $1^\kappa$. Tức là, cho tất cả $x\in\{0,1\}^\kappa$ chúng ta có $f\bigl(\mathcal{A}(1^\kappa,f(x))\bigr) = f(1^\kappa)$ và kể từ khi chức năng $f$ là hằng số, nó đúng với mọi $x\in\{0,1\}^\kappa$ điều đó $f(1^\kappa) = f(x)$. Như vậy $\mathcal{A}$ phá vỡ tính một chiều của $f$ với xác suất $1$$f$ không phải là một chiều.

kelalaka avatar
lá cờ in
Có lý do rõ ràng nào để không nói $f$ là thời gian đa thức không?
lá cờ cn
$f$ không phải là một thuật toán, do đó, nó không có thời gian chạy được xác định rõ ràng có thể là đa thức.
amlearn369 avatar
lá cờ mx
Cảm ơn bạn. Đây là những gì tôi nghĩ. Trong câu hỏi được liên kết, có một nhận xét cho câu trả lời đúng nói rằng "nếu bạn thực sự phải có hai hàm một chiều riêng biệt, thì bạn luôn có thể sử dụng $1^{/2}$ thay vì $0^{/2}$ cho một trong số chúng.
lá cờ cn
Điều mà nhận xét đó đề xuất là sử dụng hai hàm $f_1(x_1\Vert x_2) = 0^{n/2}\Vert h(x_1)$ và $f_2(x_1\Vert x_2) = 1^{n/2} \Vert h(x_1)$, chỉ để nhận hai hàm *khác nhau*, nếu điều đó được yêu cầu bằng cách nào đó. (Có những giải pháp đơn giản hơn trong trường hợp đó.)

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