免費(fèi)商標(biāo)查詢檢索

小伙伴們注意啦,！

上海市2023年度區(qū)塊鏈關(guān)鍵技術(shù)攻關(guān)專項項目指南的通知

滬科指南〔2023〕20號

各有關(guān)單位：

為加快建設(shè)具有全球影響力的科技創(chuàng)新中心,，強(qiáng)化本市區(qū)塊鏈領(lǐng)域科技創(chuàng)新策源功能,，根據(jù)《上海區(qū)塊鏈關(guān)鍵技術(shù)攻關(guān)專項行動方案（2023-2025年）》，上海市科學(xué)技術(shù)委員會特發(fā)布本指南,。

一

通知內(nèi)容

一,、征集范圍

專題一：新型體系架構(gòu)

方向1：虛擬機(jī)與執(zhí)行引擎技術(shù)研究

研究目標(biāo)：提升區(qū)塊鏈虛擬機(jī)并行計算性能與跨虛擬機(jī)的智能合約調(diào)用能力。

研究內(nèi)容：研究虛擬機(jī)并行執(zhí)行的代碼靜態(tài)分析沖突預(yù)測技術(shù),、基于沖突檢測的并行執(zhí)行結(jié)果修正技術(shù),、跨異構(gòu)虛擬機(jī)的數(shù)據(jù)共享與協(xié)同執(zhí)行技術(shù)，研發(fā)多種新型虛擬機(jī)并行執(zhí)行算法并開源,，虛擬機(jī)實現(xiàn)每秒執(zhí)行不少于1000萬條基礎(chǔ)指令,，實現(xiàn)不少于2種異構(gòu)的虛擬機(jī)融合互通，實現(xiàn)具有原子性的跨虛擬機(jī)智能合約調(diào)用,，搭建原型系統(tǒng)進(jìn)行驗證,。

執(zhí)行期限：2023年12月1日到2025年11月30日。

經(jīng)費(fèi)額度：本研究內(nèi)容為非定額資助,。擬支持不超過2個項目,，每個項目擬投入專項資助經(jīng)費(fèi)不超過200萬元。企業(yè)牽頭申報時,，企業(yè)投入研發(fā)經(jīng)費(fèi)與申請資助經(jīng)費(fèi)之比不低于1:1,。

方向2：后量子安全的共識機(jī)制技術(shù)研究

研究目標(biāo)：應(yīng)對量子計算機(jī)對區(qū)塊鏈等公鑰密碼系統(tǒng)帶來的現(xiàn)實威脅,，突破適用于區(qū)塊鏈系統(tǒng)的后量子數(shù)字簽名算法，完成后量子密碼算法經(jīng)典安全性和量子安全性量化評估的自動化工具,。

研究內(nèi)容：（1）設(shè)計并開源基于哈希的后量子數(shù)字簽名算法,，相較于國際上SPHINCS+等同類算法，在同等安全強(qiáng)度的提前下,，簽名大小改進(jìn)不少于10%,，滿足區(qū)塊鏈通用密碼算法接口規(guī)范，適配多種典型共識算法并進(jìn)行原型驗證,。（2）設(shè)計并開源基于格的后量子數(shù)字簽名算法,，相較于Dilithium等同類算法，在同等安全強(qiáng)度的前提下,，公鑰和簽名大小改進(jìn)不少于10%,，計算效率提升不低于30%，滿足區(qū)塊鏈通用密碼算法接口規(guī)范,，適配多種典型共識算法并進(jìn)行原型驗證,。

執(zhí)行期限：2023年12月1日到2025年11月30日。

經(jīng)費(fèi)額度：本研究內(nèi)容為非定額資助,。每項研究內(nèi)容擬支持不超過1個項目,，投入專項資助經(jīng)費(fèi)不超過200萬元。企業(yè)牽頭申報時,，企業(yè)投入研發(fā)經(jīng)費(fèi)與申請資助經(jīng)費(fèi)之比不低于1:1,。

專題二：資源調(diào)度與管控

方向1：抽象模型與中間件技術(shù)研究

