快链头条

Arbitrum空投带来的巨大财富效应，让获得的社区用户为之狂欢，也让错过的用户为之懊恼，于是开始纷纷寻找下一个未发币的项目，希望下次空投时能有资格。曾经的 layer2 四大天王：也仅剩两位没有宣布空投。Optimism 和 Arbitrum 在 Layer2 生态的市场重量已经显而易见了，随着 Layer2 summer的到来，作为Layer2同一赛道的未发币项目zkSync、Starknet和Scroll自然被寄予了厚望。本文将重点梳理每个L2交互过程，并进行步骤详解，期待L2 Summer到来时，行业用户繁荣景象

01。scroll 交互教程

1、首先去领以太坊Goerli测试网代币ETH。goerlifaucet.com/，goerli-faucet.pk910.de

注意，一般一个账户24小时之内只能领取0.1个TETH。

但目前因为受Arbitrum空投的影响，大量用户选择在众多测试网上交互地址，导致水龙头领取额度紧张，不过Layerzero为解决TETH额度不多的问题推出了testnetbridge，可以通过将主网ETH兑换成TETH，网址如下：

https://testnetbridge.com/

2、领完测试代币之后去Scroll官网添加Scroll Testnnetwork至Metamask

https://scroll.io/alpha

添加完毕之后使用Scroll官方跨链桥，将ETH Goerli测试网的TETH跨到Scroll Testnetwork

跨到Scroll之后选择已经集成到Scroll上的Uniswap进行交互包括swap和流动性质押

其中Scroll Uniswap上的代币合约查询地址：blockscout.scroll.io/tokens

（1）Swap可以每日进行多笔交换增加交互次数

（2）流动性质押由于Scroll测试网较为卡顿，需要多尝试几次操作

02

zksync ERA交互教程

Zksync era在3月24日上线主网后，以往faucet领取的代币只能去交互Lite测试网，目前era交互需要连接zksync主网，利用官方或者第三方bridge进行跨链交互。

https://portal.zksync.io/bridge

跨链完成之后可以访问syncswap进行常规交互即可，当然也可以选择去其他DAPP上进行交互，也可以选择在官方网站上mint相关NFT实现交互。

https://testnet.nexon.finance/

当然也可以选择在借贷协议上进行交互，不过目前nexon还未部署在zksync era主网上，想交互的话仍需使用TETH测试代币。

03

Starknet交互

1、首先因为账户抽象以及Starknet本身为ZKVM由Cario编写的原因，需要安装ArgentX插件钱包，但考虑到ArgentX中心化的问题，建议交互时可以小额度分批进行交互。

ArgentX钱包需要去google商店中添加至扩展程序，设置好自己钱包密码（建议自创钱包，尽量不要将其他钱包助记词或私钥导入到ArgentX）

 

2、创建好ArgentX钱包后通过Starknet官方跨链桥转入ETH

https://starkgate.starknet.io/，通过访问不同类型Dapp完成交互，其中主要完成Defi swap和流动性质押，也可以选择购买NFT等完成交互，下面拿10kswap举例。

当然Pool质押池的类型有很多，不同Swap之间的玩法也不同，用户可以根据自己的情况对不同的Defi应用进行交互，主要目的是获得项目对社区的生态激励，同时用户也应注意到目前交互人数激增，网络转账或处理交易的速度较为缓慢，每笔交易甚至延缓至20-30分钟，若从L2转到L1主网所花费时间甚至更久。

总结

虽然简单粗暴的空投短期能造成用户的狂热与市场的热度飙升，但真正优质的项目早已清楚简单的空投对项目并没有实质性的增长帮助，空投会不会被取代我们不得而知，但是早期种子用户的激励政策及项目的长期规划和健康发展，才是真正建设好web3的基石与根本，在金融属性逐渐加强和优势突出的web3行业，我们更希望空投吸引用户，但用户会为项目的独特魅力而久留共建。

22023年是zk的爆发元年，已经有些说法了。本文我们将重点放在探讨 不同类型的zkEVM以及ZKP的硬件赛道等内容上，将逐一进行分析。上周由ChainTimes快链发起的关于ZK主题的投研会上，大家踊跃交流，本文将梳理由MetaStone Capital分享的关于zkEVM和硬件的分析。

01.关于zk—rollup

Rollups作为一种以太坊可扩展性解决方案，可以通过其本身网络将交易进行捆绑并压缩发送到以太坊链上进行验证，通过一次性验证该网络上的多笔交易增加网络的运行效率，也就是从而增加了交易的执行数量，进而实现扩容。

通过Rollups本身一次性执行的交易数量，可以提高以太坊一直诟病的TPS问题，在基于以太坊本身安全性的前提下，将可执行的交易数量提升数个量级

zkRollups可以通过零知识证明技术将隐私性与解决方案结合，也就是允许一方向另外一方证明某件事而不用透露证明该方的信息，从而实现隐私性。当然并不是所有的zkRollups都会利用零知识技术的隐私属性。同时相比于L1来说，zkRollups有更强的规模经济效应，作为L1的以太坊来说，一般它的成本和处理速度不太欢迎越来越多的用户使用，而对于zkRollups来说，更多的交易用户会使得网络的使用成本进一步下降，实现最初的目的。

在ETH上应用zk—rollup明显的好处有：

1.共享以太坊共识层的安全性

2.解决区块链不可能三角中的扩展性问题

3.巨大的网络效应

02。EVM与zkEVM的工作原理

a.EVM的工作原理

智能合约字节码从 EVM 的存储中加载，并由 EVM 上的点对点节点执行。

EVM 操作码与 EVM 状态的不同部分进行交互并执行读写操作（包括内存和栈）

