📊 TVLA 测试归档
Welch's t-test · 阈值 |t| < 4.5 · N=2,000 初筛 · 时序侧信道验证
所有报告均经 DigiCert / 联合信任 RFC 3161 时间戳存证
🔐 ML-KEM‑768
FIPS 203 / C Native Addon + WASM
✅ TVLA v2 Enhanced 通过
📊 最大 |t|:
23.93
(compress 公开数据，低严重度)
✅ 核心操作恒定时间: keygen / encaps / decaps / NTT / EncodeDecode
📐 样本量: N=10,000 | 阈值 4.5 | Welch's t-test
🔗 双源存证: 联合信任 + DigiCert
📄 JSON 报告
🕒 时间戳
FIPS 203 线上全组件时序安全性第三方验证
🇨🇳 SM2
BigInt + Jacobian + wNAF · 纯 JavaScript
✅ TVLA v2 10/10 通过
📊 最大 |t|:
2.71
(解密) · 签名 |t|=2.03
✅ genKey / sign / verify / encrypt / decrypt 全部通过
📐 样本量: N=2,000 | 阈值 4.5 | 预生成密钥池消除假阳性
⚡ 性能: 6.19x 签名加速 / 7.98x 密钥生成
📄 JSON 报告
📜 原始输出
🔍 分析页面
首个纯 JS SM2 TVLA 公开实现，填补 Web 端国密时序安全验证空白
🇨🇳 HMAC‑SM3
sm-crypto 内核 · 纯 JavaScript
✅ TVLA v1 8/8 通过
📊 最大 |t|:
1.79
(全固定 vs 全随机)
✅ 固定密钥+随机消息 (1.09) / 随机密钥+固定消息 (1.01)
📐 样本量: N=2,000 | 阈值 4.5 | Welch's t-test
💡 说明: 实现未刻意恒定时间，实测证明无泄漏
📄 JSON 报告
📝 测试脚本
HMAC-SM3 时序安全性验证，填补 SM2 TVLA 未覆盖的对称 MAC 场景
🇨🇳 SM4 恒定时间 TVLA
待实现 · ISO/IEC 17825:2016 · GM/T 0083-2020
⏳ 计划 Q3 2026
中科院信工所 2026 已在硬件层验证 SM4 门限实现（10M 功耗曲线）。FIBEMATE 计划在纯 JS 环境下实现恒定时间 SM4，并进行 TVLA-1 + TVLA-2 双重测试，填补 Web 端国密分组密码时序安全验证的空白。
参考: 中科院信工所 2026 · 清华大学 2019 (SM3-MAC) · ISO/IEC 17825:2016
🧱 实施路线图
🔍 研究调研
📁 历史实验附录 (exploratory)
🧪 Experiment 1–5
ML-KEM 中间调试 / wNAF 预研
固定对照 · 压缩边界 · 可预测性 · 缓存效应 · polyMul 攻击
📂 查看全部 (8 files)
⚙️ WASM 报告
ML-KEM WASM 互操作
跨语言一致性验证
📄 JSON