StarkDEX – 将 STARKs 引入以太坊

阅读时间：5 min

导语

新版的 StarkDEX 即将上线主网，融合了 STARKs 技术的新的去中心化交易所基础架构会有怎样的表现？零知识证明是否真的完全契合？

0x 团队一直在探索并迭代新的技术方案，例如无需安装节点的新技术方案 0x Mesh。

以下是 StarkDEX 的最新消息。

我们很高兴能发布 StarkDEX[1] 的 demo，这是一项与 StarkWare[2] 合作开发的概念验证技术。StarkDEX 是一种去中心化的交易所基础架构，利用 STARKs 消除非托管交易的上限，允许加密交易所为客户提供规模化交易，而不必担心存在交易对手的风险。
如今，最大容量的系统每次可以批量处理 8000 笔交易，每秒超过 550 笔交易 [3]，而在 gas 成本方面则便宜了 200 倍。最大容量的以太坊每秒只能验证大约 3 笔交易。

为了展示目前为止取得的进展，我们开发了一款测试程序 [4]
，它通过 StarkDEX 向交易提供信息，并在以太坊 Ropsten 测试网络上进行分批处理和验证。你可以在这里 [5] 演示并查看系统的运行情况！我们希望几个月内在以太坊主网上发布一个带有 0x
relayer(s) 的最小化可行产品 (具体日期将在稍后阶段公布)。

什么是 STARKs？

ZK-STARK 是一个零知识证明系统，代表零知识可扩展的透明知识论证。区块链生态系统正在使用不同的证明系统，从可扩展性到隐私性的一系列场景。STARK 的区别在于几个特性：可扩展性，透明性，精简加密技术以及去中心化配置。

要深入了解更多关于 STARK 的信息，请查看 StarkWare 的 5 部分系列文章，该系列深入研究了数学概念（第 I[6]，II[7]，III[8]，IV[9] 和 V[10] 部分）

StarkDEX 目前的迭代证明了通过区块链上交易数量的显着增涨，验证了使用 STARK 实现 Layer-2 可扩展性的可行性。基于 STARK 的扩展仍处于起步阶段，但我们有信心可以继续增加每个区块的交易数量，并且很高兴能与大家分享我们目前的进展。

新引擎的 StarkDEX

StarkDEX 利用 STARKs 将交易批处理为单一证明，并在以太坊上进行验证。验证过程利用了链上和链下组件来进行交易结算。

1.DEX （或测试环境，模拟器环境）向 StarkWare[11] 运行的验证服务发送一批 0x 订单。

2.验证服务检查批量处理中每笔交易的签名以及有效性。然后，验证服务将数据存储在链下，并将其添加到它保存的执行跟踪中。

3.验证者创建一整批有效性的证明，并将其与最新的 Merkle root 一起发送给链上合约验证器进行验证，该合约验证证明，并将 Merkle
root 发送给 DEX 的链上合约，以便存储。

4.验证者合约将连接到 0x 智能合约通道，该通道移动的批次将在以太坊链上得到确认。

StarkDEX – 更强大的 0x 技术栈

零知识证明是非常适合扩展去中心化交易所的强大工具，并且非常适合 0x 核心团队开发的不断迭代的 0x 技术栈。我们正在研究 0x
Mesh，这是一个点对点的网络传输层，可以极大地增加整个生态系统的订单流。
我们正在构建一种任何人都可以直接在浏览器中与网络交互的方式，这样用户就可以与订单进行交互，而无需安装节点！点击 Alex[12] 阅读关于 0x
Mesh 的最新帖子 [13]，以了解更多信息。

随着网络流动性的改善，下一步就是协调交易。协调员 [14] 是扩展合约的中继器，可以选择提供各种好处，包括防止抢先交易（front-runing）、创新的市场机制 (innovative marketplace mechanics) 和无限的软取消 (unlimited soft
cancels)。我们将在未来几个月中，提供更多关于协调员的更新。

一旦 0x 订单通过 p2p 网络和协调员合约，我们计划利用 StarkDEX 基础架构收集大批量的交易，生成一个小的证明，并在链上验证证明。这个技术堆栈本质上看起来像一个区块链。有一个点对点的网络分发订单 (mempool)，一个用于最终完成交易 (挖掘) 的机制，以及一个将订单分批 (区块) 的系统。最终，这些基础架构仍然建立在以太坊区块链之上，我们称这个堆栈为 0x
Sidechain。请阅读 Remco 的博客文章 [15]，了解更多关于为什么我们要使用零知识证明来扩展 0x 的原因。