— written in the whois record of fibemate.net
I.
Chengdu. Some node.
Day eight. Still awake.
Light processes. No mistakes.
The application left.
It crossed the sea.
Now it sits
on someone's desk.
Waiting is the only algorithm.
Complexity: unknown.
Best case: log.
Worst case: infinite loop.
At fifteen,
there is no timeout.
II.
They say trust needs open source.
But open source is not where trust starts.
It's where trust ends.
What I have now:
119 greens.
12ms, 25ms, 38ms.
A private repo.
This is not hiding.
This is waiting.
Trust needs a chain.
A foundation says yes.
That's link one.
An auditor says yes.
That's link two.
You compile and run.
That's link three.
After that,
it stops being mine.
III.
Three lines to say it:
post-quantum handshake,
double ratchet,
mixnet.
Eight months.
Not because it's hard.
Because one byte wrong —
everything breaks.
Summer:
four small endings.
The page goes live.
The code goes public.
Then silence.
Then someone speaks.
The fourth one
needs the third one first.
V.
Fifteen.
Waiting for word.
Good or worth.
The server does not wait with me.
It just runs.
Day eight.
Day nine tomorrow.
May 10, 2026
技术验证栈
每一层都是可审计、可复现的密码学工程参考实现
TLS 1.3 + 泊松流量塑形 (Poisson) + 随机填充,隐藏真实流量特征
ML‑KEM‑768
· JS 参考实现:FIPS 203 合规,纯 JavaScript,KAT 10,000/10,000 通过 · 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 → wasm-bindgen,
63KB raw / 27KB gzip, opt-level=s + lto + strip)
· TVLA N=10,000 通过 · 核心操作恒定时间(keygen/encaps/decaps)
· 联合信任 + DigiCert 双源存证
📦 双实现 + WASM 可选:覆盖浏览器、Node.js、高性能场景 · JS+WASM 合计 82KB raw / 31KB gzip
·
查看 KAT 报告
X3DH + Double Ratchet 协议工程参考实现 · PQ 混合(ML-KEM-768 + P-256)验证通过
多跳路由(5 节点单机拓扑)+ 延迟混淆,用于协议验证与演示 ·
TSA 存证 ✓
SLH-DSA (FIPS 205) +
fml-dsa (FIPS 204 ML-DSA-44/65/87 纯 JS 自研实现)
· fml-dsa:纯 JavaScript,
跨 @noble/post-quantum 双向互操作验证通过(sign→verify / verify→sign 全绿)
· SLH-DSA (SPHINCS+):FIPS 205 标准,WASM 加速 107KB raw / 51KB gzip
· SHA3/SHAKE 后端 + Fisher-Yates 拒绝采样 + NTT 域矩阵乘法,自研实现覆盖 ML-DSA 全套算法
·
查看 fml-dsa 跨库验证报告
PIR 私有信息查询、ZK 零知识证明 (Bulletproofs)、差分隐私 (ε=1.0)、自毁消息(规划中)
🔬 后端通道说明
🟢 稳定通道
Node.js · 推荐日常使用
- 功能完整,经过充分测试
- 适合日常通信
- 当前默认通道
🔬 实验通道
Rust · 技术预览版
- WebSocket 性能提升 3-5×
- PQC 签名已完成 — SLH-DSA (FIPS 205) + ML-DSA-65 (FIPS 204 自研实现,跨 Noble 互操作验证通过) ✅
- 可能偶有不稳定 ⚠️
🟢 当前默认:稳定通道
· 可通过浏览器控制台切换
BackendRouter.switchTo('rust') BackendRouter.switchTo('node')
📋 双后端架构详情
• 稳定通道:Node.js 后端,功能完整,适合日常通信
• 实验通道:Rust 后端,WebSocket 性能提升 3-5×,PQC 签名已完成 (SLH-DSA + ML-DSA-65 FIPS 204 自研)
• 默认使用稳定通道,可通过浏览器控制台 BackendRouter.switchTo() 切换
• 切换后页面自动刷新,偏好保存在 localStorage
🔒 安全部署
• 后端服务(:3001 / :3002)不暴露公网,仅监听 127.0.0.1
• 仅通过 Nginx(:80 / :443) 对外提供 Web 服务
• 所有服务由 systemd 托管,每进程内存上限 200–400 MiB
核心特性
不只是加密,而是可验证的全栈密码学工程
🔐
PQC 工程验证
ML-KEM-768/1024 参考实现,FIPS 203 合规 · KAT 10,000/10,000 通过 · 路径 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
| 操作 | 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 验证 ✓
📱
多平台支持
已闭环:Electron + Tauri v2 桌面端 + React Native 移动端 · FPGA 合成 + ILA/L4 验证通过
🔓
开源协议
GPLv3 已开源(2026-08-31)。代码公开可独立审计。
密码学不应是黑盒 —— 所有核心算法实现将在开源时完整公开。
🇨🇳 国密侧信道安全 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 时间戳存证
📜 FreeTSA 时间戳存证 · Jun 18 04:15:51 2026 GMT · Status: Granted ✅
完整分析 →
技术验证文档 →
🔷 交互式密码学可视化
密码学核心概念 · 三维交互演示
可拖拽旋转、缩放的三维可视化工具,直观理解 NTT 蝶形运算、格拓扑结构和挂谷集合的数学本质。
🎬
使用流程 3D 演示
FIBEMATE 完整使用叙事 · 7 步可交互
登录 → 密钥生成(晶体成形)→ P2P 信令建连
双棘轮握手 → 明文加密 → 对端解密与令牌碎裂
Bloom 泛光渲染 · 可拖拽旋转 · 键盘 ← → 切换
打开可视化 →
🦋
NTT 蝶形运算
ML-DSA-65 N=256 · Q=8380417 · ζ=1753
8 阶段 DIF 变换逐阶段展开
蝴蝶交叉连线 + 数据流动画
旋因子实时显示 ω₂₅₆^{2ˢ}
打开可视化 →
📊
PQC 算法体检仪表盘
9 种算法全维度对比
3D 密钥/签名大小 · 性能基准 · 安全等级
KAT+TVLA 覆盖率 · 风险矩阵 · 排序筛选
ML-KEM · ML-DSA · SLH-DSA · SM2/3/4
打开可视化 →
🔷
格拓扑结构
6 种格型:ℤ³ · A₂×ℤ · BCC · FCC · 金刚石
Voronoi 胞腔 + 短向量高亮
λ₁ · Hermite γ · 高斯启发式
基向量显示 · 正交/透视切换
打开可视化 →
📊
流量混淆效果
三轴参数空间 3D 可视化
StaticPad · Per-Phase Jitter · Budget Pooling
X=延迟预算 Y=混淆强度 Z=带宽开销
帕累托曲面 · 最佳点标注 · 经验公式拟合
打开可视化 →
☯️
木火通明 · 三层护盾架构
FIBEMATE 全栈架构 3D 立体模型
三层护盾球壳:通明(理论)· 木(工程)· 火(表现)
天文分野:井鬼·鹑首·未宫(西南)↔ 尾箕·析木·寅宫(东北)
天球星宿 · 分野流光 · 天人合一叙事
点击节点查看 TLA+ / ML-KEM / SM2 / FPGA 数据
打开木火通明模型 →
🛡️
三层护盾 · 安全架构(英文版)
FIBEMATE Security Architecture — English UI
黄道十二宫环 · 巨蟹(成都·西南)↔ 人马(哈尔滨·东北)
四星座星体呼吸脉动 · 流光粒子沿连线流动 · 星空入场动画
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-768 吞吐
2.90 kops/s
FPGA NTT 资源
235 LUT / 191 FF
🔍
密码资产审计仪表盘
Cryptographic Asset Audit Dashboard
自动扫描 370 个文件 · 12 类算法 · 目录热力图
CBOM 加密材料清单 · 量子就绪风险分析
以 FIBEMATE 为样本,展示 PQC 迁移第一步:完整的密码资产可见性
打开审计仪表盘 →
30+ 个交互式工具 · 代码证据驱动
评分审计 · 性能基准 · 依赖风险 · FPGA 硬件 · 时间轴演进 — 全部基于 git 仓库真实数据
🔄
CARS vs IBM 双框架雷达
CARS 五维 + IBM 七维并排对比
同一 3D 场景双雷达 · 评分卡片 · 维度差距高亮
打开可视化 →
⚡
PQC 性能基准
5 算法 × 4 后端对数刻度柱状图
48µs~4.2s · C Native/WASM/纯JS/Addon
打开可视化 →
🛡
TVLA 侧信道看板
5 算法 31/36 PASS · t-test 阈值 4.5
ML-KEM · SM2 · HMAC-SM3 · 硬件故障检测
打开可视化 →
↔
经典 vs PQC 并排
8 维度左右并排 3D 对比
@noble/curves P-256 vs @noble/post-quantum
打开可视化 →
📈
CARS/IBM 评分趋势
双线 3D 时间轴 · 7 个 CARS 里程碑
62→77.30 (+15.30) · CatmullRom 平滑
打开可视化 →
🌳
3D 算法族谱树
18 节点 6 分支径向布局
对称/非对称/哈希/PQC/硬件/协议
打开可视化 →
🌀
ML-KEM 密钥封装流程
FIPS 203 三步 3D 交互演示
KeyGen → Encaps → Decaps · 数据流动画
打开可视化 →
✍️
ML-DSA 签名验证流程
FIPS 204 三步 3D 交互演示
KeyGen → Sign → Verify · 真实 KAT 向量
打开可视化 →
🌲
SLH-DSA 哈希签名流程
FIPS 205 三步 3D 交互演示
纯哈希后量子签名 · HORST + Merkle 树 · 8KB 大签名
打开可视化 →
🔐
TLS 1.3 Hybrid Handshake
IANA #4590 SM2-MLKEM768 + #4588 X25519MLKEM768
ClientHello → HKDF → App Data · 10-step 3D
打开可视化 →
🔗
供应链依赖风险图
12 算法 × 21 边 × 370 文件
节点风险着色 · SHA-256 全网枢纽
打开可视化 →
🔲
FPGA 资源热力图
Artix-7 6 模块×4 资源 3D 柱状图
NTT pipe2 · LUT/FF/BRAM/DSP 利用率
打开可视化 →
🏎
双后端性能对比
纯JS vs WASM vs Native 加速比
ML-KEM 27× · SLH-DSA 4.2s 签名
打开可视化 →
⏳
项目演进时间轴
25 里程碑 4 阶段螺旋 3D 时间轴
5月基础→8月冲刺 · 进度动画
打开可视化 →
🔐
PQC 安全等级对比
10 算法 · 4 可切换指标
FIPS 203/204/205 · 经典 vs 量子 bit
打开可视化 →
🛡️
PQC 部署验证器
TLS 1.3 · 混合 KEM · 实时探测
端点扫描 · 合规评分 · Grade 评级
打开验证器 →
🔍
交互式依赖下钻
10 算法 18 边 · 点击→右侧详情面板
尺寸/性能/KAT/依赖/风险 全维度
打开可视化 →
📊
PQC 验证仪表盘
历史记录 · 趋势图 · 持续监控
多维度评分对比 · localStorage 持久化
打开仪表盘 →
🏗️
协议层次结构
算法层→协议层→硬件层
12 算法 · 4 协议 · 4 硬件 · 34 连线
打开全景图 →
📐
ML-KEM 安全强度 3D
BKZ-β vs 攻击成本
ML-KEM-512/768/1024 · NIST Level 1/3/5
点击柱子查看详情
打开 3D 模型 →
🌋
LWE 难度地貌图
3D 地形可视化 · n 维度 × log₂(q) 模数
NIST Level 1/3/5 阈值面 · 经典/量子切换
Based on lattice-estimator README · 15 reference points
打开 3D 地形图 →
📊
TVLA 前后对比看板
修复前 FAIL → 修复后 PASS · 27 项测试
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 张量场 →
🎯 VWZ 综合画像卡
定位地图 × 代价地图 — 签名尺寸/速度/验证/公钥四维 trade-off,点击散点切换方案
📊 打开画像卡 →
🔮
LG v2.3 矩阵场 (有限群表示)
7 层 Wreath-Product 矩阵 3D 可视化
256×256 稀疏仿射变换 · 48 维活跃子空间
群表示分解 S₂→C₅→S₃→D₄→A₄→D₆→C_Q
层间连线 + 粒子流 + 步骤动画
打开 3D 矩阵场 →
🌫️
LG v2.3 扩散颗粒云 3D
diffuse.rs 全块扩散 · 克里姆特金箔配色
输入/输出熵值对比 · 单字节扰动冲击波
高度 + 颜色双编码 · 非零位密度
打开 3D 颗粒云 →
🧭
LG v2.4 动态路径轨迹
wreath.rs session 驱动 7 层路径选择
蓝 = Standard · 金 = Substitute
双 session 分歧比例 · 差异层白脉冲
打开动态路径轨迹 →
🛡️
LG v2.4 防御状态机
defense.rs L0-L3 防御等级 · 恒真谓词盾牌
NORMAL → POISONING 状态迁移
时序反调试 + 内存完整性 + 静默投毒
打开防御状态机 →
🎯
TVLA「圆度」仪表盘 3D
SM2 侧信道泄露能量景观 · Loewner「圆度」哲学类比
v1.2 |t|>4.5 FAIL → v1.3 Montgomery Ladder |t|<1 PASS
阈值面 |t|=4.5 · 三版本柱状图 · 拖拽旋转
打开 TVLA 圆度 3D →
⏳
confuse ⇄ deconfuse 对称 3D
LG v2.3 可逆变换 · 三维沙漏结构
支流 ⇄ 三角洲(河流网络哲学类比)
Wreath 核心旋转环 · 镜像对称输运线
打开 confuse 对称 3D →
🔀
混合密钥交换动态对比
SM2(65B) vs ML-KEM-768(1184B) vs 混合(1249B) 三轨道
量子攻击模拟 · HKDF 合并动画 · IANA #4590
🔀 打开对比 →
🦋
NTT 蝶形运算动态流
Cooley-Tukey 8 层逐层展开 · Q=3329
1024 次 fqmul vs O(n²) 65536 次
🦋 打开蝶形网络 →
📦
ML-KEM 密钥封装黑盒拆解
KeyGen / Encaps / Decaps 三黑盒点击展开
NTT + CBD + basemul + 恒定时间 cmov
📦 打开黑盒拆解 →
🗺️
协议 × 算法族谱
L4 应用协议 → L1 安全基础四层资产全景
点击节点联动数据流拓扑 · KAT/TVLA/TSR 徽章
🗺️ 打开族谱 →
⚛️
量子攻击如何作用于群结构
Shor → Kuperberg 隐子群 · 半直积亚指数
群作用 / 交换性 / 可归约性 五步 3D 教育演示
纯科普 · 不涉及任何方案安全性结论
打开 3D 科普 →
🔢
格密码 101:LWE 与 NTT 蝶形运算
格点阵 → LWE 噪声 → NTT → 蝶形运算
六步 3D 教学 + 实时参数面板 + 维度滑块
纯科普 · 教学示意参数,非部署参数
打开 3D 科普 →
🔬
VWZ 签名流程 8 步 3D
Vandermonde 稀疏签名 · IACR 2025/624
参数生成 → 陷门生成 → 预图像采样 → Hash-and-Sign
自动播放 8 步 3D 动画 + 公式面板 + 源码引用
打开签名 8 步 3D →
🎭
VWZ 盲签名流程 3D
Σ-协议 + Fischlin 变换 · 盲化 ⇄ 签名双角色
承诺 / 挑战 / 响应 数据包飞行动画
去盲化 + Vandermonde 验证 ■
打开盲签名 3D →
🏗️
FIBEMATE 协议层次 3D
五层协议栈 3D 拆解 · 传输 → X3DH+PQC → 双棘轮
消息加密 → 应用证据链
金色=PQC 组件 · 点击展开各层组件
打开协议栈 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 失效)
实验研究组件 · 非生产密码模块 · 仅供学术参考
打开攻击演示 ↔;
📖 项目文档
14 份关键文档 · 从合规到应急
覆盖开源公告、变更记录、安全治理、合规自评 — 从 8/31 开源倒计时到灾难恢复全覆盖
全部 14 份文档 · CARS 综合 77.30 · 📇 可视化索引
💥
量子风险传播图
Quantum Risk Bloom Topology
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 项目的量子就绪度
打开扫描器 →
🛡️
IBM 七维密码敏捷性自评工具
IBM Research 2026 Application-Level Crypto Agility
7 维度交互式自评向导 · 3D 雷达图 · 与 FIBEMATE 63.70 对比
接口抽象 · 配置外部化 · 版本管理 · 格式耦合 · 协议协商 · 替换成本 · 可观测性
首个在真实 PQC 工程平台上的实证验证 — 导出自包含 HTML 报告
打开自评工具 →
📊 IBM 七维多项目横向对比
输入任意项目的 7 维自评分数 → 双雷达图叠加(蓝色=你的项目,黄色虚线=FIBEMATE 63.70)
预填 OpenSSL / liboqs / Bouncy Castle 示例 · 差异热力图 · 导出报告
打开横向对比 →
PQRA 后量子就绪评估
7 域 52 题问卷 · 五级成熟度 · NIST/ISO/CNSA 2.0 映射 · 3D 雷达图
组织合规层 — 从"我们在哪"到"合规要求我们做到哪"
打开评估工具 →
量子迁移优先级矩阵
12 算法 2D 散点图 · 4 象限 · 风险×迁移时间 · 优先级排序
Europol 矩阵 — P-256 爆炸半径 103 · SM2 71 直接引用 · 迁移路径建议
打开迁移矩阵 →
NIST CSF 2.0 → SP 800-53 合规差距分析
6 功能 23 子类别热力图 · SP 800-53 控制项映射 · 证据引用 · 差距摘要
合规层 — 基于 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 个核心文件已存证
/docs/tsa/2026-06-08/
⚡ 验证:openssl ts -reply -in *.tsr -text | grep "Status: Granted"
准备好探索后量子密码了吗?
加入 FIBEMATE,探索后量子密码工程验证
FIBEMATE — 后量子密码全栈工程验证平台 · 可审计 · 可复现
ML-KEM-768 · NIST FIPS 203 KAT · Debug Journey
从数学底层实现 ML-KEM-768,逐项对齐 NIST Known Answer Test 向量。NTT 往返验证 → basemul zeta 表修复 → 全流程 FIPS 203 KAT 通过。
2026-05-18 — 验证框架 + NTT/basemul 修复
| kat_fips.js | FIPS 203 KAT 解析框架 — 7ef6e8e6...9718d52d TSA✓ |
| verify_final.js | NTT ↔ invNTT 往返 PASS,basemul zeta[64..127] 修复 — e1c9dec5...c77aaf6e TSA✓ |
2026-05-19 — 全流程 FIPS 203 KAT 通过 ✅
| fips203_verify.js | KeyGen + Encaps + Decaps 全流程 KAT 匹配 — f970adc5...10026857 TSA✓ |
| 2026-05-23 |
| sign.c |
4015a353...e2a0 |
SLH-DSA (SPHINCS+) core sign/verify |
| fors.c |
4a658ef1...ded7 |
FORS tree signature |
| wots.c + wotsx1.c |
e0624601...f759b |
WOTS+ one-time signature |
| merkle.c |
822c402a...dea6 |
Merkle hypertree |
| PQCgenKAT_sign.c |
793da075...cd70 |
KAT generator |
|
SLH-DSA-SHA2-128f 100/100 ✅
SHAKE-128f 100/100 ✅
SHA2-128s 100/100 ✅ · KAT Full Verified | FreeTSA 2026-05-23 05:32 CST
Signature ~17KB
|
2026-05-23 05:13 CST — ML-KEM-768 Native v3 — KEM 10/10 ✅ · CCA ✅ · Spec Size ✅
| kyber_nt_v3.js (740 lines) | ac92a76981e5119611abeda19f854ebc9a6c3c24412c4597acdd82ec24cb374e |
纯 JavaScript 参考实现 | 无第三方 PQC 库依赖 | NIST KAT 20/20 + KAT 10,000 浏览器端全量一致性 ✓ | TSA tsa.cn 2026-05-23 03:12 CST
TVLA v2 Enhanced · N=10,000 · 时序侧信道验证
Welch's t-test 时序侧信道验证(Fixed-vs-Random + Fixed-vs-Fixed 控制组),N=10,000 增强样本量(3.3 倍原始 N=3,000),9 个核心操作逐个验证。
2026-06-03 — TVLA v2 Enhanced N=10,000 验证通过 ✅
| 样本量 | N=10,000(3.3× 原始 N=3,000) |
| 测试方法 | Welch's t-test(|t| > 4.5 判定泄漏) |
| 控制组 | Fixed-vs-Fixed 测量系统稳定性验证 ✓ |
| 核心操作 | C Native Addon 核心操作恒定时间通过:keygen ✅ encaps ✅ decaps ✅ SampleNTT ✅ NTT ✅ ByteEncode ✅ ByteDecode ✅ compress 存在微弱时序差异(|t|=23.93 — 仅操作公开数据,Encaps 阶段,无安全影响) |
| 学术意义 | N=10,000 暴露 N=3,000 时的 3 个方法学假阴性(内存分配计入计时、工作量不对等、缺控制组) |
| 报告文件 | tvla-mlkem-report-v2-n10000.json TSA✔ DigiCert — 6EE24CE5...E3743A1 联合信任 ✓ |
FIBEMATE 成为C Native Addon 通过 TVLA v2 Enhanced (N=10,000) 恒定时间验证 · 纯 JS 参考实现通过 KAT 10,000/10,000