研究目標(biāo)：面向高效開發(fā)與部署區(qū)塊鏈應(yīng)用的需求，提出模塊化區(qū)塊鏈技術(shù)框架,，研發(fā)基礎(chǔ)組件和開發(fā)工具,，實現(xiàn)通過統(tǒng)一接口管理調(diào)度底層異構(gòu)區(qū)塊鏈系統(tǒng)，推動區(qū)塊鏈數(shù)據(jù)標(biāo)準(zhǔn),、系統(tǒng)應(yīng)用接口標(biāo)準(zhǔn)和跨鏈互操作標(biāo)準(zhǔn)研究,。

研究內(nèi)容：研究區(qū)塊鏈系統(tǒng)和接口抽象模型，開發(fā)可適配不少于5種典型區(qū)塊鏈底層系統(tǒng)的模塊化區(qū)塊鏈技術(shù)架構(gòu)并開源,，研發(fā)區(qū)塊鏈共識計算,、分布式存儲與訪問驗證、智能合約版本管理,、鏈上資源域名解析,、跨鏈賬戶管理等通用中間件，搭建原型系統(tǒng)進(jìn)行驗證,。

執(zhí)行期限：2023年12月1日到2025年11月30日,。

經(jīng)費(fèi)額度：本研究內(nèi)容為非定額資助。擬支持不超過2個項目,，每個項目擬投入專項資助經(jīng)費(fèi)不超過200萬元,。企業(yè)牽頭申報時,，企業(yè)投入研發(fā)經(jīng)費(fèi)與申請資助經(jīng)費(fèi)之比不低于1:1。

方向2：內(nèi)容管控技術(shù)研究

研究目標(biāo)：面向區(qū)塊鏈內(nèi)容管控需求,，建立多模態(tài)數(shù)據(jù)內(nèi)容監(jiān)管標(biāo)準(zhǔn)體系,，實現(xiàn)多源異構(gòu)時序數(shù)據(jù)敏感信息的快速識別和閉環(huán)管理，形成高效安全的區(qū)塊鏈數(shù)據(jù)信息監(jiān)管框架,。

研究內(nèi)容：研究區(qū)塊鏈多模態(tài)知識庫的持續(xù)更新及動態(tài)演化,、未知敏感內(nèi)容檢測的不確定性建模以及魯棒多模態(tài)敏感內(nèi)容檢測識別技術(shù)，研制并開源面向區(qū)塊鏈數(shù)據(jù)內(nèi)容的鏈上鏈下協(xié)同監(jiān)管中間件,，支持不少于3種模態(tài)的數(shù)據(jù)識別,，已知敏感信息識別準(zhǔn)確率達(dá)到99%以上，未知敏感內(nèi)容識別準(zhǔn)確率達(dá)到80%以上,，信息識別吞吐率不低于5萬條每秒,，搭建原型系統(tǒng)進(jìn)行驗證,。

執(zhí)行期限：2023年12月1日到2025年11月30日,。

經(jīng)費(fèi)額度：本研究內(nèi)容為非定額資助。擬支持不超過2個項目,，每個項目擬投入專項資助經(jīng)費(fèi)不超過200萬元,。企業(yè)牽頭申報時，企業(yè)投入研發(fā)經(jīng)費(fèi)與申請資助經(jīng)費(fèi)之比不低于1:1,。

方向3：形式化驗證技術(shù)研究

研究目標(biāo)：提升區(qū)塊鏈基礎(chǔ)軟件的安全可靠性與功能正確性驗證能力,，形成輕量級形式化驗證工具，驗證代價降低到1:12以下,，支持對密碼算法庫的驗證,，形成安全、高效的基礎(chǔ)算法和組件庫,。

研究內(nèi)容：研究密碼學(xué)相關(guān)代數(shù)理論的形式化,，研究零知識證明編譯器和零知識證明虛擬機(jī)的可靠性理論，研發(fā)并開源支持模塊化驗證的的程序功能正確性驗證工具,，搭建原型系統(tǒng)進(jìn)行驗證,。

