首页 > 资讯列表 > 大数据 >> 区块链

上海市2024年度“科技创新行动计划”区块链关键技术攻关专项项目指南发布

区块链 2024-08-23 21:32:22 转载来源:

英文: Samsung at the Paris Olympics: Technology and Dreams Intertwine, Leaving Unforgettable Memories

上海市2024年度“科技创新行动计划”区块链关键技术攻关专项项目指南发布为加快建设具有全球影响力的科技创新中心,强化本市区块链领域科技创新策源功能,根据《上海区块链关键技术攻关专项行动方案(2023-2025年)》,上海市科学技术委员会特发布本指南,旨在征集推动上海市区块链技术发展和应用的优秀项目。一、征集范围本指南共设四个专题,涵盖了区块链领域的关键技术攻关方向,旨在解决现有区块链技术面临的瓶颈问题,促进其在不同场景下的应用落地

上海市2024年度科技创新行动计划区块关键技术攻关专项项目指南发布

为加快建设具有全球影响力的科技创新中心,强化本市区块链领域科技创新策源功能,根据《上海区块链关键技术攻关专项行动方案(2023-2025年)》,上海市科学技术委员会特发布本指南,旨在征集推动上海市区块链技术发展和应用的优秀项目。

一、征集范围

本指南共设四个专题,涵盖了区块链领域的关键技术攻关方向,旨在解决现有区块链技术面临的瓶颈问题,促进其在不同场景下的应用落地。

专题一:新型体系架构方向

该专题聚焦于提升区块链的性能、安全性以及隐私保护能力,主要研究方向如下:

  • 方向1:虚拟机与执行引擎技术研究

研究目标:聚焦零知识虚拟机的前沿技术路线,研发通用零知识虚拟机,以提升虚拟机数据处理性能,支撑应用生态建设。

研究内容:

1. 研发通用零知识虚拟机,支持包括RUST和GO在内的不少于2种编程语言,支持包括BN254曲线标量域在内的不少于2种有限域的可装配,并实现以CPU运行单体证明者。在典型测试场景下(如哈希、验签),性能优于开源系统(如Risc0)。

2. 设计新型区块链键-值(Key-Value)存储累加器,在Halo2开发框架中实现其零知识证明电路,电路支持累加器的更新操作证明与批量操作证明,电路规模小于典型开源系统(如PSE-zkEVM)。实现其电路以查找表形式接入零知识EVM电路中。

上述通用零知识证明虚拟机和新型区块链KV存储累加器应开源代码、用例、文档。

  • 方向2:大模型隐私保护技术研究

研究目标:针对大模型参数与训练数据等资产隐私保护的需求,构建大模型关键参数识别、筛选及隐私保护算法框架。

研究内容:

1. 研发大模型隐私保护算法框架及实施方案,对于拥有不超过130亿参数量级的模型,算法工具能够在2小时内筛选出模型中最具保护价值的参数并给出推荐模型参数保护数量(不超过模型参数总量的10%)。

2. 实现针对千万级词元数据集SFT攻击还原训练数据的有效防护,并在类SQL语言生成应用场景进行验证。

专题二:资源调度与管控方向

该专题主要关注区块链的跨链技术、安全性保障以及理论证明方法,旨在提高区块链的互操作性、安全性以及可信度。

  • 方向1:跨链场景的隐私保护和安全技术研究

研究目标:面向多场景跨链需求,持续提升跨链算法与解决方案的隐私保护和抗攻击能力。

研究内容:

1. 研究满足跨链交易的消息和身份隐私、链间关系隐私、跨链交易计算隐私、链间数据隔离等性质的新型隐私跨链方案。

2. 研究可抵御路由劫持攻击、交易延迟攻击、DDoS攻击等安全攻击的新型安全跨链方案。

跨链算法和解决方案需满足高可用性、原子性、一致性、隔离性、持久性等性质,且相对于原有区块链交易确认时间增加不超过1倍,吞吐量下降不超过20%。跨链算法和解决方案应开源代码、用例、文档。

  • 方向2:区块链关键安全性的理论证明技术研究

研究目标:证明区块链设计满足关键安全性质,核实安全设计与实现之间的一致性。

研究内容:

1. 研发区块链关键安全性证明原型系统,支持对共识算法的安全性、交易的不可篡改性和数据的完整性、交易的隐私性(身份和信息匿名)以及二层网络协议的安全性证明。

2. 对不安全设计或实现,提出修复方案。

系统应实现秒级高效检测,并在高频交易、跨链交易、批量交易等典型场景进行验证。原型系统应开源代码、用例、文档。

专题三:信任增强方向

该专题聚焦于提升区块链的隐私保护和计算效率,旨在增强区块链的应用可信度和安全性。

  • 方向1:高效抗恶意的安全多方计算协议研究

