各二级单位，机关及直属各部门：
上海市科委发布《区块链关键技术攻关专项项目指南》，具体通知如下：
一、 征集范围
专题一：新型体系架构
方向1：虚拟机与执行引擎技术研究
研究目标：提升区块链虚拟机并行计算性能与跨虚拟机的智能合约调用能力。
经费额度：本研究内容为非定额资助。拟支持不超过2个项目，每个项目拟投入专项资助经费不超过200万元。企业牵头申报时，企业投入研发经费与申请资助经费之比不低于1:1。
方向2：后量子安全的共识机制技术研究
研究目标：应对量子计算机对区块链等公钥密码系统带来的现实威胁，突破适用于区块链系统的后量子数字签名算法，完成后量子密码算法经典安全性和量子安全性量化评估的自动化工具。
经费额度：本研究内容为非定额资助。每项研究内容拟支持不超过1个项目，投入专项资助经费不超过200万元。企业牵头申报时，企业投入研发经费与申请资助经费之比不低于1:1。
专题二：资源调度与管控
方向1：抽象模型与中间件技术研究
研究目标：面向高效开发与部署区块链应用的需求，提出模块化区块链技术框架，研发基础组件和开发工具，实现通过统一接口管理调度底层异构区块链系统，推动区块链数据标准、系统应用接口标准和跨链互操作标准研究。
经费额度：本研究内容为非定额资助。拟支持不超过2个项目，每个项目拟投入专项资助经费不超过200万元。企业牵头申报时，企业投入研发经费与申请资助经费之比不低于1:1。
方向2：内容管控技术研究
研究目标：面向区块链内容管控需求，建立多模态数据内容监管标准体系，实现多源异构时序数据敏感信息的快速识别和闭环管理，形成高效安全的区块链数据信息监管框架。
经费额度：本研究内容为非定额资助。拟支持不超过2个项目，每个项目拟投入专项资助经费不超过200万元。企业牵头申报时，企业投入研发经费与申请资助经费之比不低于1:1。
方向3：形式化验证技术研究
研究目标：提升区块链基础软件的安全可靠性与功能正确性验证能力，形成轻量级形式化验证工具，验证代价降低到1:12以下，支持对密码算法库的验证，形成安全、高效的基础算法和组件库。
经费额度：本研究内容为非定额资助。拟支持不超过2个项目，每个项目拟投入专项资助经费不超过200万元。企业牵头申报时，企业投入研发经费与申请资助经费之比不低于1:1。
方向4：漏洞挖掘技术研究
研究目标：面向区块链智能合约代码和底层基础设施代码的漏洞发现需求，形成面向区块链智能合约源代码、区块链底层基础设施源代码和汇编代码的漏洞挖掘框架与工具。
经费额度：本研究内容为非定额资助。拟支持不超过2个项目，每个项目拟投入专项资助经费不超过200万元。企业牵头申报时，企业投入研发经费与申请资助经费之比不低于1:1。
专题三：信任增强
方向1：零知识证明与可验证计算技术研究
研究目标：设计完成支持硬件高并行加速的零知识证明协议，基于通用服务器处理能力，对230级别电路规模输入，零知识证明生成速度不超过秒级。
经费额度：本研究内容为非定额资助。拟支持不超过2个项目，每个项目拟投入专项资助经费不超过200万元。企业牵头申报时，企业投入研发经费与申请资助经费之比不低于1:1。
方向2：同态加密结果可验证技术研究
研究目标：针对全同态加密算法本身无法保证同态操作结果正确性的问题，突破全同态加密算法结果可验证技术。
经费额度：本研究内容为非定额资助。拟支持不超过2个项目，每个项目拟投入专项资助经费不超过200万元。企业牵头申报时，企业投入研发经费与申请资助经费之比不低于1:1。
二、申报方式
1.项目采用网上申报方式，无需送交纸质材料。申请人通过“中国上海”门户网站（http://www.sh.gov.cn）--政务服务--点击“上海市财政科技投入信息管理平台”进入申报页面，或者直接通过域名http://czkj.sheic.org.cn/进入申报页面：
【初次填写】使用申报账号登录系统（如尚未注册账号，请先转入注册页面进行单位注册，然后再进行申报账号注册），转入申报指南页面，点击相应的指南专题后，按提示完成“上海科技”用户账号绑定，再进行项目申报（我校学校代码为42502641-7）；
【继续填写】登录已注册申报账号、密码后继续该项目的填报。
有关操作可参阅在线帮助。
项目网上填报起始时间为2023年10月11日9:00，截止时间（含申报单位网上审核提交）为2023年10月30日16:30，请申报老师按照指南要求，于10月27日前完成网上申报并提交。
科研处
2023年9月28日
附件：关于发布上海市2023年度“科技创新行动计划”区块链关键技术攻关专项项目指南的通知.pdf
