根据市科技计划项目管理办法有关规定，现将上海市2023年度“科技创新行动计划”区块链关键技术攻关专项拟立项项目予以公示。
公示链接：http://svc.stcsm.sh.gov.cn/public/guide
公示期为2023年11月16日至2023年11月22日。
对公示内容持有异议的，请于公示期内以书面形式向我委反映。按照上海市科研失信行为调查处理有关规定，个人提出异议的，请在异议材料上注明姓名和联系电话；单位提出异议的，请在异议材料上加盖单位公章，并注明联系人和联系电话。我委对异议者的信息予以保密。为保证异议处理客观、公正、公平，保护被公示者的合法权益，我委对匿名且无明确证据和可查线索的异议，不予受理。
材料寄送至：市科委科技监督与诚信建设处（上海市人民大道200号，邮编200003）。
投诉举报电话：63584446
业务咨询电话：8008205114（座机）、4008205114（手机）
上海市科学技术委员会
2023年11月16日
序号
项目名称
承担单位
负责人
1
格基后量子签名优化设计、高效安全实现、及区块链应用
复旦大学
赵运磊
2
面向医疗健康服务的区块链多模态敏感信息内容管控技术研究
复旦大学附属儿科医院
张晓波
3
面向区块链数据的内容管控技术研究
华东师范大学
张召
4
大规模分布式系统下的高并行零知识证明生成算法研究
上海边界智能科技有限公司
李夏琳
5
语言模型驱动的静态智能合约代码漏洞分析与漏洞修复
上海蜚语信息科技有限公司
李卷孺
6
区块链高通用性抽象模型与中间件技术研究
上海交通大学
骆源
7
面向多层次的区块链漏洞挖掘技术研究
上海交通大学
阮娜
8
面向大规模计算的高效零知识证明技术研究
上海交通大学
孙士锋
9
面向区块链即服务的跨虚拟机协同并行计算研究
上海交通大学
姚建国
10
面向区块链共识机制的基于哈希后量子数字签名研究
上海交通大学
郁昱
11
可验证全同态加密算法技术研究
上海珀多科技有限公司
夏伏彪
12
模块化区块链抽象模型与通用中间件技术研究
上海市大数据中心
杜守国
13
同态加密结果可验证技术研究
上海隐安科技有限公司
孙春生
14
区块链形式化验证技术研究
同济大学
张苗苗
政策来源：上海科委
*本文发布的政策内容由上海湘应企业服务有限公司整理解读，如有纰漏，请与我们联系。
湘应企服为企业提供：政策解读→企业评测→组织指导→短板补足→难题攻关→材料汇编→申报跟进→续展提醒等一站式企业咨询服务。