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