執(zhí)行期限：2023年12月1日到2025年11月30日。

經(jīng)費(fèi)額度：本研究內(nèi)容為非定額資助,。擬支持不超過2個項目,，每個項目擬投入專項資助經(jīng)費(fèi)不超過200萬元。企業(yè)牽頭申報時,，企業(yè)投入研發(fā)經(jīng)費(fèi)與申請資助經(jīng)費(fèi)之比不低于1:1,。

方向4：漏洞挖掘技術(shù)研究

研究目標(biāo)：面向區(qū)塊鏈智能合約代碼和底層基礎(chǔ)設(shè)施代碼的漏洞發(fā)現(xiàn)需求，形成面向區(qū)塊鏈智能合約源代碼,、區(qū)塊鏈底層基礎(chǔ)設(shè)施源代碼和匯編代碼的漏洞挖掘框架與工具,。

研究內(nèi)容：研究符合區(qū)塊鏈代碼特性的漏洞挖掘技術(shù),，結(jié)合經(jīng)典程序分析技術(shù)、人工智能理解和密碼語義挖掘技術(shù)，研發(fā)并開源可高效準(zhǔn)確挖掘區(qū)塊鏈代碼漏洞的自動化框架與工具,，支持區(qū)塊鏈智能合約源代碼,、字節(jié)碼以及區(qū)塊鏈底層基礎(chǔ)設(shè)施源代碼（C、C++,、Java,、Golang、Solidity等）和匯編代碼（x86/64,、ARM等）的漏洞挖掘,，對每10萬行源代碼/匯編代碼進(jìn)行分析的時間低于1小時，支持15種以上智能合約的自動化修復(fù),，修復(fù)成功率不低于90%,，搭建原型系統(tǒng)進(jìn)行驗證。

執(zhí)行期限：2023年12月1日到2025年11月30日,。

經(jīng)費(fèi)額度：本研究內(nèi)容為非定額資助,。擬支持不超過2個項目，每個項目擬投入專項資助經(jīng)費(fèi)不超過200萬元,。企業(yè)牽頭申報時,，企業(yè)投入研發(fā)經(jīng)費(fèi)與申請資助經(jīng)費(fèi)之比不低于1:1。

專題三：信任增強(qiáng)

方向1：零知識證明與可驗證計算技術(shù)研究

研究目標(biāo)：設(shè)計完成支持硬件高并行加速的零知識證明協(xié)議,，基于通用服務(wù)器處理能力,，對230級別電路規(guī)模輸入，零知識證明生成速度不超過秒級。

研究內(nèi)容：研究新型開源密碼算法以降低傳統(tǒng)零知識證明協(xié)議中的串行密碼運(yùn)算操作,，研發(fā)針對高并行零知識證明協(xié)議的計算優(yōu)化和內(nèi)存優(yōu)化開發(fā)框架與基礎(chǔ)工具,，搭建原型系統(tǒng)進(jìn)行驗證。

執(zhí)行期限：2023年12月1日到2025年11月30日,。

經(jīng)費(fèi)額度：本研究內(nèi)容為非定額資助,。擬支持不超過2個項目，每個項目擬投入專項資助經(jīng)費(fèi)不超過200萬元,。企業(yè)牽頭申報時,，企業(yè)投入研發(fā)經(jīng)費(fèi)與申請資助經(jīng)費(fèi)之比不低于1:1。

方向2：同態(tài)加密結(jié)果可驗證技術(shù)研究

研究目標(biāo)：針對全同態(tài)加密算法本身無法保證同態(tài)操作結(jié)果正確性的問題,，突破全同態(tài)加密算法結(jié)果可驗證技術(shù),。

研究內(nèi)容：設(shè)計并開源可驗證同態(tài)操作正確性的高效全同態(tài)加密算法框架與高性能算法庫，對單次自舉操作（Bootstrapping）,，實現(xiàn)分鐘級的正確性證明與毫秒級驗證,，證明大小不超過KB級別，搭建原型系統(tǒng)進(jìn)行驗證,。

執(zhí)行期限：2023年12月1日到2025年11月30日,。

