·
为什么 Linea 要换成 RISC-V?
昨天直播的时候有人问: Linea 换成 RISC-V,是不是为了 Consensys 上市制造叙事? 我觉得这是个好问题,我想试着回答一下。
首先 Consensys 要上市这个是有预期的,它作为 Web3 非常重要的一家公司,不仅有 MetaMask,是很多人进入 Web3 的第一入口,还有 Infura,是 Web3 开发者要用到的基础设施,还有 Linea,是 Consensys 自己的 Layer2。
据说他们已经选择了 JPMorgan 和高盛参与潜在 IPO,上市时间可能在 2026 年;
与此同时呢,他们在 3 月 29 日宣布要把 Linea 的证明架构转向 RISC-V。
为什么 Linea 要转向 RISC-V?
要搞清楚这个问题,我们先得知道,RISC-V 是什么。
RISC-V 不是区块链,也不是 Layer2,也不是某一个项目的名字。
它是一套开放、简单、标准化的底层指令集。
你可以把它理解成一种更基础、更规整的机器语言。
那谁最喜欢这种语言?
zkVM 喜欢。
什么是 zkVM?
你可以把 zkVM 理解成一台“会开证明的虚拟机”。
普通虚拟机只是运行程序,而 zkVM 不只运行程序,它还可以生成一个证明,告诉别人:这段程序我确实按规则运行过,结果没有造假。
zkVM 为什么喜欢 RISC-V?
因为 RISC-V 足够简单、足够标准。
同时我们还要知道,zkVM 是一台通用的证明机器,它可以证明很多程序。
既可以证明普通程序,也可以证明以太坊的 EVM,那这个证明以太坊的就是我们熟悉的 zkEVM。
所谓 zkEVM,就是用零知识证明来证明以太坊 EVM 的执行情况。
那 EVM 又是什么?
EVM 就是以太坊智能合约的运行规则。
你在以太坊上转账、换币、质押、玩 DeFi,背后智能合约怎么执行,账户余额怎么变化,链上数据怎么更新,都是 EVM 说了算。
所以现在这几个概念就串起来了:
EVM 负责执行以太坊智能合约。
zkEVM 负责证明 EVM 执行是正确的。
zkVM 是生成证明的机器。
RISC-V 是 zkVM 更容易处理的底层语言。
那为什么 Linea 要换成 RISC-V?
原因很简单:因为 Linea 原来那套做法太重了。
Linea 本来做的是 zkEVM。
刚才我们说了,zkEVM 的目标,就是用零知识证明证明 EVM 执行是正确的。
但问题是,EVM 本身就很复杂。
它里面有合约调用、存储读写、Gas 计算、哈希计算等等。
每一种动作背后的规则都不一样。
怎么能让零知识证明系统看懂这些 EVM 动作?
就需要一项一项的来翻译处理。
这就是所谓的:直接证明 EVM。
这就是 Linea 过去几年一直走的路。
这条路虽然很硬核,但它的问题也很多:太重,太复杂,太难维护。
尤其是以太坊本身还会不断升级。
以太坊一升级,EVM 的一些规则就可能发生变化。
EVM 规则一变,Linea 原来写好的证明规则也要跟着改。
所以时间越长,这套系统就越复杂,维护成本越高,出错风险也就越大。
这是第一个原因。
第二个,这也跟以太坊未来的方向有关。
以太坊未来会越来越重视 ZK 证明。
过去区块链验证交易,靠的是所有节点都重新算一遍。
你算一遍,我算一遍,大家结果一样,就说明没问题。
但未来如果 ZK 证明成熟,验证方式就会变成:
有人先把交易执行完,并生成一个证明;
其他人不用从头再算一遍,只要验证这个证明,就知道执行结果是正确的。
这会让以太坊的验证变得更轻,也会让扩容更有想象空间。
所以 Linea 换 RISC-V,本质上就是两件事:
第一,解决自己原来 zkEVM 路线太重、太难维护的问题。
第二,提前押注以太坊未来 zk 化、对齐以太坊。
最后总结一下,EVM 是以太坊智能合约的执行规则。
zkEVM 是通过零知识证明来证明这套规则,但是证明规则太难太复杂了,不如交给 zkVM 这个证明机器,而这个证明机器喜欢的语言是 RISC-V。
因为 RISC-V 更简单、更标准。
最终的结果,Linea 选择了 zkVM 和 RISC-V,当然目的不是为了换掉以太坊的规则,而是在通过一种更轻的方式去验证以太坊,和未来的以太坊对齐。
好了两个问题讲完了,至于问题本身 Linea 换成 RISC-V,是不是为了 Consensys 上市制造叙事?这个不重要。#linea #RISC-V#Consensys
Repost this post?
Share with your followers.
Reply