RISC Zero推出智能合约证明器Steel 1.0

金色财经报道，RISC Zero推出了zkVM 1.0，这是其通用zkVM的生产就绪迭代版本。该系统可为任何用Rust编写的程序生成证明，并兼容多条链，可在任何链上进行证明验证。据RISC Zero称，zkVM 1.0比Plonky 3等竞争证明系统更具成本效益。在zkVM发布之前，RISC Zero举行了可信设置仪式，接受了安全审计，并在以太坊、Base、OP、Arbitrum、World Chain和Starknet等多个平台上发布了其验证器。开发人员现在可以使用zkVM在任何链上创建ZK驱动的dapp。

金色财经报道，区块链基础设施提供商RISC Zero推出Blobstream Zero，这是一款基于zkVM的Blobstream桥接器，旨在将Celestia的数据可用性层与各种区块链生态系统连接起来。Blobstream是Celestia的解决方案，可使rollups利用Celestia轻客户端进行数据可用性采样。Blobstream Zero引入了使用零知识证明验证Celestia DA的能力。该集成允许卷积和应用程序更高效地跨链生成证明。Blobstream Zero还引入了ZK协处理器，使以太坊、Optimism和Solana上的dapp能够运行数据密集型ZK程序，而不会牺牲可组合性。

9月27日消息，Solana 链上挖矿项目 Ore 创始人 Hardhat Chad 在 X 平台宣布，Regolith Labs 推出 Steel，一个全新的模块化框架，专为在 Solana 上构建智能合约而设计。Steel 使开发者能够以最小的样板代码构建程序，同时提供灵活的功能选择。该框架旨在提升合约性能，简化开发流程，为 Solana 社区带来更多积极贡献。

金色财经报道，零证明软件开发商Risc Zero发推称，其以太坊开源ZK区块证明器Zeth已集成Optimism基础架构，支持从以太坊主网可证明地构建和导出Optimism区块，在链上验证简洁证明，并将ZK欺诈和有效性证明开发带入OP Stack。该集成利用了revm、alloy和etherscrates。

金色财经报道，零知识证明软件开发商 RISC Zero 发布了源代码和编译器技术，目前已完全开源。

2月17日消息，根据Filecoin生态增长负责人“HQHan.eth”的推文，去中心化存储项目Filecoin将于3月23日推出智能合约，使其成为一个成熟的L1。据悉，FVM可为Filecoin带来智能合约功能。Filecoin官方也转发并确认了这一时间。 Filecoin此前表示将于2023年3月上线FVM。FVM将智能合约与可证明存储相结合，可被用于部署可编程存储原语言、跨链互操作性桥、以数据为中心的去中心化自治组织（DAO）以及Layer2解决方案等。