Điểm:1

Có bất kỳ ước tính nào cho bán kính phổ và phân phối giá trị riêng cho các hàm tròn AES, DES, v.v. không?

lá cờ ne

Giả sử rằng $F:K\times X\rightarrow X$ là một hàm sao cho với mỗi $k\in K$, ánh xạ $F_{k}:X\rightarrow X$ được xác định bằng cách cho phép $F_{k}(x)=F(k,x)$ là một lời từ chối. Giả sử rằng $F$ là hàm tròn cho một số hàm mật mã, chẳng hạn như mật mã khối hoặc hàm băm mật mã. Để cho $V_{X}$ là không gian vectơ phức chứa tất cả các bộ $(\alpha_{x})_{x\in X}$ như vậy mà $\sum_{x\in X}\alpha_{x}=0$. Định nghĩa một biểu diễn tuyến tính bất khả quy của $\phi$ nhóm hoán vị $S_{X}$ trên $V_{X}$ bằng cách cho phép $\phi(f)(\alpha_{x})_{x\in X})=(\alpha_{f(x)})_{x\in X}$.

Định nghĩa phép biến đổi tuyến tính $L_{F}=\sum_{k\in K}\phi(F_{k})$.

Nếu các hoán vị $F_{k}$ được chọn ngẫu nhiên và độc lập, sau đó luật thông tư dường như giữ cho phép biến đổi tuyến tính $L_{F}$, vì vậy các giá trị riêng của $L_{F}$ nên được phân phối gần như đồng đều trên đĩa $\{z\in\mathbb{C}:|z|^{2}\leq |K|\}$, và bán kính quang phổ của $L_{F}$ nên ở xung quanh $\sqrt{|K|}$. Tất nhiên, trong thực tế các hàm tròn $F_{k}$ không ngẫu nhiên đối với các hàm vòng mật mã khối $F$. Có vẻ như sẽ rất tốt nếu cố gắng tạo ra bán kính quang phổ của $L_{F}$ khá thấp để tạo ra các biến ngẫu nhiên $Z_{n}$ như đồng phục trên $X^{2}$ càng tốt khi giá trị của $Z_{n}$ là một cặp ngẫu nhiên $(x,y)$ ở đâu $x$ được chọn từ $X$ đều một cách ngẫu nhiên và $y=F_{k_{1}}\dots F_{k_{n}}(x)$ được chọn ngẫu nhiên và độc lập $k_{1},\dots,k_{n}\in K$.

Hiện nay, có một số trường hợp $L_{F}$ là vạn năng vì những lý do khá tầm thường. Ví dụ, nếu $F(k,x)=k\oplus g(x)$ cho một số hoán vị $g$ (như trường hợp của AES), sau đó $L_{F}$ là vạn năng. Người ta cũng có thể đảm bảo rằng $L_{F}$ không có hiệu lực đối với một số chức năng của khối mật mã Feistel $F$.

Có bất kỳ tính toán hoặc ước tính nào về bán kính phổ hoặc phân phối giá trị riêng của $L_{F}$ đối với các hàm vòng cho SHA-256 hoặc bất kỳ hàm băm mật mã hoặc mật mã khối hiện đại nào khác $F$ ở đâu $L_{F}$ không phải là vạn năng?

thuật ngữ toán học

$S_{X}$ là nhóm tất cả các hoán vị từ $X$ đến $X$.

Nếu $V,W$ là các không gian vectơ, khi đó hãy để $\text{Hom}(V,W)$ là tập hợp tất cả các phép biến đổi tuyến tính $L:V\rightarrow W$. Nếu $G$ là một nhóm và $V$ là một không gian vectơ, sau đó là một biểu diễn tuyến tính của $G$ trong không gian véc tơ $V$ là một chức năng $\phi:G\rightarrow\text{Hom}(V,V)$ như vậy mà $\phi(g)\circ\phi(h)=\phi(gh)$ bất cứ khi nào $g,h\in G$. chúng tôi nói rằng $\phi$ là bất khả quy nên không tồn tại một không gian con không tầm thường đúng $W$ của $V$ như vậy mà $\phi(g)(w)\in W$ bất cứ khi nào $w\in W$.

Nếu $A$ là một ma trận vuông, sau đó là một giá trị riêng của $A$ là một vô hướng $\lambda$ như vậy mà $A\mathbf{x}=\lambda\mathbf{x}$ cho một số vectơ khác không $\mathbf{x}$.

Nếu $A$ là một ma trận vuông với các mục thực hoặc phức, sau đó xác định bán kính phổ $\sigma(A)$ của $A$ được $$\max\{|\lambda|:\text{$\lambda$ là giá trị riêng của $A$}\}.$$

Giả sử rằng $K$ là trường số thực hoặc số phức và $V$ là một không gian vectơ trên trường $K$. Chuẩn trên không gian véc tơ $V$ là một chức năng $\|\cdot\|:V\rightarrow[0,\infty)$ sao cho nếu $\alpha\in K,\mathbf{x},\mathbf{y}\in V$, sau đó

  1. $\|\alpha\cdot\mathbf{x}\|=|\alpha|\cdot\|\mathbf{x}\|,$

  2. $\mathbf{x}\neq 0$ nếu và chỉ nếu $\|\mathbf{x}\|>0$, và

  3. $\|\mathbf{x}+\mathbf{y}\|\leq\|\mathbf{x}\|+\|\mathbf{y}\|$.

Hóa ra bán kính quang phổ luôn luôn $$\sigma(A)=\lim_{n\rightarrow\infty}\sqrt[n]{\|A^{n}\|}$$ không phụ thuộc vào định mức được chọn.

Chúng tôi nói rằng một $n\lần n$ ma trận $A$ là lũy linh nếu nó thỏa mãn một trong các tính chất sau:

  1. $A^{n}=0$.

  2. $A^{k}=0$ cho một số $k$.

  3. Tất cả các giá trị riêng của $A$$0$.

  4. Bán kính quang phổ của $A$$0$.

Joseph Van Name avatar
lá cờ ne
Tôi đã phải chỉnh sửa câu hỏi để loại trừ trường hợp $L_{F}$ là lũy linh.
Paul Uszak avatar
lá cờ cn
Mặc dù không phải là người giỏi toán, tôi không nhận ra nhiều thuật ngữ/khái niệm bạn đang sử dụng. Điều này có thể phù hợp hơn với Tràn toán học (chỉ có một chút liên quan đến mật mã không?) Trọng tâm của chúng tôi về các hàm vòng chủ yếu là để thực hiện với các số liệu về sự nhầm lẫn và phổ biến.
Joseph Van Name avatar
lá cờ ne
Tôi đã thêm một số thuật ngữ toán học. Bán kính quang phổ $\sigma(L_{F})$ của $L_{F}$ là thước đo của một thứ gì đó giống như sự nhầm lẫn vì nó đo mức độ đồng nhất của các biến ngẫu nhiên $Z_{n}$ trở thành $n\rightarrow\infty$ , nhưng $\sigma(L_{F})$ có thể khó tính toán hoặc ước tính.

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