欺诈证明中的经济性审查博弈
计算机科学与博弈论
2025-02-28 v1
摘要
乐观式 Rollup 依赖欺诈证明——在以太坊上执行的交互式协议——来解决关于 Rollup 状态的相互冲突的主张，以实现对以太坊的安全扩容。为缓解潜在审查协议动作的风险，欺诈证明赋予参与者显著的时间窗口，称为挑战期，以确保他们的动作在链上被处理。当今主要的乐观式 Rollup 将此期限设定在约一周，主要是为了防止削弱以太坊自身加密安全性的强大审查。然而，其他形式的审查是可能的，且其对乐观式 Rollup 安全性的影响尚未充分理解。本文考虑经济性审查攻击，即攻击者通过收买区块提议者来审查防御者的交易。在每一步中，攻击者可以选择审查防御者——以消耗防御者时间配额的代价支付收买费用——或允许当前交易通过，同时保留资金用于未来的审查。我们分析了这些动态的三种博弈论模型，并确定为确保防御者成功所需的挑战期长度，作为所需协议动作数量和玩家可用预算函数。
关键词
引用
@article{arxiv.2502.20334,
title = {Economic Censorship Games in Fraud Proofs},
author = {Ben Berger and Edward W. Felten and Akaki Mamageishvili and Benny Sudakov},
journal= {arXiv preprint arXiv:2502.20334},
year = {2025}
}