不断内卷的Layer2赛道，ConsenSys能否带领Linea突出重围？

一、项目简介

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

1. 团队

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是默认存在的，消除用户手动添加网络的体验障碍。

2. 融资

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

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

二、技术实现

1. 基于Vortex的SNARK证明技术

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

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

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

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

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

以上证明系统基本都是基于Groth16和Plonk进行的改进，Pantheon对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整体性能表现较出色，生成证明速度和并行化能力优越。

完整研究结果可查看

2. zkEVM

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

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

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

上述方案中越靠右的方案EVM兼容性越好，开发者也可以使用熟悉的合约开发语言和开发工具，但是要将EVM Opcode实现成电路的方案难度更高。

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

三、营运数据

1. 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小时的目标，等待中的交易都将得到处理。