本文介绍了如何利用Logic Friday软件对8-bit S盒进行操作，通过导入DDT真值表，优化合取范式并转化为不等式。详细步骤包括：将真值表转换为CSV格式，使用Logic Friday的Minimize功能，以及将得到的合取范式转换为不等式形式。
8-bit大S盒的基于bit的刻画，用sage跑不出来不等式结果。所以用TODO文章中所说的方法得到不等式。
1.给出DDT的真值表txt格式，另存为.csv文件（ANSI即可）。
2.用Logic Friday软件导入真值表，选择Operation—Minimize，（这一步是优化合取范式，使得其中的析取项的数目最少），然后查看Equation—Product of Sums得到化简的合取范式。
3.将合取范式再写成不等式的格式。
例如：Logic Friday中 X 0 , X 1 , X 2 , X 3 , Y 0 , Y 1 , Y 2 , Y 3 X0,X1,X2,X3,Y0,Y1,Y2,Y3 X0,X1,X2,X3,Y0,Y1,Y2,Y3对应S盒的 （ x 0 , x 1 , x 2 , x 3 , y 0 , y 1 , y 2 , y 3 ) （x0,x1,x2,x3,y0,y1,y2,y3) （x0,x1,x2,x3,
最低0.47元/天 解锁文章
扫一扫
评论 3
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
