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

小伙伴們注意啦,！

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

滬科指南〔2023〕20號(hào)

各有關(guān)單位：

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

一

通知內(nèi)容

一,、征集范圍

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

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

研究目標(biāo)：提升區(qū)塊鏈虛擬機(jī)并行計(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ī)實(shí)現(xiàn)每秒執(zhí)行不少于1000萬條基礎(chǔ)指令,，實(shí)現(xiàn)不少于2種異構(gòu)的虛擬機(jī)融合互通，實(shí)現(xiàn)具有原子性的跨虛擬機(jī)智能合約調(diào)用,，搭建原型系統(tǒng)進(jìn)行驗(yàn)證,。

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

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

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

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

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

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

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

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

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

研究目標(biāo)：面向高效開發(fā)與部署區(qū)塊鏈應(yīng)用的需求，提出模塊化區(qū)塊鏈技術(shù)框架,，研發(fā)基礎(chǔ)組件和開發(fā)工具,，實(shí)現(xiàn)通過統(tǒng)一接口管理調(diào)度底層異構(gòu)區(qū)塊鏈系統(tǒng)，推動(dò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ū)塊鏈共識(shí)計(jì)算,、分布式存儲(chǔ)與訪問驗(yàn)證、智能合約版本管理,、鏈上資源域名解析,、跨鏈賬戶管理等通用中間件，搭建原型系統(tǒng)進(jìn)行驗(yàn)證,。

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

經(jīng)費(fèi)額度：本研究內(nèi)容為非定額資助,。擬支持不超過2個(gè)項(xiàng)目,，每個(gè)項(xiàng)目擬投入專項(xiàng)資助經(jīng)費(fèi)不超過200萬元。企業(yè)牽頭申報(bào)時(shí),，企業(yè)投入研發(fā)經(jīng)費(fèi)與申請(qǐng)資助經(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)體系,，實(shí)現(xiàn)多源異構(gòu)時(shí)序數(shù)據(jù)敏感信息的快速識(shí)別和閉環(huán)管理,，形成高效安全的區(qū)塊鏈數(shù)據(jù)信息監(jiān)管框架。

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

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

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

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

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

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

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

經(jīng)費(fèi)額度：本研究內(nèi)容為非定額資助,。擬支持不超過2個(gè)項(xiàng)目,，每個(gè)項(xiàng)目擬投入專項(xiàng)資助經(jīng)費(fèi)不超過200萬元。企業(yè)牽頭申報(bào)時(shí),，企業(yè)投入研發(fā)經(jīng)費(fèi)與申請(qǐng)資助經(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ū)塊鏈代碼漏洞的自動(dòng)化框架與工具,，支持區(qū)塊鏈智能合約源代碼,、字節(jié)碼以及區(qū)塊鏈底層基礎(chǔ)設(shè)施源代碼（C、C++,、Java,、Golang、Solidity等）和匯編代碼（x86/64,、ARM等）的漏洞挖掘,，對(duì)每10萬行源代碼/匯編代碼進(jìn)行分析的時(shí)間低于1小時(shí)，支持15種以上智能合約的自動(dòng)化修復(fù),，修復(fù)成功率不低于90%,，搭建原型系統(tǒng)進(jìn)行驗(yàn)證。

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

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

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

方向1：零知識(shí)證明與可驗(yàn)證計(jì)算技術(shù)研究

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

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

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

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

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

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

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

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

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

二、申報(bào)要求

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

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

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

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

4.申報(bào)項(xiàng)目若提出回避專家申請(qǐng)的,，須在提交項(xiàng)目可行性方案的同時(shí),，上傳由申報(bào)單位出具公函提出回避專家名單與理由。

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

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

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

8.各研究內(nèi)容同一法人單位限報(bào)2項(xiàng),。

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

三、申報(bào)方式

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

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

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

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

四,、評(píng)審方式

采用一輪通訊評(píng)審方式。

五,、立項(xiàng)公示

上海市科委將向社會(huì)公示擬立項(xiàng)項(xiàng)目清單,，接受公眾異議。

六,、咨詢電話

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

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

2023年9月27日

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

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

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

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

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

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

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