编译：TechFlow intern
StarkNET 是由 StarkWareLtd 构建的 L2 ZK-Rollup 技术，还没有代币。这篇文章主要推测 STARK 将会有哪些空投，了解 ZK-Rollup 技术，以及列出我们现在可以使用的协议。
什么是 ZK（零知识）证明？这是一种在不泄露信息的情况下证明某事的方法。比如，我想向你证明我知道下面这副画中的某个人，但我又不想指出他的具体位置，我该怎么做呢？
我可以拿一张大白纸，假设比这副画大 5 倍，在纸上打一个小洞，然后覆盖在画上，我能让你能通过这个小洞看见那个人。
由于纸比画大太多，所以你不知道这个人的具体位置，但你也相信了我确实知道这个人在哪，这就是简单的 ZK 逻辑。
这个逻辑可以应用于 Rollup，使得区块链变得更轻巧、更快、费用更便宜。因为包含的数据很少，而又不会失去去中心化。这些 ZK L2 已经已经慢慢获得了 EVM 的支持。
zkSync 是 ZK L2 的竞争者之一。他们于 2020 年 6 月推出了 zkSync 主网 1.0，没有智能合约支持。现在 zkSync 2.0 已处于测试阶段，并支持智能合约。
现在轮到了 STARK ：
- StarkWARE - 构建技术的公司；
- StarkEX - 不具备复合能力的 ZK 解决方案；
- StarkNET - 具有可组合性的 ZK 解决方案。
STARK 由一些 Zcash OG 创立：EliBenSasson、Ukolodny、Riabzevmichael，并且已经有超过 1 亿美金的风投资金入驻。
StarkEX：他们的第一种方法是使用 ZK 技术来扩展特定的应用程序，但它们并不是可组合的。dYdX、ImmutableX、DeversiFi 是一些使用 Starkware 的 StarkEX 的应用程序。每个协议都被固定在自己的应用程序中，没有可组合性，但这对 DeFi 来说是需要的。
StarkNET：使用 ZK Rollup 的完整以太坊 L2 网络，具有可组合性。目前，StarkNET Alpha 已经在主网上线。同时也在 Testnet 上测试，那里有更多的协议可以尝试。那么：
(i) 你能在 StarkNET 上做什么？
(ii) 他们是否计划推出代币？
他们很有可能会推出代币。为了确保网络安全，他们需要经济激励，为了去中心化，他们的社区需要权力，这意味着需要代币。所以让我来给你介绍 StarkNET Goerli-Testnet 的策略。
- 首先，你需要在谷歌浏览器上安装 Argent 钱包，然后去水龙头获取一些测试代币；
- 其次，在 Starkswap 上完成一次交换，再去往 JediSwap、Myswap 和 Alpharoad 分别完成几次交易；
- 第三步，加入 Matchbox Dao 的 Discord，在 PlayOasisXYZ 上铸造一个 NFT，
- 最后再通过 SuezBridge 将 GOERLI ETH 转移到 L1 当中，就可以去填写 Zkxprotocol 的名单了（http://zkx.fi/#notifysection）。
对于 StarkEX，很多协议已经在使用了，而且大部分都有自己的代币， 但这依然是 StarkWare 的技术。所以如果你有时间，也可以去刷一刷，下面是这些协议：
1. dYdX 期货交易（有代币）；
2. Deversifi DEX（有代币）；
3. Immutable NFT 市场；
4. Sorare 运动收藏品；
其他一些尚未推出的协议，我认为需要注意的是这些：
1. ZKEX 的多链 DEX；
2. Sithswap AMM；
3. ZkLend 借贷；
4. Aave <> Starknet 交互；
5. CurveZero 一个固定利率的贷款协议；
6. Fujifinance，贷款再平衡器；
对于 StarkNET Alpha 主网，我们现在能做的不多，这不是 Goerli，这是 StarkNET 主网。他们在几天前推出了 StarkGATE（他们的跨链桥），用户将他们的 ETH 从以太坊生态发送至 StarkWARE 主网。
如果你对零知识证明感兴趣，并且想获得他们的空投与代币奖励，你可以通过我提供的策略来完成他们的一些测试。