EVM 操作码在返回新值之前对从状态存储中获得的值执行计算，完成状态上的转换

b. zkEVM的工作原理

即生成零知识证明对上述各个过程进行验证，生成有效性证明，提交给ETH验证者合约进行验证。验证包括看是否从旧状态获取正确值，是否计算中发生了偏差等等生成有效性证明的过程也是进行零知识证明电路的过程



3.zkEVM的执行程序

01.zkEVM的基础条件，需要有一个兼容evm的虚拟进行操作码执行，运行智能合约

02.有一个验证电路生成零知识证明。使用前状态、交易输入和后状态信息作为输入来完成证明生成过程

03.将有效性证明提交到ETH验证合约进行验证



4.Scroll与zkSync、Starknet、Polygon的兼容性问题

因为EVM在最初设计时并没有考虑到zkp计算的问题，所以想讲zk+zvm结合起来需要两种方式：

a.编译方式 

starknet本身用的开罗语言（零知识证明系统语言），如果开发者想将eth上应用搬到starknet上来，需要借用starknet团队的编译器进行编译，允许使用 Solidity 编写的项目将其代码库“一键”翻译成 Cairo。

zksync也是在语言上进行编译，通过中间语言YUL，在使用 LLVM 框架，将solidity合约字节码编译为YUL语言，再通过YUL字节码编译为zksync ZKEVM可执行的字节码集

polygon则是在字节码上进行编译，将开源的solidity字节码编译为polygon uvm可执行的微操作码，实际上也算更换了evm原生操作码。但进步的点在于从字节码级别完成evm的兼容

b.scroll这种为evm操作码设计零知识电路的过程

Scroll会将智能合约在EVM上执行，把智能合约字节码传到存储器中，用操作码一个一个执行，得到默克尔树，给每个树定制一个电路。每一个opcode都有一个电路，组合起来，没有转译器步骤，不需要修改任何东西。

字节码级别的 zkEVM对于开发者友好：低门槛部署属于一点，另外不将 Solidity 代码转换成另一种编码语言，开发者能够直接使用常见的以太坊开发工具、库、 钱包（如 MetaMask）、市场和调试器，这一点是最为关键的。相反使用语言级别兼容会对开发者使用eth工具，迁移以太坊生态应用产生一定困难，兼容性会较差一些。

除了兼容性以外，如何比较ZK-EVM：

在开源的环境下，整体的Prove system各个ZK方案中区别很小， 差别不大，微弱影响Prove的效率。工程方面在证明复杂度、验证复杂度、通信复杂度等方面去衡量， 还有电路整体开发思路，整体无法评断最终谁会胜利。因为网络效应、社区文化、运营推广、财富效应、开发者支持等都是生态最重要的要素。

5.目前ZKP的类型

要想通过zk证明某个计算，通常需要将传统程序翻译为 ZK-friendly程序。

计算越复杂，加上对zk不友好，生成proof的过程也就越慢，某些运算并不是ZK友好的（sha/bitwise运算），计算对zk友好的话，其速度也就越快，proof系统目前有如PLONK、Spartan、STARK。这些proof system根据输入，可输出a proof。

但目前生成proof基本的瓶颈无非是二者之一，所有proof system基本包含FFT和MSMs两种算法，而目前两种算法速度受限制的主要因素取决于硬件中的成本和带宽成本

目前的硬件类型主要有以下三种GPU FPGA ASIC，当前ZKP仍处于早期发展阶段，对系统参数的标准化工作仍然很少（如FFT的width 或 element的bit-size），对proof system的选型也无相关标准。

基于以上因素，对于ZKP场景，FPGA有2个核心属性，使得其更优于ASIC:

01Write multiple times” VS “Write once”

ASIC上的业务逻辑是write-once的。若有任何ZKP逻辑修改，需重头开始。FPGA可在1秒内re-flash，支持re-flash无数次，这就意味着可在 运行不兼容proof system的不同链之间 复用相同的硬件（如想要跨链extract MEV），并随着ZK“meta”的变化而灵活地适应。

02更健康的供应量：

ASIC的设计、制造和部署通常需要12到18个月或更长时间。而FPGA的供应链是健康的，如Xilinx这样的领先FPGA供应商，允许从网上批量下单（即无需其它联系）并在16周内到达。这允许以FPGA为中心的运营在其产品上有更紧密的反馈回路，并通过购买和部署更多FPGA来扩大其运营。

并且我们还预计FPGA的性能将优于GPU，主要有两个原因：

1）硬件开销：顶级FPGA（领先的处理节点、时钟速度、能效和内存带宽）比顶级GPU便宜约3倍。全球对GPU的需求进一步加剧了这一问题。

2）功耗效率：FPGA的能耗要优于GPU >10倍，主要原因在于GPU需要连接到a host device，这通常将耗费大量电量。

我们认为市场上未来的赢家将是：FPGA > ASIC（或GPU）。若未来仅有一个或少量ZK L1或L2方案占据了主导规模，ZK proof system将稳定围绕在某单一实现，则可能ASIC将超过FPGA。但是目前来看，数年内不会有该情况发生。

比特币矿商的收入超过150亿美元，以太坊矿商的收入刚刚超过170亿美元。零知识证明最终会成为网络上计算完整性和隐私的事实媒介，在这种情况下，ZK miners/provers 的机会可能与工作量证明采矿市场的规模相似。

ZKP速度较慢，需要硬件加速才能实现复杂计算。我们认为，对ZK硬件加速最重要的技术是FPGA，而不是GPU（受限于成本和能效）或ASIC（受限于其不灵活和迭代周期长）。