SM4的解密验证及S盒代数性质分析

     摘要: 本文解释SM4算法解密时轮密钥为什么要反序，给出S盒的复现构造、代数性质分析，以及相关sage代码（SageMath版本为10.7）。关于SM4算法的标准，具体参考文献[1] 解密验证  依文献[1] 解密变换与加密变换使用相同的结构，仅是轮密钥顺序不同，解密时使用轮密钥序（rk31，rk30，…，rk0）。先从数学上证明如下     &nb...  阅读全文

2026-04-08 13:33 作者: 春秋十二月【评论:0】【阅读:53】 

关于格的行列式之解释

先摘自文献[1]中Lattice-based Cryptography章节引用的结论

 
 
 
再对上文三个结论稍作证明如下 

  

   
  

参考文献

  [1]  Post-Quantum Cryptography

  [2]  算法数论                 裴定一 祝跃飞 

  [3]  高等代数                 丘维声

2026-03-04 16:41 作者: 春秋十二月【评论:0】【阅读:167】 

NTRU格密码一处恒等式的证明

先摘取文献[1]的NTRU密码算法描述 

  
 
 矩阵T及T^*的定义如下 

    
 
  

 再给出证明过程 

   



参考文献
   [1]  Post-Quantum Cryptography

2026-01-27 18:00 作者: 春秋十二月【评论:0】【阅读:118】 

关于线性码的主要结论及应用

     摘要: 符号定义     主要结论       在密码学中的应用         上述McEliece公钥算法成立的关键之一是Gpub=SGP。由前面的定理1可得出Gpub与G等价，  但隐藏了码结构，另由于矩阵分解Gpub得到S和P是困难的，因为P随机且LU分解变形不唯...  阅读全文

2026-01-25 20:30 作者: 春秋十二月【评论:0】【阅读:146】