科研公告
各二级单位,机关及直属各部门:
上海市科委发布2024年度“科技创新行动计划”区块链技术攻关专项项目申报指南(关于发布上海市2024年度“科技创新行动计划”区块链关键技术攻关专项项目指南的通知_项目申报_上海市科学技术委员会 (sh.gov.cn)),相关信息如下:
一、征集范围
专题一:新型体系架构
方向1:虚拟机与执行引擎技术研究
研究目标:聚焦零知识虚拟机的前沿技术路线,研发通用零知识虚拟机,提升虚拟机数据处理性能,支撑应用生态建设。
研究内容:研发通用零知识虚拟机,支持包括RUST和GO在内的不少于2种编程语言,支持包括BN254曲线标量域在内的不少于2种有限域的可装配,实现以CPU运行单体证明者,在典型测试场景下(如哈希、验签),性能优于开源系统(如Risc0)。设计新型区块链键-值(Key-Value)存储累加器,在Halo2开发框架中实现其零知识证明电路,电路支持累加器的更新操作证明与批量操作证明,电路规模小于典型开源系统(如PSE-zkEVM),实现其电路以查找表形式接入零知识EVM电路中。上述通用零知识证明虚拟机和新型区块链KV存储累加器应开源代码、用例、文档。
方向2:大模型隐私保护技术研究
研究目标:针对大模型参数与训练数据等资产隐私保护的需求,构建大模型关键参数识别、筛选及隐私保护算法框架。
研究内容:研发大模型隐私保护算法框架及实施方案,对于拥有不超过130亿参数量级的模型,算法工具能够在2小时内筛选出模型中最具保护价值的参数并给出推荐模型参数保护数量(不超过模型参数总量的10%),实现针对千万级词元数据集SFT攻击还原训练数据的有效防护,并在类SQL语言生成应用场景进行验证。
专题二:资源调度与管控
方向1:跨链场景的隐私保护和安全技术研究
研究目标:面向多场景跨链需求,持续提升跨链算法与解决方案的隐私保护和抗攻击能力。
研究内容:研究满足跨链交易的消息和身份隐私、链间关系隐私、跨链交易计算隐私、链间数据隔离等性质的新型隐私跨链方案,研究可抵御路由劫持攻击、交易延迟攻击、DDoS攻击等安全攻击的新型安全跨链方案,跨链算法和解决方案需满足高可用性、原子性、一致性、隔离性、持久性等性质,且相对于原有区块链交易确认时间增加不超过1倍,吞吐量下降不超过20%。跨链算法和解决方案应开源代码、用例、文档。
方向2:区块链关键安全性的理论证明技术研究
研究目标:证明区块链设计满足关键安全性质,核实安全设计与实现之间的一致性。
研究内容:研发区块链关键安全性证明原型系统,支持对共识算法的安全性、交易的不可篡改性和数据的完整性、交易的隐私性(身份和信息匿名)以及二层网络协议的安全性证明,对不安全设计或实现,提出修复方案。系统应实现秒级高效检测,并在高频交易、跨链交易、批量交易等典型场景进行验证。原型系统应开源代码、用例、文档。
专题三:信任增强
方向1:高效抗恶意的安全多方计算协议研究
研究目标:聚焦抗恶意的安全多方计算协议存在计算执行效率低、通信量大等问题,研究适用于隐私计算需求的高效协议,突破现有安全多方计算协议的性能瓶颈。
研究内容:基于SPDZ安全多方计算协议,设计新型的不经意传输等密码学原语,实现协议通讯量降低50%,计算速率提升50%以上。设计面向矩阵乘法、张量积等专用运算的加速方法,协议通讯量降低90%,计算速率提升5倍以上。高效协议具备适配机器学习算法的能力,并进行原型验证。协议应开源代码、用例、文档。
方向2:联邦学习性能提升技术研究
研究目标:针对当前纵向联邦学习计算和推理任务执行效率低、通信量大等问题,设计新型联邦学习算法。
研究内容:基于FATE等开源联邦学习框架,研究联邦学习场景下联合建模的通信效率优化技术,支持逻辑回归(LR)、梯度提升树(XGB)等2种以上模型,在MNIST、CIFAR-10等典型的数据集上进行验证,在10MB带宽下,模型训练和推断过程通信量下降至少一个数量级。在保证通信量显著降低的同时,模型准确率下降不超过5%。算法应开源代码、用例、文档。
方向3:基于GPU加速的零知识证明算法研究
研究目标:针对传统CPU在处理Halo2算法时的性能瓶颈问题,研究基于GPU加速的Halo2算法,利用CPU-GPU异构计算技术,实现零知识证明在BN254曲线上的高效生成和验证。
研究内容:研发基于GPU加速的快速数论变换(NTT)和多标量乘法(MSM)算子,支持蒙哥马利域下计算,在单个GPU上,相较于32核CPU,MSM算子计算效率提升10倍以上,NTT算子提升5倍以上。研发基于PCI-e传输的CPU与GPU异构加速计算系统原型,支持Halo2算法的证明生成和验证,相较于CPU系统计算效率提升4倍以上,在单机4卡配置下,系统原型的并发任务处理吞吐量相较于CPU系统提升12倍以上。算子和系统原型在256比特下支持230点数计算。
方向4:零知识证明的FPGA硬件加速技术研究
研究目标:针对零知识证明的速度瓶颈问题,研究FPGA硬件加速技术,实现NTT和MSM算子的硬件加速。
研究内容:研究NTT、MSM等零知识证明关键算子的FPGA硬件加速解决方案。针对BN254椭圆曲线,标量位宽为256比特,230点数的计算,采用Xilinx Alveo U280或相当FPGA卡,单卡计算时,MSM计算时间不超过40秒,NTT计算时间不超过15秒。不超过10卡集群加速时,MSM计算时间不超过6秒,NTT计算时间不超过1.8秒。
专题四:支撑重点场景应用
方向1:联盟链共识机制研究
研究目标:面向航运贸易区块链中大规模共识和灵活仲裁集合共识的需求,研究适用于联盟链的新型拜占庭容错共识机制,助力实现航运贸易区块链大规模部署和分层共识,支撑关键业务领域共识需求。
研究内容:研究支持千级节点参与、支持灵活仲裁集合(如全员2/3阈值、委员会2/3阈值、委员会全体)的新型共识机制,吞吐量不低于当前百级节点水平,并接入典型开源联盟链。上述共识算法应开源代码、用例、文档。
方向2:高性能交易调度技术研究
研究目标:面向航运贸易等大规模区块链应用中的高频业务需求,聚焦区块内交易调度策略,提升交易调度并行度与调度性能。
研究内容:研究基于容器执行引擎的细粒度执行回滚技术、适用于多种合约语言(如GO)的预测式调度等高性能并行交易调度技术,研发包括非确定性乐观并行、确定性重排序、严格按照区块内顺序等不少于3种交易调度算法,并实现交易调度算法链上自适应热切换,接入典型开源联盟链,实现块内交易调度时间减少30%以上,链吞吐量提升15%以上。调度算法应开源代码、用例、文档。
方向3:区块链监管技术研究
研究目标:针对区块链在上海市政务、金融、航运贸易和供应链等关键场景中的应用安全与合规需求,探索和研究适用于区块链监管的技术框架,支撑相关区块链基础设施的安全运行。
研究内容:提出基于区块链系统的自生监管技术框架,研发完成并开源区块链监管系统的基础组件和开发工具,对区块链节点、智能合约、交易数据、系统日志等进行穿透式监管数据的采集,实现异常数据的过滤与阻断、智能合约的安全审计与漏洞探查、链上内容的智能识别决策与风险预警、系统安全性能的全流程监控,搭建原型系统并验证,初步形成区块链系统与数据的全流程监管标准。
二、申报要求
1.项目经费预算编制应当真实、合理,符合市科委科技计划项目经费管理的有关要求。
2. 项目执行期限为2024年10月1日到2025年9月30日。每个研究方向拟支持不超过2个项目,每个项目拟投入专项资助经费不超过200万元。
三、申报方式
1. 项目申报采用网上申报方式,无需送交纸质材料。申请人通过“中国上海”门户网站(http://www.sh.gov.cn)--政务服务--点击“上海市财政科技投入信息管理平台”进入申报页面,或者直接通过域名https://czkj.sheic.org.cn/进入申报页面:
【初次填写】使用“一网通办”登录(如尚未注册账号,请先转入“一网通办”注册账号页面完成注册),进入申报指南页面,点击相应的指南专题,进行项目申报;【继续填写】使用“一网通办”登录后,继续该项目的填报。有关操作可参阅在线帮助。
项目网上填报起始时间为2024年9月2日9:00,校内截止填报时间为2024年9月16日16:30。
科研处
2024.8.23