基本信息

---

下载

文档摘要

---

轻量级分组密码算法S盒的初步实现设计案例

目录

TOC\o1-3\h\u14522轻量级分组密码算法S盒的初步实现设计案例 1

158641.2S盒乘法复杂度 1

194871.3SAT求解器初步实现S盒电路 2

298171.3.1初步实现步骤及原理 2

157881.3.2LED算法S盒和MIBS算法初步优化结果 1

1.1SAT求解器介绍

SAT求解器解决的是SAT问题。SAT问题是指给定一个命题变量的集合m和该集合的合取范式F(m)，判断有没有一个关于m的真值）值Z(m)，使得F(m）为真，如果存在那我们认为）(m)是可满足的，反之认