ConsenSys能否领导Linea在不断内卷的Layer2赛道中脱颖而出?

'ConsenSys能否在Layer2赛道中脱颖而出?'

项目简介

Linea是ConsenSys公司开发的Layer2解决方案,旨在提高以太坊的可扩展性和效率。作为zkEVM,Linea利用具有EVM等效的零知识证明,使开发人员能够轻松构建可扩展的dapp或迁移现有的dapp。

团队

Linea隶属ConsenSys公司旗下产品,ConsenSys成立于2014年,总部位于纽约布鲁克林,其与政府组织机构(美洲开发银行、欧洲委员会、南非储备银行)和商业巨头(微软、摩根大通)都保持良好的关系,是以太坊联盟等加密行业委员会的领导成员。

ConsenSys初始业务为风险投资,2020年开始进行重组,将公司拆分为ConsenSys Mesh和ConsenSys Software两个实体。ConsenSys Mesh作为投资实体,Software则专注区块链产品开发,旗下产品包括原生加密钱包Metamask,月活用户超3,000万,是区块链最大的加密流量入口,以及面向开发者的区块链开发工具Infura,用户数量超过40万,是以太坊生态系统中最具影响力和实力的公司之一。

目前Metamask已经从ConsenSys拆分出去作为单独实体,Linea团队成员任职仍然属于ConsenSys,在领英注册员工数量为837位。Linea可以获得与ConsenSys旗下产品的无缝集成,例如在Metamask钱包插件中,Linea是默认存在的,消除用户手动添加网络的体验障碍。

融资

Linea当前并未进行过单独的融资,其母公司ConsenSys从2019年至2022年共进行过四轮融资,融资金额超过7亿美元,参投公司不仅包括顶级加密投资机构Dragonfly、Coinbase Ventures等,还包括微软、软银、淡马锡等传统金融巨头。

Linea背靠ConsenSys丰富的行业资源和Metamask庞大的流量基础,自带行业热度。

技术实现

基于Vortex的SNARK证明技术

Linea采用的是基于Vortex的SNARK证明技术。Vortex是一个多项式承诺方案,为实现递归技术而设计,主要用于证明生成系统,能够批量生成证明便于批量验证,可以有效提升证明效率,确保交易的隐私和安全性。

以下为Linea内部证明系统流程。为了证明交易的发生,Linea从算术化(Arithmetization)开始,将计算机程序转换为零知识证明可以理解的数学表达式。此过程将事务转换为轨迹(trace)和一组验证计算准确性的约束(constrain)。

接着Linea采用内部证明系统Vortex和Arcane,这些内部证明系统递归地减小证明的大小,通过优化计算和使用特定的算法,不断提高证明的效率和紧凑性。

最终,通过使用内部证明系统的递归优化,证明被进一步压缩到外部证明系统gnark中,最终达到在以太坊可验证。

随着零知识证明项目的激增,同样基于SNARKs技术的项目区别主要在于证明系统(Proving Systems)的不同。依据证明系统的成熟度和开发人员的采用,LianGuaintheon总结了以下最具代表性的框架:

项目 证明系统
Groth16 gnark
Plonk Rapidsnark
Marlin Boojum
Aurora Snark

以上证明系统基本都是基于Groth16和Plonk进行的改进,LianGuaintheon对Linux Server(20核)和Mackbook M1 Pro(10核)设备进行了约束数量、证明生成时间、内存负载和CPU利用率四项基准测试,研究发现:

1)在约束数量方面:Plonk框架优于Groth16框架,gnark最多,Boojum最少。 2)在生成证明时间方面:Groth16 框架生成证明速度优于Plonk 框架,gnark是最快的。 3)内存负载:差别不大。 4)CPU利用率:gnark和Rapidsnark在Linux Server设备上显示出最高的CPU利用率,并行化能力出色。

Linea使用的gnark整体性能表现较出色,生成证明速度和并行化能力优越。

完整研究结果可查看《The LianGuaintheon of Zero Knowledge Proof Development Frameworks》。

zkEVM

zkEVM是一种兼容EVM同时又对零知识证明友好的虚拟机,但是EVM本身在设计时并非是围绕ZK友好性设计的,所以对以太坊的整体状态转换都要用零知识证明技术重构。如果更符合以太坊的规范和标准,那么开发人员就更容易在其上构建应用程序并集成到以太坊生态系统中,所以对以太坊的更好地兼容性是大部分zkEVM系项目的目标。

