v2.1.0 · 单输出与多输出 ANF 导入

布尔函数安全性分析 v2.1.0

Windows x64 便携版。左侧切换单输出与多输出模块，两者都支持导入真值表和 ANF TXT。

本次更新

• 单输出：更换 TXT 后恢复自动识别，避免上一份文件的输入类型、进制或 n 设置影响 ANF 导入。已用 quadratic_4var_anf.txt 验证。
• 多输出：新增坐标 ANF 导入、自动识别和格式选择，接受首行 n=4; m=4、后续 f1 = ... 至 f4 = ... 的格式。已用 PRESENT_4x4_ANF_reference.txt 验证，与真值表导入的指标、DDT、LAT 和导出文件一致。
• 新增可直接导入的多输出 ANF 范例，并更新两份 PDF 使用说明。

下载

• BooleanFunctionLab-2.1.0-portable.exe：最终版 Windows 便携程序。
• BooleanFunctionLab-2.1.0-source.zip：完整源码、测试、TXT 范例与说明。
• SHA256SUMS.txt：EXE 和源码包的 SHA-256 校验值。
• 两份 PDF 使用说明：分别介绍单输出及多输出导入与分析步骤。

TXT 范例及导入设置

v2.0.0 · 布尔函数安全性分析

布尔函数安全性分析 v2.0.0

Windows x64 便携版，侧边栏切换「单输出布尔函数」和「多输出布尔函数」。下载 BooleanFunctionLab-2.0.0-portable.exe 后双击运行，无需单独安装 Node.js 或 C++ 编译器。

下载文件

• BooleanFunctionLab-2.0.0-portable.exe：最终版 Windows 便携程序。
• BooleanFunctionLab-2.0.0-source.zip：完整项目源码、测试、说明和 TXT 范例。
• SHA256SUMS.txt：上述两个下载文件的 SHA-256 校验值。

TXT 范例

examples/README.md 说明每个文件的导入选项。examples/single-output/ 提供同一 4 元函数的二进制、十六进制和 ANF 三种输入；examples/multi-output/ 提供 PRESENT 4×4 S 盒的普通和转置真值表，分别有二进制及十六进制格式。TXT 范例已包含在源码压缩包中。

便携版未做代码签名，Windows 首次运行可能提示未知发布者。

PDF 使用说明

• 单输出布尔函数使用说明：真值表与 ANF 导入、分析和结果核对。
• 多输出布尔函数使用说明：PRESENT S 盒真值表、转置格式和 DDT/LAT 导出。