比特币增强的权益证明安全性：可能性与不可能性

比特币是世界上最安全的区块链，由其工作量证明矿工的巨大哈希算力支撑。权益证明（PoS）链节能且具有快速最终性，但面临若干安全问题：易受不可罚没的长程安全攻击、低活性弹性以及难以从低代币估值启动。我们表明这些安全问题在任何无外部可信来源的 PoS 链中都是固有的，并提出了一种新协议 Babylon，其中现成可用的 PoS 协议将检查点锚定到比特币上以解决这些问题。一项不可能性结果证明了 Babylon 的最优性。Babylon 的一个用例是缩短 stake 提取延迟：我们的实验结果表明，借助 Babylon，该延迟可从现有 PoS 链中的数周减少到不到 5 小时，且每年将检查点发布到比特币上的交易成本低于 10K USD。