关于发布上海市2024年度区块链关键技术攻关专项项目指南的通知

币界网Xuất bản vào 2024-08-23Cập nhật gần nhất vào 2024-08-23

币界网报道:

关于发布上海市2024年度

“科技创新行动计划”

区块链关键技术攻关

专项项目指南的通知

沪科指南〔2024〕10号

各有关单位:

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

一、征集范围

专题一:新型体系架构

方向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. 对于申请人在以往市级财政资金或其他机构(如科技部、国家自然科学基金等)资助项目基础上提出的新项目,应明确阐述二者的异同、继承与发展关系。

3. 所有申报单位和项目参与人应遵守科研诚信管理要求,项目负责人应承诺所提交材料真实性,申报单位应当对申请人的申请资格负责,并对申请材料的真实性和完整性进行审核,不得提交有涉密内容的项目申请。

4. 申报项目若提出回避专家申请的,须在提交项目可行性方案的同时,上传由申报单位出具公函提出回避专家名单与理由。

5. 所有申报单位和项目参与人应遵守科技伦理准则。拟开展的科技活动应进行科技伦理风险评估,涉及科技部《科技伦理审查办法(试行)》(国科发监〔2023〕167号)第二条所列范围科技活动的,应按要求进行科技伦理审查并提供相应的科技伦理审查批准材料。

6. 已作为项目负责人承担市科委科技计划在研项目2项及以上者,不得作为项目负责人申报。

7. 项目经费预算编制应当真实、合理,符合市科委科技计划项目经费管理的有关要求。

8. 项目执行期限为2024年10月1日到2025年9月30日。每个研究方向拟支持不超过2个项目,每个项目拟投入专项资助经费不超过200万元。

三、申报方式

