今日运势评分

-2

本月运势

戊子月

震荡偏多

丁破格,巳申合水
丁不剃头头必生疮
巳不远行财物伏藏

祭祀,解除,馀事勿取

诸事不宜

月相

有明

底部反弹

日冲

Powered by RitMEX

ONDO0.45 -2.77%

TRUMP5.48 -1.04%

SUI1.56 -2.79%

TON1.57 -2.50%

TRX0.28 2.18%

DOGE0.14 -1.44%

XRP1.99 -1.37%

SOL132.27 -0.88%

BNB888.73 -1.00%

ETH3131.23 0.44%

BTC89734.41 -0.55%

ETH Gas0.36 Gwei

恐惧
21

zkVM 的未来,为何基于 RISC-V 架构?

RISC Zero、Succint、Lita、a16z 的 jolt,都是基于 RISC-V 指令集。它有何优势?

撰文:hyperstructured.greg

编译:Alex Liu,Foresight News

获 4000 万美元融资的 ZK 基础设施公司 RISC Zero 于今日正式推出 zkVM 1.0,这是其通用 zkVM 的生产就绪版本。zkVM 赛道已有能投入生产的选手,但大多数人可能常在耳边听到 「zkEVM」,却并不了解一字之差的 「zkVM」 是什么东西。本文介绍了多数 zkVM 选用的指令集的优势,更多关于 zkVM 的信息,可以通过这篇文章了解。

zkVM 比 zkEVM 更通用,解锁了用通用语言编写程序,在 Solidity 库之外编写代码的可能性,如今已成为当下的热门赛道。而赛道头部项目 RISC Zero、Succint、Lita、以及由 a16z 打造的 jolt,都是基于 RISC-V 指令集。它有何优势?为什么 zkVM 的未来将基于 RISC-V 架构?为何 @rv_inc正构建工具以允许在 RISC-V 级别进行形式验证?

RISC-V 指令集主要有以下优势:

开放且可扩展的架构:

RISC-V 是一种开放标准指令集架构(ISA),可免费用于任何类型的用途,具有高度适应性和可定制性。这使得 zkVM 开发人员能够专门针对证明操作、优化性能和效率定制架构。Linux 为何能占据服务器系统最大份额?「免费」二字真的很重要!

模块化和灵活性:

RISC-V 的模块化特性使 zkVM 开发人员能够仅实现所需的功能,避免不必要的复杂性和开销。模块化的优势本周期已经强调太多了,在此不再赘述。

标准化和生态系统支持:

RISC-V 拥有一个快速发展的生态系统,具有广泛的工具链支持,包括编译器和调试器,例如 @rv_inc 正在构建针对 RISC-V ISA 的形式验证工具。快速发展的生态意味着广阔的创新空间,有时能有一石二鸟的协同效应。

高效地进行证明生成和验证:

RISC-V 设计的简单性有助于更有效地执行零知识证明中涉及的复杂算法。通过利用 RISC-V 指令集架构, 「zkVM」 可以在速度和资源利用率方面实现更好的性能,而这对于证明的聚合至关重要。

安全性和形式化验证:

RISC-V 清晰且定义良好的架构使得形式化验证技术的应用变得更加容易,这对于确保 zkVM 的安全性和正确性至关重要。通过使用 RISC-V,开发人员将能够利用形式验证工具和方法来构建更安全的 zkVM。

跨平台的兼容性:

RISC-V 与各种硬件平台(包括 X86、x64 和 ARM,即常见的 Windows、Mac 以及各种简单电器设备 ) 之间的兼容性意味着 zkVM 可以跨广泛的环境部署。这样的灵活性是证明聚合解决方案广泛采用的关键,因为它允许无缝集成到不同的系统中。

语言通用性:

RISC-V 并没有内置钱包地址或其他区块链结构的概念。该指令集主要由在内存位置之间移动数据和对数据进行数学运算的运算符组成。同时,与 EVM 相比,底层的 RISC-V 模拟器允许程序员用 Rust、C/C++ 和 Go 等语言为 zkVM 编写程序。这意味着 zkVM 的程序员可以使用别人在该语言的生态系统中开发的相关库。如为 Solana 开发的 Rust 库等等。

在「通用计算」概念逐渐火热的当下,zkVM 会为当下激烈的 VM 竞赛(MoveVM、SVM、EVM 、zkEVM ...)带来怎样的火花?能取得可观采用,站稳脚跟吗?第一位选手 RISC Zero 已闪亮登场,剩下的就交给时间去验证吧。

欢迎加入深潮TechFlow官方社群

Telegram订阅群:https://t.me/TechFlowDaily
Twitter官方账号:https://x.com/TechFlowPost
Twitter英文账号:https://x.com/BlockFlow_News
作者hyperstructured.greg@youfelll
相关文章
2025.12.15 - 20 分钟前
巴基斯坦,从「巴铁兄」到「链上铁」?
巴基斯坦拥有超过 2.4 亿人口,数字支付接受度不断提高,加密货币的渗透率还有很大的上升空间。
2025.12.15 - 56 分钟前
小盘代币跌至四年低点,「山寨牛」 彻底没希望了?
尽管与加密大盘代币的相关性高达 0.9,却未能提供任何多元化价值。
2025.12.15 - 1 小时前
为何大语言模型并不会比你更聪明?
只有在结构建立好之后,大语言模型才能安全地转换成通俗语言,且不会导致理解质量下降。
2025.12.15 - 1 小时前
2025 Crypto x AI 年度复盘:哪些叙事活下来了?
整个行业正在从叙事转向基础设施,从投机转向系统化解决方案,从炒作转向实际产品。
AI
2025.12.15 - 2 小时前
如果你觉得加密变得“无聊”,说明你看懂了游戏的终局
十年前加密爱好者所设想的一切,正在慢慢变得“无聊”到足够实用,而这一切正发生在关键时刻。
2025.12.15 - 5 小时前
山寨币 ETF 全面开闸:数据透视、机遇与风险解析
本文将围绕比特币与以太坊ETF 的示范效应、山寨币 ETF 的批量上市热潮以及正在申请中的潜在标的,对当前山寨币 ETF 的整体发展脉络进行系统梳理。
2025.12.15 - 5 小时前
降息疑云:为何美联储的利好反成加密市场“绊脚石”?
观察发现,美联储12月11日宣布降息后,除了黄金外,市场皆反应平淡,这背后并非单一原因,而是由于市场在会议前已完全定价降息25个基点,利好出尽后引发获利了结的结果。
2025.12.15 - 6 小时前
Bitget 每日早报:哈塞特强调美联储独立性,称特朗普意见“没有分量”
非农“双月补报”将揭示就业分化,美联储在通胀与就业间面临更尖锐抉择。
2025.12.15 - 7 小时前
加密早报:Strategy 续留纳斯达克 100,本周 ZRO、ARB、STRK 等代币将迎来大额解锁
Berachain 流动性质押协议 Infrared 宣布将于 12 月 17 日 TGE。