上述通用零知识证明虚拟机和新型区块链KV存储累加器应开源代码、用例、文档,研究内容:研发大模型隐私保护算法框架及实施方案,研究内容:研究满足跨链交易的消息和身份隐私、链间关系隐私、跨链交易计算隐私、链间数据隔离等性质的新型隐私跨链方案,跨链算法和解决方案应开源代码、用例、文档,方向2:区块链关键安全性的理论证明技术研究研究目标:证明区块链设计满足关键安全性质,研究内容:研发区块链关键安全性证明原型系统,方向2:联邦学习性能提升技术研究研究目标:针对当前纵向联邦学习计算和推理任务执行效率低、通信量大等问题,方向3:基于GPU加速的零知识证明算法研究研究目标:针对传统CPU在处理Halo2算法时的性能瓶颈问题,方向4:零知识证明的FPGA硬件加速技术研究研究目标:针对零知识证明的速度瓶颈问题,研究内容:研究NTT、MSM等零知识证明关键算子的FPGA硬件加速解决方案,方向2:高性能交易调度技术研究研究目标:面向航运贸易等大规模区块链应用中的高频业务需求,调度算法应开源代码、用例、文档,方向3:区块链监管技术研究研究目标:针对区块链在上海市政务、金融、航运贸易和供应链等关键场景中的应用安全与合规需求,研究内容:提出基于区块链系统的自生监管技术框架,每个研究方向拟支持不超过2个项目。