Verilay：一种可验证的权益证明链中继

区块链中继方案支持跨链状态证明而无需可信中介。这是通过在目标区块链上应用源区块链的共识验证协议实现的。现有的链中继允许验证使用工作量证明（PoW）协议创建的区块。由于PoW伴随高能耗、有限吞吐量和无保证的最终性，权益证明（PoS）区块链协议正日益流行以弥补这些缺陷。我们提出Verilay，首个支持验证产生最终确定区块的PoS协议的链中继方案，例如Ethereum 2.0、Cosmos和Polkadot。该概念不需要更改源区块链协议或验证者操作。区块提议者的签名由目标区块链上的专用中继智能合约验证。与基础PoW链中继相比，Verilay仅需提交区块头的一个子集即可维持完全可验证性。这带来了增强的可扩展性。我们提供了一个原型实现，便于在以太坊虚拟机（EVM）内验证Ethereum 2.0信标链头。我们的评估证明了其对Ethereum 1.0主网的适用性，并确认与PoW链中继更新相比仅需一小部分交易成本。