研究目标:聚焦抗恶意的安全多方计算协议存在计算执行效率低、通信量大等问题,研究适用于隐私计算需求的高效协议,突破现有安全多方计算协议的性能瓶颈。

研究内容:

1. 基于SPDZ安全多方计算协议,设计新型的不经意传输等密码学原语,实现协议通讯量降低50%,计算速率提升50%以上。

2. 设计面向矩阵乘法、张量积等专用运算的加速方法,协议通讯量降低90%,计算速率提升5倍以上。

高效协议具备适配机器学习算法的能力,并进行原型验证。协议应开源代码、用例、文档。

  • 方向2:联邦学习性能提升技术研究

研究目标:针对当前纵向联邦学习计算和推理任务执行效率低、通信量大等问题,设计新型联邦学习算法。

研究内容:

1. 基于FATE等开源联邦学习框架,研究联邦学习场景下联合建模的通信效率优化技术,支持逻辑回归(LR)、梯度提升树(XGB)等2种以上模型,在MNIST、CIFAR-10等典型的数据集上进行验证。

2. 在10MB带宽下,模型训练和推断过程通信量下降至少一个数量级。

3. 在保证通信量显著降低的同时,模型准确率下降不超过5%。

算法应开源代码、用例、文档。

  • 方向3:基于GPU加速的零知识证明算法研究

研究目标:针对传统CPU在处理Halo2算法时的性能瓶颈问题,研究基于GPU加速的Halo2算法,利用CPU-GPU异构计算技术,实现零知识证明在BN254曲线上的高效生成和验证。

研究内容:

1. 研发基于GPU加速的快速数论变换(NTT)和多标量乘法(MSM)算子,支持蒙哥马利域下计算,在单个GPU上,相较于32核CPU,MSM算子计算效率提升10倍以上,NTT算子提升5倍以上。

2. 研发基于PCI-e传输的CPU与GPU异构加速计算系统原型,支持Halo2算法的证明生成和验证,相较于CPU系统计算效率提升4倍以上,在单机4卡配置下,系统原型的并发任务处理吞吐量相较于CPU系统提升12倍以上。

算子和系统原型在256比特下支持230点数计算。

  • 方向4:零知识证明的FPGA硬件加速技术研究

研究目标:针对零知识证明的速度瓶颈问题,研究FPGA硬件加速技术,实现NTT和MSM算子的硬件加速。

研究内容:

1. 研究NTT、MSM等零知识证明关键算子的FPGA硬件加速解决方案。

2. 针对BN254椭圆曲线,标量位宽为256比特,230点数的计算,采用XilinxAlveoU280或相当FPGA卡,单卡计算时,MSM计算时间不超过40秒,NTT计算时间不超过15秒。

3. 不超过10卡集群加速时,MSM计算时间不超过6秒,NTT计算时间不超过1.8秒。

专题四:支撑重点场景应用方向

该专题主要关注区块链在航运贸易等重点场景中的应用,旨在探索区块链技术在不同应用场景中的应用潜力和技术解决方案。

  • 方向1:联盟链共识机制研究

研究目标:面向航运贸易区块链中大规模共识和灵活仲裁集合共识的需求,研究适用于联盟链的新型拜占庭容错共识机制,助力实现航运贸易区块链大规模部署和分层共识,支撑关键业务领域共识需求。

研究内容:

1. 研究支持千级节点参与、支持灵活仲裁集合(如全员2/3阈值、委员会2/3阈值、委员会全体)的新型共识机制,吞吐量不低于当前百级节点水平,并接入典型开源联盟链。

上述共识算法应开源代码、用例、文档。

  • 方向2:高性能交易调度技术研究

研究目标:面向航运贸易等大规模区块链应用中的高频业务需求,聚焦区块内交易调度策略,提升交易调度并行度与调度性能。

研究内容:

1. 研究基于容器执行引擎的细粒度执行回滚技术、

英文: Samsung at the Paris Olympics: Technology and Dreams Intertwine, Leaving Unforgettable Memories

标签: 上海市 2024年度 科技创新 行动计划 区块 关键 技术 攻关 专项


声明:本文内容来源自网络,文字、图片等素材版权属于原作者,平台转载素材出于传递更多信息,文章内容仅供参考与学习,切勿作为商业目的使用。如果侵害了您的合法权益,请您及时与我们联系,我们会在第一时间进行处理!我们尊重版权,也致力于保护版权,站搜网感谢您的分享!

站长搜索

http://www.adminso.com

Copyright @ 2007~2024 All Rights Reserved.

Powered By 站长搜索

打开手机扫描上面的二维码打开手机版


使用手机软件扫描微信二维码

关注我们可获取更多热点资讯

站长搜索目录系统技术支持