面向布尔函数与 S 盒分析的 Windows x64 桌面工具。左侧栏切换单输出、多输出模块，导入真值表或代数正规型（ANF）的 TXT 文件，按需计算密码学指标。计算和文件读写均在本机完成。
下载 v2.1.0 Windows 便携版 · 查看 TXT 范例 · 使用说明 · 从源码构建
查看多输出分析界面
| 模块 | 输入 | 分析与导出 |
|---|---|---|
| 单输出 | 二进制／十六进制真值表、ANF；支持双函数互相关 | 平衡性、代数次数、非线性度、Walsh 谱、自相关、AI、FAI、SAC、PC、EA 变换等；导出规范化真值表和 ANF |
| 多输出 | 逐词或转置真值表、逐坐标 ANF | 向量函数及 S 盒的代数、差分和线性指标；可选导出 DDT、LAT、真值表和 ANF |
- 从 Releases 下载
BooleanFunctionLab-2.1.0-portable.exe，在 Windows x64 上直接运行。 - 在侧边栏选择模块，导入对应 TXT 文件，设置输入类型、维数和所需指标。
- 点击「开始分析」。结果在界面展示，规范化文件保存在输入文件旁，也可另选目录。
第一次尝试可直接使用以下文件：
所有范例及对应界面设置见 examples/README.md。单输出与多输出的 PDF 手册分别见 单输出使用说明 和 多输出使用说明。
- 使用说明：输入格式、输出文件、范围与常见问题。
- 多输出指标说明：坐标函数、DDT／LAT 和算法约定。
- 开发与构建：目录结构、编译、测试和发布包。
- GitHub 更新与发布流程：文件筛选、验证、上传及 EXE 发布核对。
- 单输出 C++ 设计大纲 · 多输出 C++ 设计大纲 · 指标思维导图。
main 分支保存持续更新的源码；v2.1.0 Release 中的 EXE 与源码 ZIP 是该版本发布时的快照。发布包附带 SHA256SUMS.txt，可用于核对下载文件。