David: Brendan，dYdX 的 StarkEx 实施是 ZK-Rollup，而不是 Validium。你能描述一下为什么 ZK-Rollup 是 dYdX 更好的模式的思考过程吗？

Brendan： 事实上，我们对此并没有什么特别强烈的想法。我认为 Ohad 在那里很好地描述了权衡。它只是使每个人都可以使用数据，但是发布的代价是这样做需要更多的 gas。因此，我们决定暂时将其保留在链上，并进行汇总，因为我们觉得我们可以付得起 gas。目前，我们并未将 Gas 成本转嫁给用户。所以交易时的没有 Gas 费。 假设 ETH 的价格继续上涨或网络使用率增加，那么我们将来可以删掉将所有数据发布到链上的那一部分，然后也许请一些额外的委员会成员来验证数据存储在多个不同的位置，可供多个不同的参与者使用，因此用户不会失去对链上实际当前余额的跟踪。如 Ohad 所述，这很重要。如果他们需要基本证明自己所拥有的职位并退出系统。

但这只是前进的方向，因为如果这样做成本太高，那么，正如我提到的那样，如果最终必须将这些成本转嫁给用户、社区和其他用户，这是我们可以把更多的数据放到链下，为每个人节省了更多的 gas 费。

David: 随着过渡到 Layer2，人们可以在块浏览器中看到的数据更少了。 Ohad，您能描述一下 Layer1 上可供用户查看的数据吗？

Ohad (StarkWare)：在 Layer1 上可查看的数据是所有用户的余额，包括合成资产和资金指数：，这些信息可以知道当最后一批被接收时我们真正拥有多少资金。 交易本身并未在链上发布，这既是为了节省成本，同时也是为了保持交易策略的私密性。

David: 作为用户，我如何才能相信保留在 Layer1 之外的交易数据实际上是正确的？ 有什么机制可以确保链下发生的所有事情的有效性？

Ohad (StarkWare)：在讨论 StarkEx 之前，我曾说过，所有这些都是基于 Cairo 程序的，而该程序是一切的中心。 因此，发生的事情是，Cairo 程序将获得交易的顺序。 除了对新状态输出的承诺外，它还添加了批次期间更改的所有头寸余额。 并且此输出链接到证明。 如果您无法通过链上的数据向我显示交易，那么该证明将不会被接受。

David: 这个回答真的超级有帮助！ Ohad，您能提供有关 StarkNet 的状态及其愿景的更新吗？

Ohad (StarkWare)：也许我将从 StarkNet 开始，因为到目前为止我们只在 StarkEx 上讨论过。 StarkEx 很酷。它现在确实对你有帮助，但从长远来看还不够。从长远来看，它不够好的原因是：目前 StarkEx 需要操作员进行操作，从集中化的角度、技术和监管的角度来看，这都是不利的。 StarkNet 意味着将所有 Cairo 程序和示证者（Prover） / 验证着（Verifier）都放在 StarkEx 的中心，而不是与一个只会建立完整侧链的定序器一起工作，其中侧链中的每个区块都将通过与 Cairo 进行比较来证明，然后证明就像我们今天证明的那样，甚至使用与今天相同的验证程序。 (责任编辑：admin)