今日运势评分

5

本月运势

丁丑月

震荡偏多

己克癸,子丑相合
戊不受田田主不祥
子不问卜自惹祸殃

安床,裁衣,交易,立券,入殓,移柩,安葬,除服,成服

置产,嫁娶,出行,开光,栽种,动土,破土,入宅,治病

月相

更待

底部反弹

日冲

Powered by RitMEX

PEPE0.00 -3.48%

SUI4.93 -2.41%

TON5.13 -1.81%

TRX0.24 1.17%

DOGE0.39 -0.15%

XRP3.19 -0.21%

SOL273.78 8.01%

BNB704.41 -0.09%

ETH3407.21 4.29%

BTC106048.07 2.13%

ETH Gas34.62 Gwei

贪婪
77

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.01.17 - 前天
公链乐高:联通 1 层和 0 层区块链,重塑市场格局
Cosmos 引入的新共识引擎 Supernova Core 有何来头?Cosmos 等公链还有机会吗?
2025.01.17 - 前天
BitsLab 重磅发布安全研究成果:2024 新兴公链安全全景洞察
该报告聚焦 Move、TON、比特币拓展以及 Cosmos 应用链4大方向,从技术创新、安全挑战、历史安全事件 3 个方向展开详细解读。
2025.01.17 - 前天
欧盟 MiCA 法案生效,Web3 创业为何抢滩波兰?
波兰作为中东欧重要的经济体,拥有活跃的 Web3 用户群体和不断完善的监管框架,这些都为 Web3 企业提供了良好的发展机遇,令波兰成为 Web3 创业者愈发青睐的目的地。
2025.01.17 - 前天
Bitwise 首席执行官透露:一些国家正考虑用 BTC 替代传统债券
曾被视为投机资产的 BTC 正在真正进入政府的考虑范围。
2025.01.17 - 前天
2025 年,以太坊还能「抢救」过来吗?
盘点以太坊的基本面。
2025.01.17 - 前天
加密律师给特朗普的联名公开信:如何让美国成为世界加密货币之都?
加密法律律师协会的成员列出了新特朗普政府为加密发展创造最佳环境的切实方法。
2025.01.17 - 前天
Binance 研究院 2024-25 总结展望:AI x Crypto 是值得关注的关键,NFT 项目发币不会都成功
在资金流入增加和可能推出新 ETF 产品的推动下,预计 2025 年将是加密 ETF 的标志性一年。
2025.01.17 - 3 天前
Solana 的通胀模型修改提案,能助推 SOL 价格进一步上涨吗?
对SOL持有者有利、对验证者不利、对质押者持中性影响。
2025.01.17 - 3 天前
Variant 投资合伙人:开源 AI 的困境与突破,为什么加密技术是最后一块拼图?
将开源 AI 与加密技术结合,可以支持更大规模的模型开发,并推动更多创新,从而创造出更先进的 AI 系统。
2025.01.17 - 3 天前
加密早报:Phantom 完成 1.5 亿美元 C 轮融资,莱特币或为今年首个获批的山寨币 ETF
市场预期日本央行将于 1 月 24 日加息,或引发新一轮日元套利交易解除。