打开 Web3 新用例的大门？一文读懂 Micro-Rollups 链上证明
Micro-Rollups 的可验证链下计算、可审计状态及链上应用集成能力，或促使链上现实世界用例呈爆炸式增长。撰文：stackrlabs编译：Frank，Foresight News证明（Attestation），这是一个含义广泛的词，几乎每个人都对它的意思有一些理解，并且每个人在生活中都曾经在不知不觉中使用过这个概念。那么让我们尝试定义它，证明本质上是对某一信息做出的陈述或声明，它们作为可信赖方提供的证据或确认，以验证特定陈述的真实性。证明的可信度取决于提供证明的实体的声誉，在 Web3 世界中，证明带有数字签名，确保真实性和不可变性。让我们来看一些例子，无论是现实世界还是加密领域，你可能都没有意识到它们实际上就是某种形式的证明。Web3 世界的证明：以太坊证明服务登场以太坊证明服务（Ethereum Attestation Service，EAS）是 Web3 领域支持证明用例的领先项目之一，它是一个开源的基础设施公共产品，用于链上或链下进行证明。EAS 的运作方式非常简单，你只需注册一个关于任何主题的架构（或使用现有的架构），然后根据该架构进行证明。局限性尽管 EAS 为 Web3 中的证明推理和利用提供了坚实的基础，但它并非没有局限性。使用 EAS 进行链上证明的成本可能会非常高昂，并且需要编写 EVM 智能合约来实现任何自定义逻辑。对于链下证明，架构仍然需要放在链上，并且开发人员经常将这些证明存储在私有数据库中，从而损害了用户的可验证性。这种情况凸显了使用 Stackr SDK 构建的 Micro-Rollups 如何用于增强 EAS 或整体证明的功能。快速介绍 Micro-RollupsMicro-Rollups 本质上是一种状态机，可以在链下执行特定的逻辑，然后将执行结果的验证外包到另一个称为「Vulcan」的层，而 Vulcan 会更新验证状态并把计算数据上链。Micro-Rollups 的状态机具有定义良好的状态格式，并通过创世条件进行初始化；状态机可以执行动作（即交易类型），当触发这些动作时，会调用状态机上的状态转换函数；状态转换函数（STF）负责执行计算并更新状态机的状态；在 STF 执行后，所有动作将被打包成一个区块并发送到 Vulcan 层。Vulcan 层会执行以下操作：以「悲观」（Pessimistically）的方式重新执行区块中的动作，以检查状态转换函数（STF）的有效性；为经过验证的区块生成元数据；在 L1（主链）和数据可用性层（DA）上进行结算；将 Micro-Rollups 的更新状态发送到 DA 层；将经过验证的区块的元数据和更新后的状态根哈希值写入 L1 上 Micro-Rollups 的 inbox 合约；上述流程共同构成了 Stackr 的 Micro-Rollups 框架。证明系统 Micro-Rollups那么，为什么 Micro-Rollups 特别适合构建证明系统呢？Micro-Rollups 具有以下优势：可验证的链下计算：Micro-Rollups 在功能上类似于后端服务，但它为应用程序的状态和计算增加了一层可验证性，这可以确保证明的颁发者没有篡改系统规则；可审计的状态：一旦状态机部署完成，状态转换函数（STF）的逻辑就无法被修改，这可以让用户确信提供者不会任意更改系统的规则；可与链上应用集成：Micro-Rollups 可以与链上应用集成，Micro-Rollups 会将应用程序的状态根哈希值写入 L1，其他应用程序可以使用此哈希值来证明性地访问 Rollup 的状态；Micro-R...
