18、麦利耶斯公钥密码系统的密码分析

麦利耶斯公钥密码系统的密码分析

命题 3 的证明

设 $C (I)$ 为递减单项式码。首先证明点 (i)，即 $C (I)$ 的最小距离等于 $2^{m - r^+(C (I))}$。注意到 $r^+$ 也是 $I$ 中单项式的最大次数，由此可直接得出该结论。

若考虑此单项式的求值，可得到一个重量为 $2^{m - r^+(C (I))}$ 的码字。这意味着 $C (I)$ 的最小距离小于或等于该值。另一方面，$C (I)$ 的最小距离大于或等于 $R(r^+, m)$ 的最小距离，根据定理 2，$R(r^+, m)$ 的最小距离等于 $2^{m - r^+(C (I))}$，从而证明了该结论。

接下来考虑第二点：
- $r^-(C (I)^{\perp}) = m - 1 - r^+(C (I))$
- $r^+(C (I)^{\perp}) = m - 1 - r^-(C (I))$

这可直接由命题 2 得出：$C (I)^{\perp}= C (M \ \check{I})$，以及 $r^-(C (I)^{\perp})$ 和 $r^+(C (I)^{\perp})$ 的另一种定义，即 $r^-$ 是使得所有次数为 $r$ 的单项式都在 $M \ \check{I}$ 中的最大次数，$r^+$ 是属于 $M \ \check{I}$ 的单项式的最大次数。

第三点，即 $C (I)^{\perp}$ 的最小距离等于 $2^{r^-(C (I)) + 1}$，可通过将点 (i) 应用于单项式码 $C (I)^{\perp}$ 并结合上述公式 (6) 直接得出。

下面证明任何递减单项式码 $C (I)