經(jīng)費(fèi)額度：本研究內(nèi)容為非定額資助。擬支持不超過2個項目,，每個項目擬投入專項資助經(jīng)費(fèi)不超過200萬元,。企業(yè)牽頭申報時,，企業(yè)投入研發(fā)經(jīng)費(fèi)與申請資助經(jīng)費(fèi)之比不低于1:1,。

二、申報要求

除滿足前述相應(yīng)條件外,，還須遵循以下要求：

1.項目申報單位應(yīng)當(dāng)是注冊在本市的法人或非法人組織,，具有組織項目實施的相應(yīng)能力。

2.對于申請人在以往市級財政資金或其他機(jī)構(gòu)（如科技部,、國家自然科學(xué)基金等）資助項目基礎(chǔ)上提出的新項目,，應(yīng)明確闡述二者的異同、繼承與發(fā)展關(guān)系,。

3.所有申報單位和項目參與人應(yīng)遵守科研誠信管理要求,，項目負(fù)責(zé)人應(yīng)承諾所提交材料真實性，申報單位應(yīng)當(dāng)對申請人的申請資格負(fù)責(zé),，并對申請材料的真實性和完整性進(jìn)行審核,，不得提交有涉密內(nèi)容的項目申請。

4.申報項目若提出回避專家申請的,，須在提交項目可行性方案的同時,，上傳由申報單位出具公函提出回避專家名單與理由。

5.所有申報單位和項目參與人應(yīng)遵守科研倫理準(zhǔn)則。

6.已作為項目負(fù)責(zé)人承擔(dān)市科委科技計劃在研項目2項及以上者,，不得作為項目負(fù)責(zé)人申報,。

7.項目經(jīng)費(fèi)預(yù)算編制應(yīng)當(dāng)真實、合理,，符合市科委科技計劃項目經(jīng)費(fèi)管理的有關(guān)要求,。

8.各研究內(nèi)容同一法人單位限報2項。

9.獲資助的項目負(fù)責(zé)人及其所在單位應(yīng)承諾將項目所產(chǎn)生的研究成果和數(shù)據(jù)資料等報送市科委,。

三,、申報方式

1.項目申報采用網(wǎng)上申報方式，無需送交紙質(zhì)材料,。申請人通過“中國上?！遍T戶網(wǎng)站（http://www.sh.gov.cn）–政務(wù)服務(wù)–點(diǎn)擊“上海市財政科技投入信息管理平臺”進(jìn)入申報頁面，或者直接通過域名https://czkj.sheic.org.cn/進(jìn)入申報頁面：

【初次填寫】使用“一網(wǎng)通辦”登錄（如尚未注冊賬號,，請先轉(zhuǎn)入“一網(wǎng)通辦”注冊賬號頁面完成注冊）,，進(jìn)入申報指南頁面，點(diǎn)擊相應(yīng)的指南專題,，進(jìn)行項目申報,；

【繼續(xù)填寫】使用“一網(wǎng)通辦”登錄后，繼續(xù)該項目的填報,。有關(guān)操作可參閱在線幫助,。

2.項目網(wǎng)上填報起始時間為2023年10月11日9:00，截止時間（含申報單位網(wǎng)上審核提交）為2023年10月30日16:30,。

四,、評審方式

采用一輪通訊評審方式。

五,、立項公示

上海市科委將向社會公示擬立項項目清單,，接受公眾異議。

六,、咨詢電話

服務(wù)熱線：021-12345,、8008205114（座機(jī)）、4008205114（手機(jī)）

上海市科學(xué)技術(shù)委員會

2023年9月27日

來源：上海市科學(xué)技術(shù)委員會

聯(lián)系電話： 15102177663（同微信）

聯(lián)系手機(jī)：15002175268（同微信）

聯(lián)系郵箱：[email protected]

官方網(wǎng)站：www.jiyu-ip.com

聯(lián)系地址：上海市浦東新區(qū)商城路660號樂凱大廈616室

深圳市南山區(qū)桃園路1號西海明珠大廈F座10樓