长推:详解powdr为zkVM设计的模块化技术栈
详解powdr,这是一个为零知识虚拟机(zkVM)设计的模块化技术栈!
今年早些时候,@ethchris、@vanderkriek和@leonardoalt开始了powdr项目,以改进zkVM的工具。在@ethereum基金会的持续支持下,这个团队很快将成为powdr实验室。
更多内容↓
powdr是一个zkVM语言和编译器工具包。高级powdr-asm语言可用于定义虚拟机和程序。这些程序被编译成低级约束语言。
通过自动化安全分析和优化过程,powdr生成了零知识证明所需的见证和约束。
powdr借鉴了LLVM等成熟的编译器架构的灵感:它对前端语言和后端目标都是中立的。
在前端,除了为定制VM编写的程序外,powdr还可以接收RISCV和LLVM程序,并创建执行的零知识证明。在语言层面无缝集成其他虚拟机,如WASM。
这意味着同样的编译器中间件可以用来为用Rust、C++、Solidity、AirScript等语言编写的程序生成零知识证明。
在后端,powdr寻求最大的灵活性。目前,halo2得到了支持,包括在EVM中的证明压缩、聚合和验证。我们正在努力添加eSTARK和Nova。
powdr支持自动见证生成。这不仅仅是为了方便:我们的内部约束解决器确保见证是确定性的,帮助排除在零知识开发中最可怕的声音错误。
powdr被设计为可组合性,这是支持长执行跟踪和减少证明人开销的基本特性。比如,这些是用Rust和C++等语言编写的现有大型程序所期待的。
我们设想的使用案例无疑是伟大的:
a) zkRISCV:我们的PoC zkRISCV可以用约300行的powdr-asm实现。它允许生成对no-std Rust的证明。
b) zkLLVM:与zkRISCV类似,一个通用的前端允许我们也通过Valida VM支持LLVM程序。
从长期来看,我们可以建立
c) 使用现成的EVM实现(如go-ethereum,revm,evmone)的zkEVM。
如果你想为现有程序生成零知识证明,powdr旨在成为你的编译器堆栈的即插即用替代方案。
如果你正在构建一个zkVM,powdr使你能够专注于高级架构,使编写、阅读、测试、审计、验证你的实现变得简单。
总结一下,powdr是一个对zkVM前后端中立的编译器中间件。它使为用Rust/C++等语言编写的高级程序生成零知识证明变得简单,同时也能够构建具有优秀开发者体验、生产力和性能的自定义zkVM。
我们中的一些人将在下周参加@EthCC、@zkDayofficial、ZK Paris和其他活动。如果你对
1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险
2.本文版权归属原作所有,仅代表作者本人观点,不代表本站的观点或立场
您可能感兴趣
-
Oasis 协议基金会启动 ROFL 主网:面向 AI 应用的 TEE 可验证链下计算框架
2024 年 7 月 2 日 — 专注于人工智能和隐私保护的 Oasis Layer 1 区块链的治理机构 Oasis 协议基金会,正式宣布推出 Runtime Offchain Logic(ROFL
-
稳定币不是Web3专属,传统企业全面入场
1.背景:稳定币需求持续增长过去,稳定币仅被视为加密世界的重要工具,主要用于链上交易和资产避险等。如今,稳定币的角色正在发生深刻转变。稳定币总市值自 2018 年年末的 6.5 亿美金,至 2025
-
亏损必赔 0费率:BitMart重构交易保障范式
2025 上半年的加密市场,是一场高波动性与用户流失压力并存的生存竞赛。据 CoinGecko 数据,大部分中心化交易所现货交易量萎缩,创下 2024 年以来最大季度跌幅。在比特币主导地位攀升的“吸血
-
不赔偿国内受害者,FTX 的破产律师自己赚了多少钱?
谁在做决定、依据何种标准行事、最终受益者又是谁?作者:Sleepy,BlockBeats2025 年 7 月 4 日,FTX 债权人代表 Sunil 在社交平台发布了一份 FTX 破产清算的文件截图,
-
Lorenzo 推出测试网产品 USD1 OTF,率先落地基于 USD1 的链上真实收益基金
深潮 TechFlow 消息,7 月 4 日,链上资产管理平台 Lorenzo 正式推出其首个 OTF(On-chain Traded Fund)测试网产品 —— USD1 OTF,也是其首个以 U
-
Matrixport:比特币或将突破关键阻力位,迈向新交易区间
深潮 TechFlow 消息,7 月 4 日,据Matrix on Target最新周度报告显示,比特币价格虽持续横盘于窄幅震荡区间,但多项技术指标和市场数据暗示其可能即将突破关键趋势线阻力,迈向新的
-
AI赛道下一个大叙事?盘点值得关注的vibe coding项目
今年初开始,「vibe coding 氛围编码」逐渐成为 AI 圈热门的讨论方向之一。而在币圈,随着比特币保持强势,大家对于山寨季的渴望也愈来愈强。币圈的 AI 赛道经过 AI meme 和 AI A
-
Hotcoin Research | 链上炒股时代来临:股票代币化热潮解析与展望
本文将围绕股票代币化的基本原理、优势、代表平台以及其对加密市场和传统金融格局的影响展开详细解析,并探讨股票代币化未来可能的发展路径。作者:Hotcoin Research一、引言随着加密资产ETF和R
- 成交量排行
- 币种热搜榜