目前行业内普遍以Vitalik的分类作为参考,Linea处在类型2阶段,即完全等价于EVM,但不完全等价于以太坊。目标是与现有的应用程序完全兼容,但是对交易验证时间进行优化。

需要注意地是,以上的这些类型并没有优劣之分,而是在开发技术选择和生成证明速度上做出权衡。因为编码难度较低的类型与现有基础设施更兼容,但速度较慢;编码难度较高的类型则与现有基础设施不太兼容,但速度更快。类型1和类型2更容易实现,不过这些类型也可以转化。

Linea zkEVM方案实现相对更容易,其项目目标就是在兼容EVM的基础上尽量提升证明效率,便于更好地承接以太坊开发者和生态,快速扩大生态流量。

营运数据

TVL

ConsenSys团队在2021年7月提出要做基于SNARK的zkEVM,2023年ConsenSys zkEVM公共测试网上线,并且宣布更名为Linea。Linea主网Alpha版本于7月19日正式上线。

目前Linea跨链桥锁定17,631 ETH(价值约3,300万美元),链上交易笔数11.7万,独立用户数9.1万。

相较其它Layer2项目,Linea主网上线时日较短,数据暂时不具可比性。目前来看,Optimistic Rollup方案发展较快,ZK Rollup则受限于与以太坊的兼容性、生成证明的效率与交易成本等因素,发展较为缓慢。目前发展最好的ZK系Layer2就是zkSync Era,但是其TVL仅为Abitrum的7%,Linea TVL则只有zkSync Era的7%。

此前有用户反映Linea官方跨链桥处理Layer2向Layer1(以太坊)的赎回似乎存在一定的延时问题,跨链桥界面声称整个流程需要8~32小时,但是多位用户反馈需要4天才能取回资金。

官方解释称,为了仔细监控交易并且保护用户资产安全,团队最初为Linea Mainnet Alpha添加了至少8小时的提款延迟。随着系统的成熟将逐渐减少,最终将消除人为延迟。而因目前桥接资产的快速增加,导致以太坊提款时间暂时增加,团队正在努力加快从L2到L1桥接资产的交易,接下来几天内会恢复到8–32小时的目标,等待中的交易都将得到处理。

Linea Voyage

Linea于5月2日开启测试网Voyage(奥德赛)活动,活动共历时9周,吸引30多万地址参加。自活动举办开始,由于对空投的预期,链上资金活跃程度明显大幅增加。

主网上线当天,Linea宣布向参与奥德赛活动的用户提供NFT奖励,此次向用户空投35.2万枚NFT。NFT共分为5档,前四档直接空投到用户钱包,第五档需要手动铸造,现已开放铸造,限时一个月。依据奥德赛积分,用户可获得不同档位的NFT。

社交媒体

Linea主网目前接入生态56个,即将接入的生态有106个。依据defillama数据,当前TVL规模达1,504万美元,本小节将对具备一定规模的原生协议进行简要介绍:

项目 类型 TVL
LineaBank 借贷 $8,440,000
HorizonDEX 去中心化交易所 $2,260,000
EchoDEX 去中心化交易所 无数据

LineaBank是建立在Linea上的原生借贷协议,其着重提供隐私保护和可扩展性。该协议赋予用户对资产的完全控制权,并通过去中心化市场消除中介机构,为用户提供具有竞争力的利率。

HorizonDEX是一款集中流动性去中心化交易所,允许用户在自定义价格范围内分配流动性,从而使交易者能够最大限度地提高效率并减少滑点。

EchoDEX是一个建立在 Linea Consensys 网络上的去中心化交易平台,同时也是Linea区块链上的原生项目,并且还是第一个上线Linea的去中心化交易所(DEX)。

以上三个项目在Linea主网上运行,并且都采用代币激励方式吸引用户提供流动性,但目前数据还不能判断其在Linea生态中的竞争力。

参考资料

  1. ConsenSys领军,Linea登场:突破ZK Rollup限制,实现EVM完全兼容
  2. The LianGuaintheon of Zero Knowledge Proof Development Frameworks