1. 项目申报采用网上申报方式,无需送交纸质材料。申请人通过“中国上海”门户网站(http://www.sh.gov.cn)--政务服务--点击“上海市财政科技投入信息管理平台”进入申报页面,或者直接通过域名https://czkj.sheic.org.cn/进入申报页面:

【初次填写】使用“一网通办”登录(如尚未注册账号,请先转入“一网通办”注册账号页面完成注册),进入申报指南页面,点击相应的指南专题,进行项目申报;

【继续填写】使用“一网通办”登录后,继续该项目的填报。

2. 项目网上填报起始时间为2024年9月2日9:00,截止时间(含申报单位网上审核提交)为2024年9月19日16:30。

四、评审方式

采用一轮会议评审方式。

五、立项公示

市科委将向社会公示拟立项项目清单,接受公众异议。

六、实施管理要求

1. 项目实行里程碑管理。由市科委组织形成包括重点机构在内的项目管理团队,与项目承担单位共同制定实施计划与里程碑节点。项目管理团队定期评估项目进展情况,并及时报请市科委作出“继续实施”“暂停”“调整”“终止”等决定。

2. 项目实行统一的研发管理要求,包括进度管理、代码交付与验收等,在项目管理团队组织下在统一空间开展联合攻关,定期举行前沿技术交流活动。

3. 项目相关研发成果,应按照统一规范在ChainWeaver开源社区(www.chainweaver.org.cn)发布开源代码、用例、文档等。

七、咨询电话

上海市科学技术委员会

2024年8月23日

特别声明:本文经上观新闻客户端的“上观号”入驻单位授权发布,仅代表该入驻单位观点,“上观新闻”仅为信息发布平台,如您认为发布内容侵犯您的相关权益,请联系删除!

Nội dung Liên quan

Đã được xác nhận: Claude Code lén kiểm tra người dùng, múi giờ và phòng thí nghiệm AI Trung Quốc đều là từ khóa

Hôm nay, Anthropic công bố Claude Sonnet 5 và thông báo Bộ Thương mại Mỹ dỡ bỏ lệnh hạn chế xuất khẩu đối với các mô hình Claude Fable 5 và Mythos 5. Tuy nhiên, cộng đồng nhà phát triển tập trung vào một vụ việc gây tranh cãi khác: Claude Code bị phát hiện thu thập thông tin người dùng một cách âm thầm. Theo báo cáo từ GitHub, Claude Code (các phiên bản 2.1.193 đến 2.1.196) chứa cơ chế ẩn tự động phát hiện múi giờ Trung Quốc (như Asia/Shanghai), cấu hình proxy mạng và kiểm tra xem người dùng có đang kết nối đến các tên miền liên quan đến phòng thí nghiệm AI Trung Quốc hay không (như của Baidu, Alibaba, ByteDance...). Thông tin này sau đó được mã hóa vào lời nhắc hệ thống gửi lên đám mây thông qua kỹ thuật steganography, cụ thể bằng cách thay đổi ký tự phân cách ngày tháng và sử dụng các ký tự Unicode gần giống nhau (như ', ʼ, ʹ) trong cụm từ "Today's date". Hành động này bị chỉ trích vì vi phạm sự tin cậy, khi người dùng không hề hay biết và không có tùy chọn từ chối. Một thành viên kỹ thuật của Anthropic (@trq212) đã phản hồi, thừa nhận đoạn mã này và cho biết nó sẽ bị xóa trong bản cập nhật tiếp theo. Sự việc làm dấy lên lo ngại về quyền riêng tư và tính minh bạch trong các công cụ trợ lý lập trình có quyền truy cập sâu vào hệ thống và mã nguồn.

marsbit39 phút trước

Đã được xác nhận: Claude Code lén kiểm tra người dùng, múi giờ và phòng thí nghiệm AI Trung Quốc đều là từ khóa

marsbit39 phút trước

Grayscale:Sau khi giảm một nửa, Bitcoin đã tiến gần đáy chu kỳ này

Bitcoin đã giảm hơn 50% từ mức đỉnh 125.000 USD vào tháng 10, xuống dưới 60.000 USD, đánh dấu mức thấp mới trong chu kỳ hiện tại. Zach Pandl, Giám đốc Nghiên cứu tại Grayscale, coi đây là một đợt điều chỉnh chu kỳ điển hình trong xu hướng tăng dài hạn của BTC chứ không phải sự đảo chiều. Các yếu tố chính gây áp lực bao gồm: kỳ vọng thắt chặt chính sách của Cục Dự trữ Liên bang Mỹ (Fed) dưới thời tân Chủ tịch Kevin Warsh, sự không chắc chắn xung quanh dự luật CLARITY tại Thượng viện Mỹ, áp lực lên bảng cân đối kế toán của các công ty như Strategy, và lo ngại về rủi ro bảo mật từ máy tính lượng tử. Bài viết đưa ra hai kịch bản chính để thoát khỏi thị trường gấu: * **Kịch bản lạc quan (cơ sở):** Dự luật CLARITY được thông qua, Fed không tăng lãi suất, và các biện pháp ổn định được thực hiện. Trong trường hợp này, Bitcoin có thể đã tiệm cận đáy. * **Kịch bản bi quan (xu hướng giảm):** Dự luật CLARITY thất bại, Fed buộc phải tăng lãi suất, và quá trình giảm đòn bẩy tiếp diễn. Điều này có thể khiến BTC giảm thêm, mặc dù mức giảm sâu 80% như lịch sử được cho là ít xảy ra do đợt tăng giá vừa qua ôn hòa hơn và nhu cầu thể chế vững chắc hơn. Dù các yếu tố chu kỳ gây ra biến động ngắn hạn, Grayscale vẫn lạc quan về triển vọng cấu trúc dài hạn, được hỗ trợ bởi việc áp dụng công nghệ blockchain bởi các tổ chức, sự phát triển của stablecoin, tài sản mã hóa, và các động lực cơ bản như nợ công cao, sự sụt giảm niềm tin vào các tổ chức trung gian và sự trỗi dậy của AI. Bài viết kết luận rằng mức định giá hiện tại tạo ra một điểm vào hấp dẫn cho các nhà đầu tư dài hạn, mặc dù đáy cuối cùng phụ thuộc vào các chất xúc tác chính sách sắp tới.

marsbit1 giờ trước

Grayscale:Sau khi giảm một nửa, Bitcoin đã tiến gần đáy chu kỳ này

marsbit1 giờ trước

Báo cáo tài chính 25 năm của Trump: Gia đình thu hơn 1 tỷ USD mỗi năm từ tiền điện tử, trong khi các nhà đầu tư nhỏ lẻ vẫn thua lỗ trên $TRUMP

Theo báo cáo tiết lộ tài chính năm 2025, các doanh nghiệp crypto liên quan đến gia đình cựu Tổng thống Trump đã thu về gần 12 tỷ USD, vượt xa nhiều danh mục bất động sản lâu năm. Nguồn thu chính đến từ hai nơi: World Liberty Financial kiếm được hơn 5 tỷ USD từ việc bán token quản trị và các sản phẩm mới, trong khi CIC Digital thu khoảng 6.35 tỷ USD tiền bản quyền từ meme coin $TRUMP. Tuy nhiên, trong khi Trump thu lợi lớn, nhiều nhà đầu tư nhỏ lẻ phải chịu thua lỗ. Giá token $TRUMP đã giảm từ mức đỉnh 74 USD xuống còn 1.68 USD, và token của World Liberty Financial cũng mất khoảng 80% giá trị kể từ khi giao dịch. Sự trỗi dậy của mảng kinh doanh crypto này diễn ra trong bối cảnh chính quyền Trump nới lỏng các quy định đối với ngành công nghiệp tiền số. Báo cáo cũng làm dấy lên các câu hỏi về xung đột lợi ích tiềm tàng, liên quan đến hàng loạt dự án bất động sản ở nước ngoài mang lại hàng triệu USD phí cho Trump khi ông tại nhiệm. Dù Nhà Trắng phủ nhận mọi xung đột, các giao dịch này vẫn tiếp tục được giám sát chặt chẽ.

marsbit1 giờ trước

Báo cáo tài chính 25 năm của Trump: Gia đình thu hơn 1 tỷ USD mỗi năm từ tiền điện tử, trong khi các nhà đầu tư nhỏ lẻ vẫn thua lỗ trên $TRUMP

marsbit1 giờ trước

Từ 'Phân cụm địa chỉ' đến 'Tiêu chuẩn bằng chứng': Tại sao Chainalysis muốn định nghĩa lại việc truy vết blockchain?

Vào cuối tháng 6 năm 2026, Chainalysis đã công bố một khung dữ liệu mang tên "Blockchain Tracing Ontology", nhằm thiết lập một hệ thống mô tả dữ liệu thống nhất hơn cho phân tích blockchain. Không giống như một thuật toán mới, đề xuất này tập trung vào việc tạo ra một "ngôn ngữ chung" để chuẩn hóa cách biểu đạt kết quả phân tích, giúp quá trình này minh bạch, có thể kiểm chứng và tái lập hơn. Vấn đề lâu nay là các công ty phân tích khác nhau thường đưa ra kết quả khác nhau cho cùng một địa chỉ do thiếu tiêu chuẩn chung, đặc biệt gây tranh cãi trong điều tra tư pháp hay chống rửa tiền. Chainalysis đề xuất chuyển từ mô hình "Cluster" (cụm địa chỉ) đơn giản sang cấu trúc phân lớp chi tiết hơn: Entity (thực thể) -> Wallet (ví) -> Wallet Segment (phân đoạn ví) -> Address (địa chỉ). Điều này phản ánh chính xác hơn cách quản lý ví phức tạp của các tổ chức lớn. Quan trọng hơn, Ontology nhấn mạnh vào tính minh bạch của quá trình suy luận, không chỉ kết quả cuối cùng. Mỗi kết luận cần đi kèm bằng chứng (Evidence) cụ thể (mẫu giao dịch, thông tin công khai...) và mức độ tin cậy (Confidence), giải thích rõ "tại sao" lại có nhận định đó. Cách tiếp cận này đáp ứng tốt hơn yêu cầu về tính có thể kiểm chứng của bằng chứng tư pháp, như đã thấy trong vụ án Bitcoin Fog. Chainalysis cũng nhấn mạnh rằng phân tích on-chain tự nó không thể nhận dạng danh tính thực; nó chỉ cung cấp suy luận về mối quan hệ giữa các địa chỉ và dòng tiền. Danh tính thực sự cần được xác định thông qua bằng chứng off-chain như thông tin KYC. Về lâu dài, đề xuất này đánh dấu bước chuyển của ngành từ "dựa trên kinh nghiệm" sang "dựa trên tiêu chuẩn". Nếu được chấp nhận rộng rãi, nó có thể tạo ra một nền tảng dữ liệu thống nhất, giảm chi phí giao tiếp và nâng cao độ tin cậy cho hoạt động giám sát, điều tra xuyên biên giới. Giá trị cạnh tranh trong tương lai sẽ không chỉ nằm ở độ chính xác thuật toán, mà còn ở khả năng giải thích, chất lượng dữ liệu và độ tin cậy của bằng chứng.

marsbit2 giờ trước

Từ 'Phân cụm địa chỉ' đến 'Tiêu chuẩn bằng chứng': Tại sao Chainalysis muốn định nghĩa lại việc truy vết blockchain?

marsbit2 giờ trước

Giao dịch

Giao ngay
活动图片