勤勉证明：Rollup的密码经济学安全
密码学与安全
2024-07-25 v2
摘要
诸如以太坊之类的第一层(L1)区块链，是在一个庞大的验证者池“诚实绝对多数权益”假设下获得安全保障的，这些验证者会验证其上的每一笔交易。这种高安全性是以可扩展性为代价的，这不仅影响了区块链的吞吐量，还导致链上执行交易的Gas费用高昂。针对此问题，最成功的解决方案是乐观Rollup，即第二层(L2)区块链，它们在L1之外执行交易，但将交易数据发布到L1上。这种L2链的安全性，在非正式论证中，是基于这样一个假设：会有一组节点检查发布在L1上的交易数据，并在检测到错误交易时发出警报（欺诈证明）。然而，当前所有的部署都缺乏一个适当的激励机制来确保这些节点会“勤勉地”完成其工作，而仅仅是依赖一个粗略的激励对齐论证来保证安全。我们通过引入一个旨在作为Rollup第一道防线的激励化瞭望塔网络来解决这个问题。我们的主要贡献是一个“勤勉证明”协议，该协议要求瞭望塔持续提供它们已验证L2断言的证明，并因此获得奖励。勤勉证明协议包含一个精心设计的激励机制，在瞭望塔是理性参与者且满足温和的理性独立假设下，该机制被证明是安全的。
引用
@article{arxiv.2402.07241,
title = {Proof of Diligence: Cryptoeconomic Security for Rollups},
author = {Peiyao Sheng and Ranvir Rana and Senthil Bala and Himanshu Tyagi and Pramod Viswanath},
journal= {arXiv preprint arXiv:2402.07241},
year = {2024}
}