阅读时间：5 min

我们很高兴能发布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的原因。

查看StarkDEX Alpha[16]的演示版本，并亲自审查DEX基础架构。

原文链接：

https://blog.0xproject.com/starkdex-bringing-starks-to-ethereum-6a03fffc0eb7

作者：Matt Taylor

译者：苜蓿

References