护航金融与关键行业 · OpenSSF Best Practices Silver（自认证，44/44 MUST）
FIBEMATE：中文 PQC 可执行教科书 · 国密 × PQC 混合验证平台
可执行、可复现的后量子密码教材 · 国密与 PQC 混合验证（CBOM · 形式化 · 硬件原型）
核心代码语句覆盖率 80.53%（CI，2026-11-10 实测；本地 81.27%） · CI 强制 80% 门禁
FIPS 203 ML-KEM-768 · SM2/SM3/SM4 · FPGA NTT 加速器
工程验证与证据生成 · 372 份 RFC 3161 时间戳存证（261 个唯一令牌，2026-11-14 实测）
🔒 v3.3.3 · 代码自 2026-08-31 起公开
🔬 引擎：libcrux（hax/F* 形式化验证，未验证的
kyber 变体未启用）· 互操作参照 @noble/post-quantum✅ 182 项 Rust 测试全过，0 项
#[ignore] · NIST ACVP KAT（ML-KEM-768 / ML-DSA-65 keygen·siggen·sigver）真实执行📋 代码已于 2026-08-31 公开（含 FPGA/NTT 硬件 RTL，随仓库公开；VWZ 研究线专用 RTL 暂未公开，详见 SECURITY.md） · 主仓库 · Tauri 桌面 · 实验研究 · CI 三仓工作流全绿 · ⚠ 安全限制声明
▸ 展开：算法栈与验证指标
🔒 v3.3.3 | ML-KEM-768 · SM2 · SLH-DSA · ML-DSA-44/65/87 (fml-dsa · 已发布 npm 0.1.0，带 Sigstore 证明 · 75 条 NIST ACVP KAT 逐字节通过) · OPK · FPGA v5 · ML-KEM-768 KAT 10,000 · SM2 11/11 (v1.3) + Mersenne 快速约减 1.8× · SLH-DSA WASM · OPK 预密钥协议
🏆 ML-KEM-768 通过 KAT 10,000 轮一致性验证 + TVLA v2 Enhanced (N=10,000) 时序侧信道验证 ·
C Native Addon (AVX2) 做了恒定时间实现尝试（未经独立 fuzzing / 侧信道审计，self-assessment）⚠ | 纯 JS 参考实现 时域泄漏评估见报告 · 查看 KAT 10,000 轮验证报告 →
C Native Addon (AVX2) 做了恒定时间实现尝试（未经独立 fuzzing / 侧信道审计，self-assessment）⚠ | 纯 JS 参考实现 时域泄漏评估见报告 · 查看 KAT 10,000 轮验证报告 →
⚡ FPGA 合成通过 · ILA+L4 确认闭环 · UART 调试已打通 ✅ · Artix-7 35T 时序收敛 · 查看硬件文档 ↓
🌀 离散挂谷集合 3D 可视化 · 维度 2–256 可调 · 与 LWE 安全性的几何直觉 · 打开交互演示 →
⚡ 2026-06-15 · SM2 全栈重构完成，与 sm-crypto 双向互操作验证通过，性能提升 7.3-8.6x · 详情 →
🛡️ SM2 TVLA N=5,000 · 20/20 全绿（1-4 阶矩）✅ · Montgomery Ladder v1.3 三重防护 · verify |t|=0.10 · decrypt |t|=0.16 · 查看 TVLA 分析报告 →
⚡ keygen 48µs
🔒 encaps 51µs
🛡️ decaps 105µs
C Native Addon (AVX2, AMD Ryzen 5600U) | 10,000 轮 ~2.9s
📜 纯 JavaScript：keygen ~1.3ms | encaps ~1.8ms | decaps ~2.5ms
🇨🇳 SM2 encrypt 4.5ms
🔒 decrypt 2.3ms
📝 sign 4.9ms
纯 JavaScript (BigInt, wNAF) | Node.js v22 | vs jsbn 基线 2.75x 加密加速
能力边界 · BOUNDARIES
完整免责声明
FIBEMATE 提供
PQC 迁移辅助 · CBOM 盘点与供应链门禁 · 形式化验证工程能力 · 可复现的测试与证据链
FIBEMATE 不提供
商用密码产品资质 · 商用密码应用安全性评估（密评）报告 · 第三方安全审计结论
本项目旨在为集成商与测评机构提供开箱即用的证据链与验证工具，不替代任何法定第三方检测。
技术验证栈
每一层都是可审计、可复现的密码学工程参考实现
1
流量混淆层
TLS 1.3 + 泊松流量塑形 (Poisson) + 随机填充，隐藏真实流量特征
2
后量子密钥交换
ML‑KEM‑768
· JS 参考实现：FIPS 203 合规，纯 JavaScript，FIPS 203 官方 KAT 参照向量 9/9 通过 · 自跑 10,000 轮 roundtrip 一致性 10,000/10,000（self-consistency） · 5.55ms/轮 (10,000 轮实测 ~55s)
· C Native addon（Node.js 原生模块）：AVX2 优化，keygen 48µs / encaps 51µs / decaps 105µs (10,000 轮 ~2.9s)
⚡ WASM 模块（Rust/libcrux → wasm-bindgen，FIPS 203）：139,929 B raw / 33.4 KiB gzip（gzip -9，opt-level=s + lto + strip）
· TVLA N=10,000 通过（self-assessment，非独立侧信道审计）
· 联合信任 + DigiCert 双源存证
📦 双实现 + WASM 可选：覆盖浏览器、Node.js、高性能场景 · JS 18.3 KiB + WASM 136.6 KiB（gzip -9 分别 5.5 / 33.4 KiB，glue 另 7.8 KiB）
· 查看 KAT 报告
· JS 参考实现：FIPS 203 合规，纯 JavaScript，FIPS 203 官方 KAT 参照向量 9/9 通过 · 自跑 10,000 轮 roundtrip 一致性 10,000/10,000（self-consistency） · 5.55ms/轮 (10,000 轮实测 ~55s)
· C Native addon（Node.js 原生模块）：AVX2 优化，keygen 48µs / encaps 51µs / decaps 105µs (10,000 轮 ~2.9s)
⚡ WASM 模块（Rust/libcrux → wasm-bindgen，FIPS 203）：139,929 B raw / 33.4 KiB gzip（gzip -9，opt-level=s + lto + strip）
· TVLA N=10,000 通过（self-assessment，非独立侧信道审计）
· 联合信任 + DigiCert 双源存证
📦 双实现 + WASM 可选：覆盖浏览器、Node.js、高性能场景 · JS 18.3 KiB + WASM 136.6 KiB（gzip -9 分别 5.5 / 33.4 KiB，glue 另 7.8 KiB）
· 查看 KAT 报告
3
Double Ratchet 密钥棘轮（验证示例）
X3DH + Double Ratchet 协议工程参考实现 · PQ 混合（ML-KEM-768 + P-256）验证通过
4
Sphinx 包格式
洋葱路由封装，保护元数据隐私 · TSA 存证 ✓
5
Mixnet 混合网络（仿真）
多跳路由（5 节点单机拓扑）+ 延迟混淆，用于协议验证与演示 · TSA 存证 ✓
6
后量子数字签名
SLH-DSA (FIPS 205) + fml-dsa (ML-DSA-44/65/87 · 纯 JS · npm 0.1.0 已发布)
· fml-dsa：已发布 npm 0.1.0（npmjs.com/package/fml-dsa），构建带 Sigstore provenance，来源可在 npm 页面直接核验
· FIPS 204 层（keygen / sign / verify / 编码）为本仓自研，75 条 NIST ACVP KAT 逐字节通过，与 @noble 的确定性签名逐字节一致；NTT 与采样原语来自 @noble/post-quantum
· 一条命令自证：
· 范围：参考实现，未审计、不在生产路径（见 packages/fml-dsa/src/core/README.md）
· SLH-DSA (SPHINCS+)：FIPS 205 标准，WASM 加速 107KB raw / 51KB gzip
· 查看 fml-dsa 跨库验证报告
· fml-dsa：已发布 npm 0.1.0（npmjs.com/package/fml-dsa），构建带 Sigstore provenance，来源可在 npm 页面直接核验
· FIPS 204 层（keygen / sign / verify / 编码）为本仓自研，75 条 NIST ACVP KAT 逐字节通过，与 @noble 的确定性签名逐字节一致；NTT 与采样原语来自 @noble/post-quantum
· 一条命令自证：
node scripts/verify-all.cjs 跑完 10 项检查（KAT / 对拍 / 非规范签名拒绝 / 输入校验 / 打包内容 / 冷安装往返），产出 evidence-report.json；已发布产物用 scripts/verify-release.cjs 对注册表版本核验 tarball sha512 与 SLSA 证明· 范围：参考实现，未审计、不在生产路径（见 packages/fml-dsa/src/core/README.md）
· SLH-DSA (SPHINCS+)：FIPS 205 标准，WASM 加速 107KB raw / 51KB gzip
· 查看 fml-dsa 跨库验证报告
7+
更多保护层
PIR 私有信息查询、ZK 零知识证明 (Bulletproofs)、差分隐私 (ε=1.0)、自毁消息（规划中）
🔬 后端通道说明
🟢 稳定通道
Node.js · 推荐日常使用
- 功能完整，经过充分测试
- 适合日常通信
- 当前默认通道
🔬 实验通道
Rust · 技术预览版
- WebSocket 性能提升 3-5×
- PQC 签名已完成 — SLH-DSA (FIPS 205) + ML-DSA-65 (FIPS 204 Phase 1 @noble 后端，跨 Noble 互操作验证通过) ✅
- 可能偶有不稳定 ⚠️
🟢 当前默认：稳定通道
· 可通过浏览器控制台切换
BackendRouter.switchTo('rust') BackendRouter.switchTo('node')
📋 双后端架构详情
• 稳定通道：Node.js 后端，功能完整，适合日常通信
• 实验通道：Rust 后端，WebSocket 性能提升 3-5×，PQC 签名已完成 (SLH-DSA + ML-DSA-65 FIPS 204 · Phase 1 @noble)
• 默认使用稳定通道，可通过浏览器控制台
• 切换后页面自动刷新，偏好保存在
• 实验通道：Rust 后端，WebSocket 性能提升 3-5×，PQC 签名已完成 (SLH-DSA + ML-DSA-65 FIPS 204 · Phase 1 @noble)
• 默认使用稳定通道，可通过浏览器控制台
BackendRouter.switchTo() 切换• 切换后页面自动刷新，偏好保存在
localStorage
🔒 安全部署
• 后端服务（:3001 / :3002）不暴露公网，仅监听 127.0.0.1
• 仅通过 Nginx（:80 / :443） 对外提供 Web 服务
• 所有服务由 systemd 托管，每进程内存上限 200–400 MiB
• 后端服务（:3001 / :3002）不暴露公网，仅监听 127.0.0.1
• 仅通过 Nginx（:80 / :443） 对外提供 Web 服务
• 所有服务由 systemd 托管，每进程内存上限 200–400 MiB
系统审计与证据链
不是"我们认为正确"，而是"你可以自己复核" · 2026-10-30 基线快照（G-8/G-9 见保证案例）
本站做的是工程验证与证据生成，不提供生产密码服务，也不承诺安全性
1
独立 Oracle 对拍
3 组固定种子，Rust / WASM /
⚠️ 如实标注：Rust 与 WASM 同源于 libcrux，真正独立的参照只有 noble —— 不把"三端一致"说成三次独立验证。
@noble/post-quantum 三端逐字节比对：pk 1184 B · sk 2400 B · ct 1088 B · ss 32 B 全等，每种子 12/12 通过；互操作矩阵 62/62（12 行 · 6 基线 · 0 失败）。⚠️ 如实标注：Rust 与 WASM 同源于 libcrux，真正独立的参照只有 noble —— 不把"三端一致"说成三次独立验证。
2
防篡改证据链（值比对 ≠ 完整性）
S2：只改 1 字节、不动任何数字 → 值比对仍然全绿，记录校验器判
S3：连摘要清单一起重写 → 被 TSR imprint 抓出
S4：缺少 CA 证书 →
drift；S3：连摘要清单一起重写 → 被 TSR imprint 抓出
drift；S4：缺少 CA 证书 →
unverifiable（exit 3），绝不显示为"通过"。
3
变异测试：证明 CI 真能拦住
把 ML-DSA 验签故意改成恒真并推送 → CI 在测试步变红（177 passed / 5 failed），而不是停在格式检查；
第一个变异还暴露了覆盖缺口：ACVP 解封装向量走 typed 入口，字节层 wrapper 只被单元测试覆盖。
第一个变异还暴露了覆盖缺口：ACVP 解封装向量走 typed 入口，字节层 wrapper 只被单元测试覆盖。
📄 阅读系统审计报告（AUDIT.md）
Oracle cross-validation · Mutation testing · TSR timestamping。报告（2026-10-30 基线）同时列出 7 项"不能证明"：实现安全、协议安全、PyPI provenance、aarch64 真机、WASM 站点无页面加载、交付门禁只证字节、时间戳只证存在；2026-11-10 新增 G-8（ML-KEM 无前向保密）、G-9（Composite 签名仅 EUF-CMA），见保证案例。
研究：可核验的工程验证方法论
预印本 · 未经同行评审 · 2026-10-30 · CC BY 4.0
Engineering Verification of PQC: A Case Study on Formalizing VWZ in Isabelle/HOL and Supply Chain Integration (CBOM)
23 页。把 Isabelle/HOL 上的 VWZ 形式化、CycloneDX BOM 的供应链集成，以及「部署返回 0 不等于交付成功」的字节级门禁放进同一条证据链，给出可复算的「防假绿」验证方法。
每个测量值都标注了仓库与 commit，读者可按附录的命令逐条重跑。
每个测量值都标注了仓库与 commit，读者可按附录的命令逐条重跑。
事实：Preprint · DOI
10.5281/zenodo.23808518 · 发布 2026-10-30 · 许可 CC BY 4.0。未投稿，未被任何会议或期刊录用。
核心特性
不只是加密，而是可验证的全栈密码学工程
PQC 工程验证
ML-KEM-768/1024 参考实现，FIPS 203 合规 · KAT 10,000/10,000 通过 · 桌面端（Rust/WASM）由 libcrux 驱动（hax/F* 形式化验证；未验证的
kyber 变体未启用） · 路径 A (X25519MLKEM768 NamedGroup)：✅ Active 2026-07-17（OpenSSL 3.x provider + systemd override，保留编译产出）；路径 C-2 (SM2+ML-KEM-768)：应用层混合 KEX 验证通过（E2E 测试页 5/5，API 端点就绪），当前 TLS Record 层仍为经典 ECDHE X25519 · 联合信任 ✓ + DigiCert ✓ 双源存证 · KAT 报告国密算法（技术验证）
SM2/SM3/SM4 国密算法技术验证与工程实现 · SM2 密钥协商 + SM4-αGCM 认证加密（常数时间 S-box，位切片实现 ✅），ML-KEM-768 后量子增强。
📊 SM2 TVLA v1.3 Montgomery Ladder N=5,000 · 1-4 阶矩高阶验证 · Welch's t-test 阈值 4.5
📊 SM2 TVLA v1.3 Montgomery Ladder N=5,000 · 1-4 阶矩高阶验证 · Welch's t-test 阈值 4.5
| 操作 | Masked |t| | 修复前 |t| | 结果 |
|---|---|---|---|
| 密钥生成 | 0.01 | ~1.4 | ✅ PASS |
| 签名 | 0.06 | ~1.4 | ✅ PASS |
| 验签 | 1.19 | 7.42 ❌ | ✅ PASS |
| 加密 | 0.34 | ~4 | ✅ PASS |
| 解密 | 2.06 | 8.22 ❌ | ✅ PASS |
📌 三重防护: Scalar Masking + Projective Randomization + Montgomery Ladder
🔗 N=5,000 · 5/5 一阶全 PASS + 20/20 高阶全 PASS · verify |t|=0.10 · decrypt |t|=0.16 · 恒时点乘
📅 2026-06-21 · FreeTSA 时间戳存证 · 571.7s (高阶)
可插拔加密架构
AlgorithmRegistry 热切换框架，ML-KEM-768 / SM2 已注册。
加密算法可配置、支持运行时切换，国密 PQC 标准发布后可快速接入。
Double Ratchet
每次消息都进行密钥更新，即使长期密钥泄露，历史消息依然无法解密
零知识认证
Bulletproofs 零知识范围证明已集成，支持 Pedersen 承诺，通过可信时间戳存证 · TSA 验证 ✓
Mixnet 路由
消息通过混合网络转发，元数据被深度混淆，无法追踪通信双方 · TSA 存证 ✓
多平台支持
已闭环：Electron + Tauri v2 桌面端（v3.3.7 · Windows x64 · cosign 签名 + SLSA provenance）+ React Native 移动端（clean-break 迁移完成，待真机 E2E 验证）· FPGA 合成 + ILA/L4 验证通过
开源协议
GPLv3 已开源（2026-08-31）。代码公开可独立审计。
密码学不应是黑盒 —— 所有核心算法实现将在开源时完整公开（VWZ 研究线专用 RTL 除外，见 SECURITY.md）。
标准参与与工具链保真
不假装完整，证据链优先，边界公开
标准化 · CycloneDX CBOM
原生输出符合 OWASP CycloneDX 规范的 CBOM，字段位置、枚举大小写与命名语义按官方 schema 校验，而不是按自己的解析器「能吃回去」。
同时参与该规范中密码学属性语义的澄清（提交记录见上游规范仓库）。cbom-tools 已合并进 CycloneDX/tool-center 工具清单（PR #170，2026-11-05），可在上游仓库核验。
高保真 · 字段级往返校验
内容寻址的稳定键 + 多维分类，显式区分「未评估」与「零值」；跨工具的序列化与往返测试逐字段比对，防止密码学属性在工具链流转中被静默丢弃。
样例已由外部互操作性审查方独立复核。
可复现 · 离线审计
审计全流程离线运行，不依赖网络；样例输入与校验值随制品归档，可离线复算。
序列化输出内含生成时间戳，因此承诺的是「输入快照与校验值可复算」，不是「输出字节级一致」。
cbom-tools · 物料清单生成器
— ① 生成 CBOM：扫描代码产出 CycloneDX 1.7 清单（旧版可用
verifact · 事实哨兵
— ② 审计与门禁核对：文档声明对产出物，漂移即红
--spec 1.6），交给 verifact 核对
npx cbom-tools scan --dir ./project --out cbom.json --spec 1.7
👉 阅读 PQC 迁移实操教程
— 从扫描到 CI 门禁，每个数字都是实跑输出
npm i -g verifact
crypto-hallucination-detector · 密码幻觉检测器
— ③ 检测 AI 编造的密码学写法：声称常数时间却按秘密分支、用下标索引秘密数组、调用不存在的加密 API
npm i -g crypto-hallucination-detector
fibemate-xdiff · 差分哨兵
— ④ 抓同一算法的实现分叉：拿两份实现比对派生路径与 KAT 输出，悄悄改了一处就红（命令行仍叫
xdiff）
npm i -g fibemate-xdiff
crypto-time-machine · 密码时间机器
— ⑤ 查某个 API 是哪天进来的：按真实 git 历史追一个密码学 API 的引入与变更，落到本地时间轴（命令
ctime）
pip install crypto-time-machine
fibemate-core · 可嵌入式 PQC 核心（ML-KEM-768）
— Apache-2.0，可闭源集成；纯 JS 无原生依赖，GitHub Actions 发布并带 Sigstore provenance
npm install fibemate-core
npm 包均由 GitHub Actions 发布并带 Sigstore 签名（Built and signed on GitHub Actions），可在各自 npm 页面核验 provenance；PyPI 包
2026-10-29 实测：
crypto-time-machine 0.1.2 的 wheel 与 sdist 均带 PEP 740 发布证明（publisher Lennonhaha/fibemate-tools · release-pypi.yml · environment pypi），可在 PyPI 的 /integrity/ 端点核验；npm 侧 provenance 已验证通过。2026-10-29 实测：
www 与 mixnet 运行时依赖 npm audit --omit=dev 均为 0 vulnerabilities，Dependabot 开放告警 0 条（qs / CVE-2026-110816 已修复至 6.16.1）。
👉 在线体验 verifact 审计看板（无需安装）
拖入一份 verifact 报告即可看到红绿灯。页面只渲染离线审计结果，不执行任何安全判定。
按 OpenSSF 最佳实践标准自评达 Silver 银牌（自认证，非第三方认证）· Scorecard 主仓 8.1（2026-11-12）/ 桌面端 7.5（2026-11-11）/ 工具仓 6.8（2026-11-12）· 时间戳存证（TSR）链路持续运行
🛠️ 辅助工具 · FIBEMATE Tools
五个独立工具 · 一跳直达
独立仓库 Lennonhaha/fibemate-tools（Apache-2.0，与主仓 GPL‑3.0 分离）。 不实现任何密码学算法，只把「看起来对」变成「可复核」——给的是信号，不是判决。
密码幻觉检测器
Node.js · 零依赖
扫描 JS/TS 代码里 AI 容易编出来的写法：声称常数时间却按秘密分支、用数组下标索引秘密、调用不存在的加密 API。
CI 13s · needs-human-review · 样本测试全过
npm crypto-hallucination-detector@0.1.2 · Sigstore 签名
查看演示 →
扫描 JS/TS 代码里 AI 容易编出来的写法：声称常数时间却按秘密分支、用数组下标索引秘密、调用不存在的加密 API。
CI 13s · needs-human-review · 样本测试全过
npm crypto-hallucination-detector@0.1.2 · Sigstore 签名
密码时间机器
Python · 仅标准库
把「某个密码学 API 在哪个 commit 引入、何时变更、影响了哪些文件」变成可查询的时间轴。
CI 7s · 基于 git log -S/-G 真实历史
PyPI
查看演示 →
把「某个密码学 API 在哪个 commit 引入、何时变更、影响了哪些文件」变成可查询的时间轴。
CI 7s · 基于 git log -S/-G 真实历史
PyPI
crypto-time-machine v0.1.2 · pip install crypto-time-machine
AI 密码代码盲点地图
HTML · 零依赖
用康定斯基式几何把「AI 写密码代码时系统性栽在哪些算法 × 哪些幻觉类型」画成星图。数据来自 fibemate-tools 仓，Apache-2.0 公开。
10 算法 × 3 类命中 · 单 AI 当前切片
查看演示 →
用康定斯基式几何把「AI 写密码代码时系统性栽在哪些算法 × 哪些幻觉类型」画成星图。数据来自 fibemate-tools 仓，Apache-2.0 公开。
10 算法 × 3 类命中 · 单 AI 当前切片
密码学时间账本
HTML/JS · 跨仓 fetch
用 RFC 3161 时间戳把「某算法在某 commit 下被纳入账本」串成可验链，水墨手卷逐点展开。
3 block · 真 TSR 验签 · demo seed 非生产测量
查看演示 →
用 RFC 3161 时间戳把「某算法在某 commit 下被纳入账本」串成可验链，水墨手卷逐点展开。
3 block · 真 TSR 验签 · demo seed 非生产测量
🇨🇳 国密侧信道安全 v1.3
SM2 · TVLA N=5,000 全绿 5/5 + 20/20 ✓ 三重防护 · 1-4 阶
Scalar Masking + Projective Randomization + Montgomery Ladder · N=5,000 · |t|≤0.38 一阶全项通过 · 1-4 阶矩 20/20 全绿 · 恒定时间点乘 · FreeTSA 存证
Montgomery Ladder v1.3 全绿 (N=5,000 · 1-4 阶)
| 操作 | Masked |t| | 修复前 |
|---|---|---|
| 密钥生成 | 0.01 | ~1.4 |
| 签名 | 0.06 | ~1.4 |
| 验签 | 1.19 | 7.42 ❌ |
| 加密 | 0.34 | ~4 |
| 解密 | 2.06 | 8.22 ❌ |
✅ 5/5 一阶 + 20/20 高阶 PASS · N=5,000 · 528s (一阶) + 571.7s (高阶) · verify ↓92% · decrypt ↓92%
SM4 S-box 位切片 · TVLA lg-080 ✅
| 操作 | |t| (位切片) | |t| (标准 S-box) | 结果 |
|---|---|---|---|
| 加密 | 通过 | 缓存泄漏 | ✅ 消除 |
| 解密 | 通过 | 缓存泄漏 | ✅ 消除 |
📌 位切片实现：S-box 查表 → 逐比特逻辑运算等效变换，零缓存时序依赖 · DigiCert lg-080 TSR 存证 ✅
测试配置
- 框架：TVLA v2 (Welch's t-test)
- 阈值：|t| < 4.5
- 样本量：N=5,000/项 (2.5× 增强)
- 掩码方案：k' = k + r·N (r∈64-bit random)
- 射影随机化：Jacoiban z 随机起始坐标
- 环境：Node.js v22 / Intel Xeon Ice Lake
技术突破
- 根因定位：标准掩码实现中存在模运算抵消漏洞
- 修复：独立随机掩码 (不参与模运算)
- 64-bit random r 扩至 ~320 double-and-add
- Projective Randomization 防 V8 JIT 特化
- 2026-06-18 FreeTSA 时间戳存证
🔷 交互式密码学可视化
密码学核心概念 · 三维交互演示
可拖拽旋转、缩放的三维可视化工具，直观理解 NTT 蝶形运算、格拓扑结构和挂谷集合的数学本质。
使用流程 3D 演示
FIBEMATE 完整使用叙事 · 7 步可交互
登录 → 密钥生成（晶体成形）→ P2P 信令建连
双棘轮握手 → 明文加密 → 对端解密与令牌碎裂
Bloom 泛光渲染 · 可拖拽旋转 · 键盘 ← → 切换
打开可视化 →
登录 → 密钥生成（晶体成形）→ P2P 信令建连
双棘轮握手 → 明文加密 → 对端解密与令牌碎裂
Bloom 泛光渲染 · 可拖拽旋转 · 键盘 ← → 切换
NTT 蝶形运算
ML-DSA-65 N=256 · Q=8380417 · ζ=1753
8 阶段 DIF 变换逐阶段展开
蝴蝶交叉连线 + 数据流动画
旋因子实时显示 ω₂₅₆^{2ˢ}
打开可视化 →
8 阶段 DIF 变换逐阶段展开
蝴蝶交叉连线 + 数据流动画
旋因子实时显示 ω₂₅₆^{2ˢ}
PQC 算法体检仪表盘
9 种算法全维度对比
3D 密钥/签名大小 · 性能基准 · 安全等级
KAT+TVLA 覆盖率 · 风险矩阵 · 排序筛选
ML-KEM · ML-DSA · SLH-DSA · SM2/3/4
打开可视化 →
3D 密钥/签名大小 · 性能基准 · 安全等级
KAT+TVLA 覆盖率 · 风险矩阵 · 排序筛选
ML-KEM · ML-DSA · SLH-DSA · SM2/3/4
格拓扑结构
6 种格型：ℤ³ · A₂×ℤ · BCC · FCC · 金刚石
Voronoi 胞腔 + 短向量高亮
λ₁ · Hermite γ · 高斯启发式
基向量显示 · 正交/透视切换
打开可视化 →
Voronoi 胞腔 + 短向量高亮
λ₁ · Hermite γ · 高斯启发式
基向量显示 · 正交/透视切换
挂谷集合
Fibonacci 球面（数学精确版）
S² 球面均匀方向采样 · 厚管渲染
Besicovitch 针问题旋转动画
Dvir 多项式方法 · F_q 类比面板
打开可视化 →
S² 球面均匀方向采样 · 厚管渲染
Besicovitch 针问题旋转动画
Dvir 多项式方法 · F_q 类比面板
Perron 树构造（维度滑块·旧版）→
流量混淆效果
三轴参数空间 3D 可视化
StaticPad · Per-Phase Jitter · Budget Pooling
X=延迟预算 Y=混淆强度 Z=带宽开销
帕累托曲面 · 最佳点标注 · 经验公式拟合
打开可视化 →
StaticPad · Per-Phase Jitter · Budget Pooling
X=延迟预算 Y=混淆强度 Z=带宽开销
帕累托曲面 · 最佳点标注 · 经验公式拟合
CARS 密码敏捷性评估
Crypto-Agility Readiness Scorecard
五维度雷达：加密资产盘点 · 算法敏捷性
密钥生命周期 · 协议耦合度 · 组织准备度
综合 77.30/100 · 改进路线 → 78
打开可视化 →
五维度雷达：加密资产盘点 · 算法敏捷性
密钥生命周期 · 协议耦合度 · 组织准备度
综合 77.30/100 · 改进路线 → 78
🛠️ 你的项目得几分？→ CARS 自评工具
🔍 密码资产审计仪表盘 → 扫描你的加密依赖
📦 CBOM 加密材料清单 → CycloneDX 1.6 标准格式，供应链合规
🕸 CBOM 3D 力导向图 → 12节点 · 14条加密依赖关系可视化
🔐 《密码法》合规自评 → 12条核心条文 · 综合 88/100
木火通明 · 三层护盾架构
FIBEMATE 全栈架构 3D 立体模型
三层护盾球壳：通明（理论）· 木（工程）· 火（表现）
天文分野：井鬼·鹑首·未宫（西南）↔ 尾箕·析木·寅宫（东北）
天球星宿 · 分野流光 · 天人合一叙事
点击节点查看 TLA+ / ML-KEM / SM2 / FPGA 数据
打开木火通明模型 →
三层护盾球壳：通明（理论）· 木（工程）· 火（表现）
天文分野：井鬼·鹑首·未宫（西南）↔ 尾箕·析木·寅宫（东北）
天球星宿 · 分野流光 · 天人合一叙事
点击节点查看 TLA+ / ML-KEM / SM2 / FPGA 数据
三层护盾 · 安全架构（英文版）
FIBEMATE Security Architecture — English UI
黄道十二宫环 · 巨蟹（成都·西南）↔ 人马（哈尔滨·东北）
四星座星体呼吸脉动 · 流光粒子沿连线流动 · 星空入场动画
Click node for details: TLA+ / ML-KEM / SM2 / FPGA
打开三层护盾模型（英文） →
黄道十二宫环 · 巨蟹（成都·西南）↔ 人马（哈尔滨·东北）
四星座星体呼吸脉动 · 流光粒子沿连线流动 · 星空入场动画
Click node for details: TLA+ / ML-KEM / SM2 / FPGA
PQC 算力成本计算器
CPU vs FPGA · 每毫秒与每美元的代价
ML-KEM / ML-DSA 实测延迟 · 吞吐 · 功耗
3 年折旧摊销 · 年电费 / 年总成本对比
liboqs v0.16.0 实测 + Artix-7 综合
打开计算器 →
ML-KEM / ML-DSA 实测延迟 · 吞吐 · 功耗
3 年折旧摊销 · 年电费 / 年总成本对比
liboqs v0.16.0 实测 + Artix-7 综合
ML-KEM-768 封装
379.74 µs
ML-DSA-65 签名
1048.22 µs
ML-KEM-768 吞吐
2.90 kops/s
FPGA NTT 资源
235 LUT / 191 FF
密码资产审计仪表盘
Cryptographic Asset Audit Dashboard
自动扫描 370 个文件 · 12 类算法 · 目录热力图
CBOM 加密材料清单 · 量子就绪风险分析
以 FIBEMATE 为样本，展示 PQC 迁移第一步：完整的密码资产可见性
打开审计仪表盘 →
自动扫描 370 个文件 · 12 类算法 · 目录热力图
CBOM 加密材料清单 · 量子就绪风险分析
以 FIBEMATE 为样本，展示 PQC 迁移第一步：完整的密码资产可见性
🔷 工程可视化工具集
📇 完整索引
30+ 个交互式工具 · 代码证据驱动
评分审计 · 性能基准 · 依赖风险 · FPGA 硬件 · 时间轴演进 — 全部基于 git 仓库真实数据
TLS 1.3 Hybrid Handshake
IANA #4590 SM2-MLKEM768 + #4588 X25519MLKEM768
ClientHello → HKDF → App Data · 10-step 3D
打开可视化 →
ClientHello → HKDF → App Data · 10-step 3D
LWE 难度地貌图
3D 地形可视化 · n 维度 × log₂(q) 模数
NIST Level 1/3/5 阈值面 · 经典/量子切换
Based on lattice-estimator README · 15 reference points
打开 3D 地形图 →
NIST Level 1/3/5 阈值面 · 经典/量子切换
Based on lattice-estimator README · 15 reference points
TVLA 前后对比看板
修复前 FAIL → 修复后 PASS · 27 项测试
SM2 标量乘 / ML-KEM-768 / HMAC-SM3
3D 并排柱状图 · t-value 最大值对比
打开对比看板 →
SM2 标量乘 / ML-KEM-768 / HMAC-SM3
3D 并排柱状图 · t-value 最大值对比
VWZ 张量场 (Vandermonde 张量)
Vandermonde 矩阵 V[i][j] = λᵢʲ mod Q=3329
λ-sets 互异 · 100% 密集 · N=2k+1
热力图 + 3D 张量场 + λ 分布 + 幂次脊
数学基础: Vandermonde 矩阵 (多项式插值)
打开 3D 张量场 →
λ-sets 互异 · 100% 密集 · N=2k+1
热力图 + 3D 张量场 + λ 分布 + 幂次脊
数学基础: Vandermonde 矩阵 (多项式插值)
LG v2.3 矩阵场 (有限群表示)
7 层 Wreath-Product 矩阵 3D 可视化
256×256 稀疏仿射变换 · 48 维活跃子空间
群表示分解 S₂→C₅→S₃→D₄→A₄→D₆→C_Q
层间连线 + 粒子流 + 步骤动画
打开 3D 矩阵场 →
256×256 稀疏仿射变换 · 48 维活跃子空间
群表示分解 S₂→C₅→S₃→D₄→A₄→D₆→C_Q
层间连线 + 粒子流 + 步骤动画
LG v2.4 动态路径轨迹
wreath.rs session 驱动 7 层路径选择
蓝 = Standard · 金 = Substitute
双 session 分歧比例 · 差异层白脉冲
打开动态路径轨迹 →
蓝 = Standard · 金 = Substitute
双 session 分歧比例 · 差异层白脉冲
TVLA「圆度」仪表盘 3D
SM2 侧信道泄露能量景观 · Loewner「圆度」哲学类比
v1.2 |t|>4.5 FAIL → v1.3 Montgomery Ladder |t|<1 PASS
阈值面 |t|=4.5 · 三版本柱状图 · 拖拽旋转
打开 TVLA 圆度 3D →
v1.2 |t|>4.5 FAIL → v1.3 Montgomery Ladder |t|<1 PASS
阈值面 |t|=4.5 · 三版本柱状图 · 拖拽旋转
confuse ⇄ deconfuse 对称 3D
LG v2.3 可逆变换 · 三维沙漏结构
支流 ⇄ 三角洲（河流网络哲学类比）
Wreath 核心旋转环 · 镜像对称输运线
打开 confuse 对称 3D →
支流 ⇄ 三角洲（河流网络哲学类比）
Wreath 核心旋转环 · 镜像对称输运线
格密码 101：LWE 与 NTT 蝶形运算
格点阵 → LWE 噪声 → NTT → 蝶形运算
六步 3D 教学 + 实时参数面板 + 维度滑块
纯科普 · 教学示意参数，非部署参数
打开 3D 科普 →
六步 3D 教学 + 实时参数面板 + 维度滑块
纯科普 · 教学示意参数，非部署参数
VWZ 签名流程 8 步 3D
Vandermonde 稀疏签名 · IACR 2025/624
参数生成 → 陷门生成 → 预图像采样 → Hash-and-Sign
自动播放 8 步 3D 动画 + 公式面板 + 源码引用
打开签名 8 步 3D →
参数生成 → 陷门生成 → 预图像采样 → Hash-and-Sign
自动播放 8 步 3D 动画 + 公式面板 + 源码引用
🧪 研究线 / 实验室
实验研究组件 · 与工程验证线隔离
实验性研究可视化与示例 — 非生产密码模块，仅供学术参考与安全研究。参考实现路径依赖 ML-KEM-768 + X25519 + AES-256-GCM，不依赖以下任何实验组件。 experimental/vwz-lg 分支 ↗;
VWZ rank-1 伪造攻击演示
攻击机理 3D 拆解 · rank-1 vs rank-2 对照
切片因子提取 → 零位齐次系统 → 伪造成功
解释 2026-09-06 公开披露与 rank-2 修复（攻击 0/27 失效）
实验研究组件 · 非生产密码模块 · 仅供学术参考
打开攻击演示 ↔;
切片因子提取 → 零位齐次系统 → 伪造成功
解释 2026-09-06 公开披露与 rank-2 修复（攻击 0/27 失效）
实验研究组件 · 非生产密码模块 · 仅供学术参考
📖 项目文档
16 份关键文档 · 从合规到应急
覆盖开源公告、变更记录、安全治理、合规自评 — 从工程验证到灾难恢复全覆盖
📢 公告与核心
🔒 安全与验证
安全保证案例
威胁模型 · 信任边界 · 已知缺口 G-1~G-9
保证案例
回归测试报告
历史缺陷覆盖 57.5% · 逐条映射与未覆盖理由
回归
输入校验清单
逐端点 allowlist · 拒绝码 · 对应测试
校验
业务连续性
资产归属 · 平台找回路径 · 七天接管清单
连续性
全部 16 份文档 · CARS 综合 77.30 · 📇 可视化索引
量子风险传播图
Quantum Risk Bloom Topology
403 文件 · 269 加密文件 · 119 依赖边 · 12 算法
P-256: 101 文件爆炸半径 · ML-KEM: 137 文件覆盖
可视化算法依赖拓扑，精确回答\"改一个算法常量要改多少文件\"
打开传播图 →
403 文件 · 269 加密文件 · 119 依赖边 · 12 算法
P-256: 101 文件爆炸半径 · ML-KEM: 137 文件覆盖
可视化算法依赖拓扑，精确回答\"改一个算法常量要改多少文件\"
PQC 生态扫描器
npm Dependency Quantum Readiness Scanner
147 npm 依赖 · 1,135 源码引用 · 量子就绪度 94/100
2 个量子脆弱包（@noble/curves + sm-crypto） · 23 处 PQC 引用 · 60 个 node_modules 加密包
可复用脚本 — 扫描任意 npm 项目的量子就绪度
打开扫描器 →
147 npm 依赖 · 1,135 源码引用 · 量子就绪度 94/100
2 个量子脆弱包（@noble/curves + sm-crypto） · 23 处 PQC 引用 · 60 个 node_modules 加密包
可复用脚本 — 扫描任意 npm 项目的量子就绪度
IBM 七维密码敏捷性自评工具
IBM Research 2026 Application-Level Crypto Agility
7 维度交互式自评向导 · 3D 雷达图 · 与 FIBEMATE 63.70 对比
接口抽象 · 配置外部化 · 版本管理 · 格式耦合 · 协议协商 · 替换成本 · 可观测性
首个在真实 PQC 工程平台上的实证验证 — 导出自包含 HTML 报告
打开自评工具 →
7 维度交互式自评向导 · 3D 雷达图 · 与 FIBEMATE 63.70 对比
接口抽象 · 配置外部化 · 版本管理 · 格式耦合 · 协议协商 · 替换成本 · 可观测性
首个在真实 PQC 工程平台上的实证验证 — 导出自包含 HTML 报告
📊 IBM 七维多项目横向对比
输入任意项目的 7 维自评分数 → 双雷达图叠加（蓝色=你的项目，黄色虚线=FIBEMATE 63.70）
预填 OpenSSL / liboqs / Bouncy Castle 示例 · 差异热力图 · 导出报告
打开横向对比 →
预填 OpenSSL / liboqs / Bouncy Castle 示例 · 差异热力图 · 导出报告
PQRA 后量子就绪评估
7 域 52 题问卷 · 五级成熟度 · NIST/ISO/CNSA 2.0 映射 · 3D 雷达图
组织合规层 — 从"我们在哪"到"合规要求我们做到哪"
打开评估工具 →
组织合规层 — 从"我们在哪"到"合规要求我们做到哪"
量子迁移优先级矩阵
12 算法 2D 散点图 · 4 象限 · 风险×迁移时间 · 优先级排序
Europol 矩阵 — P-256 爆炸半径 103 · SM2 71 直接引用 · 迁移路径建议
打开迁移矩阵 →
Europol 矩阵 — P-256 爆炸半径 103 · SM2 71 直接引用 · 迁移路径建议
NIST CSF 2.0 → SP 800-53 合规差距分析
6 功能 23 子类别热力图 · SP 800-53 控制项映射 · 证据引用 · 差距摘要
合规层 — 基于 NIST CSWP 48，回答"具体差哪几个 NIST 控制项没做到"
打开差距分析 →
合规层 — 基于 NIST CSWP 48，回答"具体差哪几个 NIST 控制项没做到"
🔐 可验证完整性
PQC 工程验证 · 时间戳存证
FIBEMATE 使用 ML-KEM-768 (NIST FIPS 203) 作为后量子密钥封装机制。
所有核心实现已通过三线测试套件并完成 RFC 3161 时间戳存证。
正式验证
- KAT 向量 9/9 全通过
- IND-CPA roundtrip 14/14 全通过 ✅ · NTT 域完全重写 · 独立参照实现 200/200 交叉验证
- 隐式拒绝安全特性
- FIPS 203 常量一致性
确定性可重现
- 同种子 → 同密钥对
- 同密钥+同种子 → 同共享密钥
- 800/800 循环验证通过
- JS / WASM 双轨自洽
FIPS 140-3 自检
- 上电自检 (POST)
- 密码算法一致性测试 (PCT)
- 软件完整性度量 (SHA-256)
- 失败自锁机制
时间戳存证
- RFC 3161 标准时间戳
- FreeTSA 授时链
- 9 个核心文件已存证（2026-06-08 快照；当前累计 372 份）
/docs/tsa/2026-06-08/· 最新存证见docs/tsa/
外部认证与评分
- OpenSSF Best Practices · Silver（主仓，44/44 MUST）· Passing（桌面端）
- OpenSSF Scorecard · fibemate 8.1（v5.6.0，2026-11-12）/ tauri 7.5（v5.5.0，2026-11-11）/ tools 6.8（v5.6.0，2026-11-12）
- CII Best Practices 项目号 13695 · 15379
⚡ 验证：
openssl ts -reply -in *.tsr -text | grep "Status: Granted"
许可分层
不同目录适用不同许可，按用途分层。以下为准确边界，集成前请对照仓库内 LICENSE 与 NOTICE。
- 可嵌入式核心 — fibemate-core / fibemate-tools：Apache-2.0
- 主仓 Web 应用与协议实现 — GPL-3.0-only
- 网络组件 mixnet/ — AGPL-3.0（仅该目录；entry/exit/middle 为 ISC）
- 文档与非代码内容 — CC BY-SA 4.0
- 原生 KEM 实现 packages/pqc-kem/native/ — Apache-2.0（上游 CC0-1.0 OR Apache-2.0，此处按 Apache-2.0 使用，见 NOTICE）
需要闭源集成时，Apache-2.0 的 core 与 tools 是集成面；GPL 与 AGPL 部分可独立部署，网络 copyleft 义务仅限 mixnet/。
准备好探索后量子密码了吗？
加入 FIBEMATE，探索后量子密码工程验证
下载：Verifact 样例审计报告（PDF） · FIBEMATE 项目简介（PDF） · FIBEMATE 技术白皮书（PDF）
归档与引用
形式化代码库、技术说明、方法学分析、一份负面结果报告与一篇英文预印本已归档到 Zenodo（由 CERN 运营），各自带独立 DOI，可长期引用。
- Preprint (English, 23 pages, CC BY 4.0) — Engineering Verification of PQC: A Case Study on Formalizing VWZ in Isabelle/HOL and Supply Chain Integration (CBOM) 10.5281/zenodo.23808518 · 2026-10-30 · not peer reviewed
- Formalization codebase (v1.0.1, Apache-2.0) — 10.5281/zenodo.23622795 · concept DOI 10.5281/zenodo.23622177
- Technical note: Engineering Verification of PQC（中文, CC BY 4.0） — 10.5281/zenodo.23632173
- Methodology & Analysis (preprint, CC BY 4.0) — Deterministic but Wrong: Why Behavior-Based Tests Miss Structural Errors in Keccak-f Implementations 10.5281/zenodo.23637405
- Negative result (technical report, CC BY 4.0) — An Empirical Study of Depth-Multiplicative Trapdoor Constructions: Model Correction and Negative Results 10.5281/zenodo.23638522 · not peer reviewed · no security claim
- Formalization repository —
github.com/Lennonhaha/vwz-formalization
· tag
paper-v1.0.0 - 历史快照仓
fibemate-vwz（18 sorry）已于 2026-11-10 废弃并归档，现行仓为vwz-formalization。 - Reference implementation (pure JS) — github.com/Lennonhaha/fibemate-core · ML-KEM-768, no native addon · npm 0.1.0 · Apache-2.0
- ORCID — 0009-0009-1407-686X · Tianhe Liu · 上述 DOI 与仓库的作者标识
DOI 表示已归档且引用稳定，不等同于同行评审或机构背书。