只用哈希函数换不出密钥:完美正确的 QCCC 密钥协商被证明不可能
8 月 4 日的 arXiv 论文证明:任意轮数的完美正确量子密钥协商协议,都存在只用经典查询的窃听者以概率 1 恢复密钥,代价 O((q_A+q_B)^5)。证明把量子性折叠成一个多项式次数上界,之后全是组合论证。
领域
5 篇
8 月 4 日的 arXiv 论文证明:任意轮数的完美正确量子密钥协商协议,都存在只用经典查询的窃听者以概率 1 恢复密钥,代价 O((q_A+q_B)^5)。证明把量子性折叠成一个多项式次数上界,之后全是组合论证。
以太坊上收一笔钱就永久放大一次状态。这份提案把存在性推到只增不减的历史里,状态只留一个「已花费」比特,均摊每个 UTXO 0.125 字节——以及为什么加一条操作码做不到这件事。
抗审查被形式化成(成本,延迟)二元组后,FIL/FOCIL/MCP/AUCIL 的审查成本全在 0.11-3.30 欧元区间;FairFIL 改为让区块组装者公示排除清单,把价码提到出块奖励量级。
PeerDAS 将 blob 扩展后切分为 128 列,每节点仅保管 8 列。纠删码与多项式承诺使随机抽样在概率上等价于全量核验。附主网实测的 blob 占用数据。
相关的一手文献
Bitcoin: A Peer-to-Peer Electronic Cash System