长推：详解powdr为zkVM设计的模块化技术栈
详解powdr，这是一个为零知识虚拟机（zkVM）设计的模块化技术栈
原文作者：powdr labs
原文来源：Twitter @powdr_labs
编译：MarsBit，MK
详解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++等语言编写的现有大型程序所期待的。
关于【长推：详解powdr为zkVM设计的模块化技术栈】的延伸阅读
Solana NFT 市场是如何在过去 30 天内超越以太坊？
NFT是独特的数字资产，代表数字物品所有权。Solana和Ethereum是两大NFT平台，Solana因高速和低费用受关注。它已超过Ethereum，在过去一个月铸造3200万个NFT，远超过Ethereum的100万个，展示了其颠覆性影响力。Solana的低费用使创作者获得更多收益，Ethereum的用户基础和销售量意味着更高曝光率和价格。Solana成功展示了处理大规模操作的效率和速度，成为NFT创作者的首选。虽然Ethereum仍保持优势，但Solana吸引了更多活跃参与者，是高效且成本效益高的选择。对于收藏家和投资者来说，Ethereum仍是首选。Solana的价格上涨和积极情绪显示出市场对其的信心，但多空比下降可能预示着市场修正。总的来说，Solana在NFT领域表现出色，但Ethereum仍是高价值NFT项目的首选。
以太坊经济学简明指南
本文介绍了区块链经济学的定义和重要性，它是在加密经济网络中协调“价值创造和分配”的“机制、激励以及宏观经济政策”。区块链经济学结合了经济学设计和软件开发，旨在构建一个更好的“价值互联网”。为了实现安全、公平和成本效益，需要进行经济设计和研究。以太坊生态系统提供了许多研究机会，包括资源分配、市场结构和用户体验等方面。研究和开发齐头并进，以确保系统稳健运行。以太坊基金会也提供了资助计划和开放问题清单，促进研究工作。
我们设想的使用案例无疑是伟大的：
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和其他活动。如果你对𝑝𝑜𝑤𝑑𝑟感兴趣，或者想看一下演示，欢迎和我们交谈！
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：MarsBit，如有侵权请联系删除。转载或引用请注明文章出处！
