The idea of security sharing goes back to Nakamoto's introduction of merge mining, a technique that enables Bitcoin miners to reuse their hash power to bootstrap and secure other Proof-of-Work (PoW) blockchains. However, with the rise of Proof-of-Stake (PoS) chains, there is a need for new methods of Bitcoin security sharing. We introduce Bitcoin staking, a protocol that allows Bitcoin holders to trustlessly use their idle asset to secure a PoS chain. The key challenge is to enable automatic slashing of bitcoins on the Bitcoin chain upon safety violations on the PoS chain. We achieve this using double-authentication-preventing signatures, finality gadgets and bi-directional timestamping between Bitcoin and the PoS chain. Our design is entirely modular and can be integrated with any PoS chain. A version of this protocol was deployed to secure the Babylon mainnet in April 2025 and currently has over 58,000 bitcoins staked (about 4 billion USD at current prices) while paying only 0.05% APR reward to the stakers. This is 2 orders of magnitude cheaper security cost than in PoS chains secured by their native token.
PQLN: Post-Quantum Security for the Bitcoin Lightning Network's Off-Chain Surfaces
East Texas A&M University(东德克萨斯农工大学);North American University(北美大学);Florida Gulf Coast University(佛罗里达海湾海岸大学);Florida Institute of Technology(佛罗里达理工学院)
Redactable Blockchain in the Permissionless Setting
比特币是一种不可变的非许可区块链系统,已被许多严重依赖其不可变性的不同应用程序广泛用作公共公告板。然而,比特币的不变性并非没有其公平份额的缺点。国际刑警组织揭露了比特币区块链中存在有害和潜在非法的文件,图像和链接,此后对目前存在于比特币区块链中的数据类型进行了几次定性和定量分析。尽管人们对区块链有很多关注,但令人惊讶的是,以前为无权限设置中的数据编辑提出的解决方案远不可行,并且需要额外的信任假设。因此,有害数据的问题仍然对国际刑警组织等执法机构构成巨大挑战(Tziakouris,IEEE S& P '18)。我们提出了第一个高效的可编辑区块链,用于无需许可的设置,可以很容易地集成到比特币中,并且不依赖于繁重的加密工具或信任假设。我们的协议使用基于共识的投票,并由一个策略参数化,该策略规定了编辑的要求和约束;如果编辑收集了足够的投票,则在链上执行操作。作为一个额外的功能,我们的协议为编辑链提供了公共可验证性和问责制。此外,我们提供了正式的安全定义和证明,表明我们的协议是安全的,对未达成共识的编辑。此外,我们展示了我们的方法的可行性与一个概念验证的实现,显示只有一个很小的开销,在我们的协议的链验证相比,一个不变的。
Proof of Useful Intelligence (PoUI): Blockchain Consensus Beyond Energy Waste
School of Science and Technology(科学与技术学院);Kwansei Gakuin University(片山大学);School of Engineering & Computer Science(工程与计算机科学学院);Victoria University of Wellington(威灵顿维多利亚大学)