文件名称：sha1-sat:SHA-1的SAT实例生成器
文件大小：29KB
文件格式：ZIP
更新时间：2024-06-11 01:56:31
C++
sha1-sat-SHA-1的SAT实例生成器 编译中 要进行编译，首先需要确保已安装Boost库。 完成后，只需运行make.sh： bash make.sh 跑步 要生成对完整SHA-1算法的原像攻击进行编码的CNF实例，请运行： ./main --cnf --rounds=80 --hash-bits=160 > instance.cnf 要查看可能的选项，请运行： ./main --help 如果您指定--opb而不是--cnf，则该程序还可以生成OPB实例（伪布尔约束）。 验证解决方案 要验证求解器输出的解决方案实际上是正确的，请运行： perl verify-preimage instance.cnf solution | ./verify-preimage 在这里，“解决方案”是文件输出，例如通过minisat或“ v”行为其他流行的求解器（如CryptoMi
【文件预览】：
sha1-sat-master
----verify-preimage.pl(1KB)
----data()
--------halfadder-2-2.out.txt(60B)
--------halfadder-6-3.out.txt(1KB)
--------halfadder-7-3.in.txt(13KB)
--------halfadder-7-3.out.txt(2KB)
--------halfadder-5-3.out.txt(525B)
--------halfadder-2-2.in.txt(125B)
--------halfadder-6-3.in.txt(6KB)
--------halfadder-3-2.out.txt(99B)
--------halfadder-3-2.in.txt(269B)
--------halfadder-5-3.in.txt(3KB)
----main.cc(23KB)
----verify-preimage.cc(2KB)
----format.hh(723B)
----COPYING(34KB)
----README.md(3KB)
----make.sh(143B)
----mkhalfadder.cc(2KB)