然后，完整的签名集合和价格中位数将被发送至 StarkEx。dYdX 的 Cairo 程序会检查以下内容：

• 　　输入有效期：签名是有效的，且所有公钥都属于链上名单内有资格的喂价方

• 　　时间戳足够新

• 　　有效公钥签名的数量达到门槛要求

• 　　价格中位数计算正确

　　假设上述几点成立，Cairo 程序就会生成一个 STARK 证明来证明该程序是正确执行的。这个 STARK 证明会被发送到链上，如果验证通过，就会在链上存储一个数（即，一批交易的最低价格和最高价格的平均数）。需要注意的是，每种资产每上链一批交易都会存储一个价格，与该资产的链外喂价服务提供商数量无关，与每批交易上链期间的喂价频率也无关。

　　就是这么简单！

　　该价格可以立即用于后续的链下交易，即使是在 STARK 证明在链上得到验证之前。这里要强调是，价格更新的正确性由 STARK 证明保证。这就意味着，如果某个价格与执行的结果不对应（invalid），则包含该价格的交易批次以及所有基于该无效价格的交易都将被拒绝。

　　关于 OR 和价格输入机制

　　不同于 ZK-Rollup，Optimistic Rollup（OR）要求在链上发布所有与价格输入机制相关的数据。也就是说，在 OR 中，gas 成本随价格更新频率和链下价格提供商的数量线性增长。

　　总结

　　令人振奋的是，随着 Layer 2 可扩展性解决方案变得越来越复杂且流行，这些方案不仅可以扩展现有的 Layer 1 功能，还能解锁全新的功能和业务逻辑。我们希望在不久的将来会有更多去中心化应用整合 StarkEx（以及即将到来的 StarkNet），为用户提供可扩展性更强、更安全、更可靠的实时服务。