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