Delving Bitcoin· dni·· 5 小时前AI 评分62
BIP340 批量验证 128 位派生随机数的机器检查安全性研究
Machine-checked soundness of BIP340 batch verification with 128-bit derived randomizers
AI 导读
作者利用 Lean 4、Mathlib 和 VCVio 证明了 BIP340 批量验证中从 256 位缩减至 128 位派生随机数的安全性。研究表明，无论是独立均匀分布还是确定性派生（包括增量派生），其伪造概率上界均为 (q + 1)/2^b，其中 q 为预言机查询次数。
来源：Delving Bitcoin · delvingbitcoin.org
入库时 BTC：$77,956.86 USD
入库时间：
行情时间： · 来源：Coinbase