“不掌握私钥，币就不属于你”（not your keys, not your coins）。

这是区块链最初的愿景。但在面对区块链资产的交易属性时，因为区块链Layer1 的吞吐量局限，自主托管的理想不得不让为于中心化交易所以及其带来的流动性。

加密货币投资者有时候不得不在去中心化和中心化的光谱两端选择。选择中心化交易所，你不得不把你的加密货币转给交易所让它们托管，好处是得到流动性，弊端也很明显，因为私钥不再自己掌控，风险巨大。选择去中心化交易所，自己掌控私钥，但对交易者来说流动性较差。

很多人都在寻找解决方案，让投资者既能够自主托管自己的资产，也能拥有中心化交易所的流动性。

2020年6月4日，零知识证明开发机构StarkWare在以太坊主网上线了扩展性引擎StarkEx。StarkEx实现了STARK版本的零知识证明协议（Zero-Knowledge Proof）来证明一批交易（例如交易和转账）的有效性，并更新对交易链上状态的承诺。从而允许交易所以高流动性和较低成本提供规模化的非托管交易。让非托管的中心化交易所成为可能。

StarkEx在以太坊测试网上结算了超过5000万笔交易，并在主网上结算了130万笔交易。StarkEx演示的交易速度可高达9000TPS，而以太坊的TPS仅在3左右。据StarkWare，StarkEx已经部署在去中心化交易所DeversiFi上（DeversiFi前身为Bitfinex旗下的Ethfinex）。

什么叫“自主托管（self-custodial）”

根据StarkWare的定义，仅当一个系统满足4个属性时，才能被叫做 “自主托管型系统”：

1、没有用户的明确签名，资金无法被转移；

2、在签名的时候，通过钱包的用户体验设计用户可获得所有信息；

3、资金可随时提出；

4、即使协议代码升级甚至被滥用也不能破坏上述机制。

怎么实现自主托管

以一个用户的交易流程为例来说明。

存币：要在StarkEx上交易，用户需要将币存入StarkEx应用智能合约（StarkEx Application Smart Contract，ASC）。随后StarkEx将这些加密货币映射到链下帐户，用户就可以交易了。与中心化交易所不同，存入的币仍由用户完全掌控。

交易：用户订单发送到交易所，交易所撮合这些订单。当订单成交，这笔交易将发送到StarkEx Cloud。当达到一批交易数目或足够长的时间，StarkEx就会生成有效状态变化的证明，并将新的状态根（state root）发布到区块链。

提币：用户发起提币请求。该用户名下的加密货币从链下提交到链上的StarkEx ASC，并将包含该交易的证明提交给区块链。证明被接受后（约10分钟），用户可以立即从交易所提走币。StarkEx将在不久的将来实现快速提币功能。

StarkEx系统概览

也就说，StarkEx引擎具有链上和链下两部分，链下处理繁重的计算和存储，而链上主要用于验证和更新状态。

链下部分：交易所将交易发送给StarkEx Cloud，StarkEx Cloud将对其进行验证，并相应地更新链下状态。当积累了足够的交易或经过了足够长的时间后，交易所将对交易进行批处理并创建其有效性的证明。该证明与新的状态一起发送到链上。

链上部分：在链上，STARK验证者验证证明，数据可用性委员会（Data Availability Committee）中的验证者验证委员会成员的签名。验证者合约将其批准后发送给主StarkEx应用智能合约（StarkEx ASC）。ASC仅在获得这两个批准后才更新状态。ASC保证了没有用户的签名资金就无法转移。

数据可用性委员会DAC（Data Availability Committee）

因为还存在链下部分，为了消除对交易所的信任（比如DeversiFi和StarkWare），StarkEx的解决方案是成立了数据可用性委员会（DAC），负责确保链下数据的安全性和可用性。

DAC由信誉良好的公司或者机构等实体组成，它们受到社区和市场信任，而且其服务是有偿的。不过用户还是需要对DAC的部分信任，信任DAC成员存储、发布的链下数据，以防止交易所拒绝提现请求。此外，用户不必过度信任DAC成员，即使是恶意的DAC成员也无法直接窃取用户资金。不过，冻结资金或某些加密攻击的风险仍然存在。

StarkEx DAC的创始成员是ConsenSys、Infura、Nethermind、Iqlusion、Cephalopod、StarkWare和DeversiFI。

它们的以太坊合约地址：

ConsenSys | 0xFBD7599fe0C3735b94c369aDF0F0045D8D4f6cB9

Infura | 0x2b6593FcFbfdeD663D7a6448d45b12C16DF6B648

Nethermind | 0xf872Cf881873029B8955b582c29b66347f3f1326

Iqlusion | 0x51AbdE72a4542500a7b1Cb32B18b13fbe1F9ff2E

Cephalopod | 0x70EEAA8b7CbF7124e349e94EaDE6188DDd2d6178

StarkWare | 0x6A8EA587133c1aA4b3bA0417b6d8AE38E61fd1E4

DeversiFI | 0x3Bf2562178eA0CeF6B3F66D971494d65561EFD36

结语

因为StarkEx是建立在以太坊上的ZK-STARK Layer 2层扩展性协议，因此如果你想进行BTC交易，目前可能需要转化为代币化的BTC，比如在DeversiFI中交易的就是WBTC。

Matt Levine曾说：“所有加密货币交易所的命运都是被黑客入侵”。StarkWare表示，StarkEx将改变交易所们的命运。