阅读时间: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 的原因。

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

原文链接:

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

作者:Matt Taylor

译者:苜蓿

References

[1] StarkDEX: https://www.starkdex.io/ 
[2] StarkWare: https://www.starkware.co/ 
[3] 8000 笔交易,每秒超过 550 笔交易 :
https://twitter.com/StarkWareLtd/status/1109043759440908288 
[4] 一款 Alpha: https://www.starkdex.io/ 
[5] 这里 : https://www.starkdex.io/#explorer 
[6] I: https://medium.com/starkware/stark-math-the-journey-begins-51bd2b063c71 
[7] II: https://medium.com/starkware/arithmetization-i-15c046390862 
[8] III: https://medium.com/starkware/arithmetization-ii-403c3b3f4355 
[9] IV: https://medium.com/starkware/low-degree-testing-f7614f5172db 
[10] V: https://medium.com/starkware/a-framework-for-efficient-starks-19608ba06fbe 
[11] StarkWare: https://medium.com/@StarkWare/dedbb537e453 
[12] Alex: https://blog.0xproject.com/0x-roadmap-2019-part-3-networked-liquidity-0x-mesh-9a24026202b3 
[13] 最新帖子 : https://blog.0xproject.com/0x-roadmap-2019-part-3-networked-liquidity-0x-mesh-9a24026202b3 
[14] 协调员 : https://github.com/0xProject/0x-protocol-specification/blob/master/v2/coordinator-specification.md 
[15] Remco 的博客文章 : https://blog.0xproject.com/0x-roadmap-2019-part-2-scalability-r-d-c0fc2d5101e5 
[16] StarkDEX Alpha: https://www.starkdex.io/