原文标题:《Fundamental Insights Weekly#56》 Arbitrum 是更好的 Optimistic Rollup 吗?两个基础概念在了解 Arbitrum Rollup 之前,我们需要先理解两个基本概念 断言(Assertion) 断言是计算机程序设计中的一阶逻辑,即一个结果为真或假的逻辑判别式。断言可用来验证程序的期望结果,程序运行到断言所在位置时,如果断言值为真则表示程序符合预期,如果断言值为假,则程序中止运行,并抛出错误。 Rollup Rollup 是针对开放式合约--即每个人都可以看到并与之交互的合约--的一般性扩展方法。 在 Rollup 中,交易本身作为 calldata 记录在 Ethereum 上,但合约的实际计算和存储在链下完成。有验证者,在链上发布一个关于合约将做什么的断言(也被称为 Rollup 区块)--合约所采取的行为列表,比如支付的款项,以及合约执行了已经在链上发布的调用后,其状态的加密哈希。 Arbitrum Rollup 是什么?Arbitrum Rollup 链是一个超级扩展的 Layer-2 链。像所有的 Rollups 一样,Arbitrum Rollup 链建立在 Ethereum 区块链之上,并由 Ethereum 区块链提供安全性保证,所有的交易数据都记录在 Ethereum 上。从用户和开发者的角度来看,与 Arbitrum 交互的就像与 Ethereum 交互一样。Arbitrum 拥有与 Ethereum 相同的 RPC 接口,支持所有 EVM 语言,并且原生支持所有 Ethereum 工具 (Solidiy,Vyper,Truffle,Remix,Ethers.js 等)。 所有在 Arbitrum Rollup 链上执行的交易都会提交给一个运行在 Ethereum 上的 Inbox 智能合约。Rollup 链的执行完全基于 Inbox 合约提交的交易,因此任何监控 Inbox 的人只要执行该合约的交易,就可以知道 Arbitrum 链的正确状态。 尽管在 Arbitrum 上执行交易需要以太坊交易,但 Arbitrum 交易与以太坊交易相比,只使用很小部分的 gas,因为 Arbitrum 只将原始交易数据提交到以太坊,执行和合约存储发生在链下。另外,ArbitrumRollup 还提供了一套压缩工具,可以进一步减少需要记录在以太坊区块链上的数据量,从而减少 gas 的消耗。 Arbitrum Rollup 的安全机制ArbitrumRollup 链由多轮交互式 Optimistic Rollup 协议进行保障。任何用户都可以提交一个关于 Rollup 链执行的断言。在该断言提交给 Layer-1 的以太坊链后便进入挑战期,任何其他用户都可以对该断言的正确性提出质疑。如果有人发起质疑,争议将由以太坊进行调解,并保证诚实的用户总是能赢得挑战。为了激励诚信,挑战者会放置保证金,一旦争议失败,他们的保证金将被没收。 Arbitrum 提供了自己的虚拟机 ArbitrumVirtual Machine (AVM), 以在保持高效解决争端的能力的同时,允许在乐观的情况下快速,高效,低成本地执行计算。 (责任编辑:admin) |