根据市科技计划项目管理办法有关规定，上海市2023年度“科技创新行动计划”区块链关键技术攻关专项拟立项项目予以公示。
公示期为2023年11月16日至2023年11月22日。
对公示内容持有异议的，请于公示期内以书面形式向我委反映。按照上海市科研失信行为调查处理有关规定，个人提出异议的，请在异议材料上注明姓名和联系电话；单位提出异议的，请在异议材料上加盖单位公章，并注明联系人和联系电话。我委对异议者的信息予以保密。为保证异议处理客观、公正、公平，保护被公示者的合法权益，我委对匿名且无明确证据和可查线索的异议，不予受理。
上海市2023年度“科技创新行动计划”区块链关键技术攻关专项拟立项项目清单
| 序号 | 项目名称 | 承担单位 | 负责人 |
| 1 | 格基后量子签名优化设计、高效安全实现、及区块链应用 | 复旦大学 | 赵运磊 |
| 2 | 面向医疗健康服务的区块链多模态敏感信息内容管控技术研究 | 复旦大学附属儿科医院 | 张晓波 |
| 3 | 面向区块链数据的内容管控技术研究 | 华东师范大学 | 张召 |
| 4 | 大规模分布式系统下的高并行零知识证明生成算法研究 | 上海边界智能科技有限公司 | 李夏琳 |
| 5 | 语言模型驱动的静态智能合约代码漏洞分析与漏洞修复 | 上海蜚语信息科技有限公司 | 李卷孺 |
| 6 | 区块链高通用性抽象模型与中间件技术研究 | 上海交通大学 | 骆源 |
| 7 | 面向多层次的区块链漏洞挖掘技术研究 | 上海交通大学 | 阮娜 |
| 8 | 面向大规模计算的高效零知识证明技术研究 | 上海交通大学 | 孙士锋 |
| 9 | 面向区块链即服务的跨虚拟机协同并行计算研究 | 上海交通大学 | 姚建国 |
| 10 | 面向区块链共识机制的基于哈希后量子数字签名研究 | 上海交通大学 | 郁昱 |
| 11 | 可验证全同态加密算法技术研究 | 上海珀多科技有限公司 | 夏伏彪 |
| 12 | 模块化区块链抽象模型与通用中间件技术研究 | 上海市大数据中心 | 杜守国 |
| 13 | 同态加密结果可验证技术研究 | 上海隐安科技有限公司 | 孙春生 |
| 14 | 区块链形式化验证技术研究 | 同济大学 | 张苗苗 |
来源：上海科技
上海产业政策服务中心
政策服务部：方主任
电话-微信：15618903837
*本文发布的政策内容由上海产业政策服务中心整理解读，如有纰漏，请与我们联系。
上海产业政策服务中心：权威的政策辅导+园区招商平台
政策扶持：指导企业申请各类政府专项补贴资金，包括上海科委，经信委，发改委，商务委和各区部门政策资金项目。专业规划，重点申报，确保立项，获得扶持资金。
园区招商：上海市级园区，科创企业迁入即奖励，落实软件企业退税，签订高额返税，安排人才落户，土地厂房免租。鼓励人才创业，0元注册公司，免费提供地址，辅导申报创业政策补贴资金。
