申报｜上海市2024年度“科技创新行动计划”区块链关键技术攻关专项项目申报通知

文章预览

为加快建设具有全球影响力的科技创新中心，强化上海市区块链领域科技创新策源功能，根据《上海区块链关键技术攻关专项行动方案（2023-2025年）》，上海市科学技术委员会特发布本指南。 一、征集范围 专题一：新型体系架构 方向1：虚拟机与执行引擎技术研究 研究目标：聚焦零知识虚拟机的前沿技术路线，研发通用零知识虚拟机，提升虚拟机数据处理性能，支撑应用生态建设。 研究内容：研发通用零知识虚拟机，支持包括RUST和GO在内的不少于2种编程语言，支持包括BN254曲线标量域在内的不少于2种有限域的可装配，实现以CPU运行单体证明者，在典型测试场景下（如哈希、验签），性能优于开源系统（如Risc0）。设计新型区块链键-值（Key-Value）存储累加器，在Halo2开发框架中实现其零知识证明电路，电路支持累加器的更新操作证明与批量操作证 ………………………………