文件名称：node:NORX 差异搜索引擎
文件大小：15KB
文件格式：ZIP
更新时间：2024-07-31 14:49:19
Python
NODE - (NO)RX (D) 差分搜索 (E) 引擎 NODE 是一个分析 NORX 认证加密方案中差分传播的框架。 随附的研究论文可以在 IACR Cryptology ePrint Archive 中作为。 ＃＃＃＃要求 （可选） （可选） ####Setup NODE 在node/bin或 $PATH 中搜索stp （按此顺序）。 因此，要么全局安装 STP，要么将stp二进制文件复制/链接到node/bin/stp 。 其他两个支持的求解器boolector和cryptominisat 。 NODE 包括stp和cryptominisat作为子模块。 要检查它们，只需执行 git submodule init git submodule update 在node根文件夹中。 ####Usage 开始差异搜索执行 ./node.py -d {database}
【文件预览】：
node-master
----node.py(2KB)
----.gitignore(6B)
----src()
--------__init__.py(0B)
--------search()
--------utils.py(898B)
--------norx.py(11KB)
--------solver()
----bin()
--------__init__.py(0B)
----LICENSE(1KB)
----.gitmodules(200B)
----README.md(1KB)
----config()
--------__init__.py(0B)
--------db.py(5KB)
--------cmd.py(2KB)
----tmp()
--------__init__.py(0B)
----modules()
--------cryptominisat()
--------stp()