Sovereign Rollup 中的完整性证明包括所有三个 Rollup 组件，所以它是一个用户管理的独立 Rollup。

撰文：Dogan

编译：Luffy，Foresight News

很多人都在谈论 Sovereign Rollup 及其与智能合约 Rollup（SC Rollup）的不同之处，但鲜有人讨论它们是如何工作的？下面我将简要介绍 Sovereign Rollup 的工作原理。

首先，我们应该了解「经典区块链」（比特币、以太坊等单一区块链）和「模块化区块链」的工作原理，请参阅我最近写的一篇文章。

Rollup 的三个功能组件

Rollup 有三个主要功能：执行可验证计算、确保交易数据的可用性和分叉选择规则。

A) 执行可验证计算：Rollup 计算都可以通过使用完整性证明来验证（零知识或欺诈证明）。

这意味着 Rollup 交易可以很容易地被第三方参与者验证。

B) 确保交易数据的可用性：由于 Rollup 也是区块链，它们要求数据在任何时候可以被任何需要的人访问。

在 SC Rollup 中，智能合约负责此项任务，数据可用性规则由智能合约定义。

C) 分叉选择规则：几乎所有的区块链都被设计成不可变的，除非社区协调一致同意对其进行更改，Rollup 也不例外。

 SC Rollup 中的分叉选择规则也是由智能合约定义。

对于 SC Rollup，完整性证明只包括计算的有效性。分叉选择和数据可用性规则在智能合约中定义，这意味着如果你想在 SC Rollup 中进行任何更改，你必须先更新智能合约。

所以，重要的问题是：如何升级智能合约？

升级智能合约有两种方法： 第一种是 DAO/Tokenized security，它违反了 Rollup 的「共享安全」原则。第二个是多签，它有点中心化并且自身也存在缺陷。

当前 Rollup 使用将两者混合的方法进行升级。

Sovereign Rollup 工作机制

Sovereign Rollup 中的完整性证明包括所有三个 Rollup 组件：分叉选择规则、数据可用性规则和执行有效性。因此，我们得到了一个用户管理的独立 Rollup。

如果协议想要升级，用户必须更新他们的轻客户端以验证正确的链，这允许用户管理协议。

SC Rollup 与 L1 之间有一个信任最小化桥，而 Sovereign Rollup 则没有。

Sovereign Rollup 可以与其它 Sovereign Rollup 之间建立信任最小化桥，只要它们使用相同的数据可用性层（注：Sovereign Rollup 也可以在数据可用性层之间建立信任最小化桥）。

新的问题随之产生：Sovereign Rollup 是通过基于轻客户端的智能合约桥连接的，这意味着如果一条链分叉，另一条链也必须分叉。

这个问题可以通过社区协调或由数据可用性层治理来解决。我相信解决方案在未来会出现，但现在还不清楚。