BIP340批量验证128位随机数安全性获形式化证明
热点事件持续更新
BIP340批量验证128位随机数安全性获形式化证明
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
研究者 dni 利用 Lean 4、Mathlib 和 VCVio 完成了 BIP340 批量验证中从 256 位缩减至 128 位派生随机数的机器检查安全性证明。该研究证实，无论是独立均匀分布还是确定性派生（含增量派生），其伪造概率上界均为 (q + 1)/2^b（q 为预言机查询次数）。 这一结果通过 GitHub 仓库公开了 Lean 证明代码，为 BIP340 批量验证机制在降低随机数长度后的安全性提供了形式化依据。
AI 根据报道生成 · 3 小时前更新
最新进展11月2日 16:53
BIP340 批量验证 128 位派生随机数的机器检查安全性研究报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- Delving BitcoinBIP340 批量验证 128 位派生随机数的机器检查安全性研究
作者利用 Lean 4、Mathlib 和 VCVio 证明了 BIP340 批量验证中从 256 位缩减至 128 位派生随机数的安全性。研究表明，无论是独立均匀分布还是确定性派生（包括增量派生），其伪造概率上界均为 (q + 1)/2^b，其中 q 为预言机查询次数。
入库时 BTC：$77,956.86 USD
行情时间：2026-11-02 17:40:40（北京时间） · Coinbase
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1011月2日 18:00
- 近 24 小时变化
- –
02.557.510
18:0019:0020:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。