今日运势评分

4

本月运势

戊寅月

震荡偏多

甲克戊,子水为财
癸不词讼理弱敌强
亥不嫁娶不利新郎

祭祀,沐浴,理发,作灶,结网,栽种

嫁娶,词讼,行丧,安葬,牧养,伐木,作梁,开市,纳畜,造畜稠

月相

蛾眉残

底部反弹

日冲

Powered by RitMEX

TRUMP16.01 -2.49%

SUI3.32 -3.10%

TON3.76 1.68%

TRX0.24 3.06%

DOGE0.24 -1.69%

XRP2.55 -1.41%

SOL168.02 -2.85%

BNB653.21 -3.15%

ETH2809.43 1.57%

BTC95774.33 -0.69%

ETH Gas0.80 Gwei

中性
50

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/DeFlow_Intern
作者hyperstructured.greg@youfelll
相关文章
2025.02.22 - 前天
再次盗取15亿美元加密货币,朝鲜如何培养出世界一流黑客的?
在键盘取代导弹的新时代,年轻黑客们的键盘将会成为加密货币的达摩克利斯之剑。
2025.02.21 - 前天
加密右翼浪潮下的 Web3 社区建设
从早期的技术理想主义到如今的金融化和资本集中化,Web3社区正在经历一场从“左”到“右”的深刻转变。
2025.02.21 - 前天
Meme 退潮、大额解锁,Solana“好运”用完了?
近期Meme明显“退潮”迹象,加上临近的超大额解锁,可谓是祸不单行,Solana压力倍增,它的“好运”真的用完吗了?
2025.02.21 - 前天
实测百度搜索 DeepSeek 满血版:“为我所用”还是“拿来主义”?
百度搜索目前已全量上线DeepSeek满血版并提供联网服务,其中PC端开放仅1小时就有超千万人使用。
2025.02.21 - 前天
月之暗面 MoBA 核心作者自述:一个 “新晋大模型训练师” 的三入思过崖
“从开源论文、开源代码出发,现在已经进化到开源思维链了嘛!”
2025.02.21 - 前天
访谈了 10 个职场卷王,看看他们都在用哪些 AI?
一文精选30+个职场“自我增效”实用AI。
AI
2025.02.21 - 前天
为何金融走在每一个生产变革的前面?
金融在以区块链为代表的第四次工业革命中,从交易结算、价值传递到创新激发、生产关系变革以及产业升级等多个维度,都发挥着不可替代的关键作用。
2025.02.21 - 3 天前
外部创新与内生困境:Crypto 在迷雾中航行
MemeCoin 的退潮背后或许正藏着一个转折点,人类的未来里未必只有AI。
2025.02.21 - 3 天前
Alliance DAO:AI 已彻底改变了创业公司,提前思考竞争优势比产品契合度更重要
在当下,提前思考 PMF 之后的竞争优势可能比以往任何时候都更加重要。
AI
2025.02.21 - 3 天前
2025年加密货币九大趋势:AI、DeFi、代币化与更多创新发展
探讨九大影响加密市场的核心趋势,从实体资产代币化(RWA)到 DeFi 与 AI 的结合,帮助你了解 2025 年最值得关注的区块链发展方向。