Brendan：原因有很多。最重要的是订单执行部分。之前，这是用一笔以太坊交易来结算链上的每笔交易。这也带来了一些挑战。首先，它不是即时的，可以被抢跑。这就给所有人都带来了一些不确定性，你必须等待区块被挖出，你的交易才能通过。

而且，我们自己的交易需要耗费大量的 gas 费。这是在浪费我们的钱，这对我们来说是不可持续的。我们不得不让用户承担更高的费用或更高的最低交易金额之类的东西。随着以太坊规模的扩大或用户数量的扩大，这对任何人都没有好处。所以我认为这是我们的主要动机，是订单执行部分。

我们在 Layer1 看到的另一个问题是在链上获得预言机价格的速度。当价格急剧变化，Gas 成本上升时，预言机的价格被上报到 Layer1 的速度就慢得多，这就给用户带来了一些额外的风险。因此，我们必须通过提供更低的杠杆率，更激进的清算系统来惩罚被清算的用户，同样，它花费了大量的 Gas，速度缓慢，对整个系统的安全性贡献更小。所以我认为这是我们所关注的主要因素，我们将迁移到 Layer2 以获取更多即时确定性，这将带来更好的体验和更低的费用。

David: 你为什么选择 StarkWare 作为合作伙伴来开发 Layer2 系统？

Brendan：我们想要的是快速开发，希望在未来确定的几个月发布产品。所以我们想要消除更多风险，并与那些已经在主网上做了一段时间的人合作。StarkEx 一直在和 DeversiFi 合作并取得了很大的成功，从我们交谈过的人那里获得了很好的口碑。所以我认为这些是主要的影响因素。

David: Ohad，你能简单讲讲什么是 StarkEx 吗？以及它是如何工作的？

Ohad (StarkWare)：StarkEx 是 StarkWare 提供给以太坊上的应用程序的扩容方案。 它从定序器（在本例中为 dYdX）获取一个序列，在内部运行它们，并确保所有内容都检出并有意义。 然后，它将交易移至 Cairo 程序。 基本上，Cairo 程序可以代表任何语句（它具有图灵完备性）。 Cairo 编译器会编译 Cairo 程序，然后由我们的证明器将其转换为 STARK 证明。 然后，我们将此链上的证明发送给验证者进行验证。 如果验证者接受了证明，则证明是合法的。 因此，我们可以做到准确的即时结算。

David: 您能否描述 StarkEx 的不同模式及其权衡取舍？

Ohad (StarkWare)：对于 Validium，我们不会通过状态发布它们，这是因为这样做的成本非常高 : 即使它只花费实际执行事务的一小部分，它仍然是不可忽略的，并且随着变化的数量呈线性增长。相反，我们会说 :「好吧，我们有这个值得信赖的服务器委员会。」这就是 DeversiFi 和 Immutable 所采取的方法，它们有几个值得尊敬的委员会成员。在这种方法中，作为签批的条件，委员会成员必须证明他们都知道用户可能会在操作员出现故障时使用的所有相关数据。在 ZK-Rollup 中，我们每次更新时都会在链上发布新余额。 因此，用户对系统有更多的信任，但成本也更高。 (责任编辑：admin)