Specular：迈向安全、信任最小化的乐观区块链执行
密码学与安全
2024-01-05 v2
摘要
乐观 Rollup（ORU）通过将计算委托给不受信任的远程链（L2），并借助交互式争议解决协议仲裁相互不信任的 L2 运营方之间的状态声明分歧，从而扩展区块链吞吐量。最先进的 ORU 采用单体争议解决协议，将 L1 仲裁方与特定的 L2 客户端二进制紧耦合——忽视系统更高层语义。我们认为该方法（1）放大了单一文化失败风险，因排除了使用运营方自选客户端软件实现的信任最小化与无许可参与；（2）导致不必要的大且难审计的 TCB；（3）遭受频繁触发却不透明的升级过程——二者均进一步增加审计开销，并扩大治理攻击面。为解决这些问题，我们概述了一种以最小 TCB 设计安全且弹性 ORU 的方法，通过促进机会式 1-of-N 版本编程。因其独特挑战与机遇，我们将本工作具体立足于 ORU 已获显著进展的以太坊生态。具体而言，我们设计了一个语义感知的证明系统，原生面向 EVM 及其指令集。我们在一个名为 Specular 的新 ORU 中给出了实现，其以最小源码修改机会式利用以太坊现有客户端多样性，证明了我们方法的可行性。
引用
@article{arxiv.2212.05219,
title = {Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution},
author = {Zhe Ye and Ujval Misra and Jiajun Cheng and Wenyang Zhou and Dawn Song},
journal= {arXiv preprint arXiv:2212.05219},
year = {2024}
}