来自Lucas Dantur twitter：

正文开始：

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：是StarkWare使用 ZK 技术来扩展的第一种方法，但它们并不是可组合的。dYdX、ImmutableX、DeversiFi 是一些使用 Starkware 的 StarkEX 的应用程序。每个协议都被固定在自己的应用程序中，没有可组合性，但这对 DeFi 来说是需要的。

StarkNET：使用 ZK Rollup 的完整以太坊 L2 网络，具有可组合性。目前，StarkNET Alpha 已经在主网上线。同时也在 Testnet 上测试，那里有更多的协议可以尝试。

你能在 StarkNET 上做什么？

为了确保网络安全，他们需要经济激励，为了去中心化，他们的社区需要权力，这意味着需要代币。

StarkNET Goerli-Testnet 的策略(体验为主，后期测试网不一定能给空投）。

1. **首先，**你需要在谷歌浏览器上安装 Argent 钱包，然后去水龙头获取一些测试代币；
2. **其次，**在 Starkswap 上完成一次交换，再去往 JediSwap、Myswap 和 Alpharoad 分别完成几次交易；
3. **第三步，**加入 Matchbox Dao 的 Discord，在 PlayOasisXYZ 上铸造一个 NFT，
4. 最后再通过 SuezBridge 将 GOERLI ETH 转移到 L1 当中，就可以去填写 Zkxprotocol 的名单了（http://zkx.fi/#notifysection）。

对于 StarkEX（不是StarkNET），很多协议已经在使用了，而且大部分都有自己的代币， 但这依然是 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 主网。

如果你对零知识证明感兴趣，并且想获得他们的空投与代币奖励，你可以通过我提供的策略来完成他们的一些测试。