各學院（部）⛹🏽♂️：
為加快建設具有全球影響力的科技創新中心🚵，強化本市區塊鏈領域科技創新策源功能，根據《上海區塊鏈關鍵技術攻關專項行動方案（2023-2025年）》✌🏻，上海市科學技術委員會特發布本指南。
一🫰🏻、征集範圍
專題一：新型體系架構
方向1：虛擬機與執行引擎技術研究
研究目標：提升區塊鏈虛擬機並行計算性能與跨虛擬機的智能合約調用能力。
研究內容：研究虛擬機並行執行的代碼靜態分析沖突預測技術🫛、基於沖突檢測的並行執行結果修正技術🤽🏽♂️✥、跨異構虛擬機的數據共享與協同執行技術，研發多種新型虛擬機並行執行算法並開源，虛擬機實現每秒執行不少於1000萬條基礎指令🤽🏻，實現不少於2種異構的虛擬機融合互通，實現具有原子性的跨虛擬機智能合約調用，搭建原型系統進行驗證🛌。
執行期限：2023年12月1日到2025年11月30日。
經費額度：本研究內容為非定額資助🥃。擬支持不超過2個項目，每個項目擬投入專項資助經費不超過200萬元👨🏻🚒。企業牽頭申報時🧘🏽♂️，企業投入研發經費與申請資助經費之比不低於1:1。
方向2👨🏼🍼：後量子安全的共識機製技術研究
研究目標：應對量子計算機對區塊鏈等公鑰密碼系統帶來的現實威脅🚶🏻，突破適用於區塊鏈系統的後量子數字簽名算法🦺👩🏼🍳，完成後量子密碼算法經典安全性和量子安全性量化評估的自動化工具🧦。
研究內容：（1）設計並開源基於哈希的後量子數字簽名算法💌，相較於國際上SPHINCS+等同類算法🙄，在同等安全強度的提前下↖️，簽名大小改進不少於10%🤵🏽，滿足區塊鏈通用密碼算法接口規範，適配多種典型共識算法並進行原型驗證。（2）設計並開源基於格的後量子數字簽名算法🫗👍🏽，相較於Dilithium等同類算法🎹，在同等安全強度的前提下🍆®️，公鑰和簽名大小改進不少於10%👩🦰，計算效率提升不低於30%，滿足區塊鏈通用密碼算法接口規範，適配多種典型共識算法並進行原型驗證🦁🥁。
執行期限👩🏼🎓📩：2023年12月1日到2025年11月30日。
經費額度：本研究內容為非定額資助👩🏻🍼。每項研究內容擬支持不超過1個項目📠，投入專項資助經費不超過200萬元。企業牽頭申報時，企業投入研發經費與申請資助經費之比不低於1:1⛺️。
專題二💇🏻♂️：資源調度與管控
方向1🤾🏽♂️：抽象模型與中間件技術研究
研究目標：面向高效開發與部署區塊鏈應用的需求，提出模塊化區塊鏈技術框架，研發基礎組件和開發工具，實現通過統一接口管理調度底層異構區塊鏈系統，推動區塊鏈數據標準、系統應用接口標準和跨鏈互操作標準研究🖱。
研究內容：研究區塊鏈系統和接口抽象模型，開發可適配不少於5種典型區塊鏈底層系統的模塊化區塊鏈技術架構並開源，研發區塊鏈共識計算、分布式存儲與訪問驗證🪵、智能合約版本管理🛶、鏈上資源域名解析🔣⏏️、跨鏈賬戶管理等通用中間件，搭建原型系統進行驗證🎫。
執行期限：2023年12月1日到2025年11月30日📵♦︎。
經費額度：本研究內容為非定額資助。擬支持不超過2個項目，每個項目擬投入專項資助經費不超過200萬元🙇🏽。企業牽頭申報時🙅🏿♂️，企業投入研發經費與申請資助經費之比不低於1:1。
方向2👲🏿：內容管控技術研究
研究目標：面向區塊鏈內容管控需求，建立多模態數據內容監管標準體系，實現多源異構時序數據敏感信息的快速識別和閉環管理📈，形成高效安全的區塊鏈數據信息監管框架🙍🏽♂️。
研究內容：研究區塊鏈多模態知識庫的持續更新及動態演化、未知敏感內容檢測的不確定性建模以及魯棒多模態敏感內容檢測識別技術🏑🙄，研製並開源面向區塊鏈數據內容的鏈上鏈下協同監管中間件🕢，支持不少於3種模態的數據識別，已知敏感信息識別準確率達到99%以上，未知敏感內容識別準確率達到80%以上，信息識別吞吐率不低於5萬條每秒，搭建原型系統進行驗證👷♂️。
執行期限：2023年12月1日到2025年11月30日🕠。
經費額度🚶♀️：本研究內容為非定額資助。擬支持不超過2個項目，每個項目擬投入專項資助經費不超過200萬元。企業牽頭申報時，企業投入研發經費與申請資助經費之比不低於1:1。
方向3：形式化驗證技術研究
研究目標👨🏽🏫：提升區塊鏈基礎軟件的安全可靠性與功能正確性驗證能力♋️，形成輕量級形式化驗證工具🤰🏼，驗證代價降低到1:12以下🛌🏽，支持對密碼算法庫的驗證🦸🏿，形成安全💶、高效的基礎算法和組件庫🛀🏿。
研究內容👨🏿🎨：研究密碼學相關代數理論的形式化🐈，研究零知識證明編譯器和零知識證明虛擬機的可靠性理論，研發並開源支持模塊化驗證的的程序功能正確性驗證工具，搭建原型系統進行驗證。
執行期限👩🏿🦰：2023年12月1日到2025年11月30日⛑️。
經費額度：本研究內容為非定額資助。擬支持不超過2個項目🔜，每個項目擬投入專項資助經費不超過200萬元。企業牽頭申報時，企業投入研發經費與申請資助經費之比不低於1:1。
方向4：漏洞挖掘技術研究
研究目標：面向區塊鏈智能合約代碼和底層基礎設施代碼的漏洞發現需求𓀀，形成面向區塊鏈智能合約源代碼、區塊鏈底層基礎設施源代碼和匯編代碼的漏洞挖掘框架與工具。
研究內容：研究符合區塊鏈代碼特性的漏洞挖掘技術🙋，結合經典程序分析技術、人工智能理解和密碼語義挖掘技術，研發並開源可高效準確挖掘區塊鏈代碼漏洞的自動化框架與工具👨🏻🔧，支持區塊鏈智能合約源代碼🐑、字節碼以及區塊鏈底層基礎設施源代碼（C🏃🏻➡️💮、C++⛳️、Java、Golang、Solidity等）和匯編代碼（x86/64、ARM等）的漏洞挖掘🫱🏽，對每10萬行源代碼/匯編代碼進行分析的時間低於1小時🚶🏻♀️➡️，支持15種以上智能合約的自動化修復，修復成功率不低於90%👮🏿，搭建原型系統進行驗證。
執行期限：2023年12月1日到2025年11月30日🕠。
經費額度😝🐈：本研究內容為非定額資助。擬支持不超過2個項目，每個項目擬投入專項資助經費不超過200萬元。企業牽頭申報時，企業投入研發經費與申請資助經費之比不低於1:1。
專題三🔆：信任增強
方向1📺🌈：零知識證明與可驗證計算技術研究
研究目標⌨️🦹🏼♂️：設計完成支持硬件高並行加速的零知識證明協議，基於通用服務器處理能力，對230級別電路規模輸入🥒，零知識證明生成速度不超過秒級。
研究內容：研究新型開源密碼算法以降低傳統零知識證明協議中的串行密碼運算操作，研發針對高並行零知識證明協議的計算優化和內存優化開發框架與基礎工具，搭建原型系統進行驗證。
執行期限🧙🧖🏻♂️：2023年12月1日到2025年11月30日↩️。
經費額度：本研究內容為非定額資助。擬支持不超過2個項目，每個項目擬投入專項資助經費不超過200萬元。企業牽頭申報時👎🏽，企業投入研發經費與申請資助經費之比不低於1:1。
方向2：同態加密結果可驗證技術研究
研究目標🚮：針對全同態加密算法本身無法保證同態操作結果正確性的問題，突破全同態加密算法結果可驗證技術。
研究內容👄：設計並開源可驗證同態操作正確性的高效全同態加密算法框架與高性能算法庫🧚🏼，對單次自舉操作（Bootstrapping）🧓🏻，實現分鐘級的正確性證明與毫秒級驗證💸💒，證明大小不超過KB級別，搭建原型系統進行驗證👩❤️💋👨。
執行期限：2023年12月1日到2025年11月30日。
經費額度🤺🚓：本研究內容為非定額資助🧘🏿👋。擬支持不超過2個項目🤦🏼♂️，每個項目擬投入專項資助經費不超過200萬元💇🏼♂️。企業牽頭申報時🦶🏼，企業投入研發經費與申請資助經費之比不低於1:1👦🏿💁🏽。
二、申報要求
除滿足前述相應條件外，還須遵循以下要求：
1.項目申報單位應當是註冊在本市的法人或非法人組織，具有組織項目實施的相應能力📌。
2.對於申請人在以往市級財政資金或其他機構（如科技部、國家自然科學基金等）資助項目基礎上提出的新項目🌶⭐️，應明確闡述二者的異同🎖、繼承與發展關系。
3.所有申報單位和項目參與人應遵守科研誠信管理要求，項目負責人應承諾所提交材料真實性，申報單位應當對申請人的申請資格負責，並對申請材料的真實性和完整性進行審核㊗️，不得提交有涉密內容的項目申請🤦🏼♂️。
4.申報項目若提出回避專家申請的，須在提交項目可行性方案的同時，上傳由申報單位出具公函提出回避專家名單與理由。
5.所有申報單位和項目參與人應遵守科研倫理準則。
6.已作為項目負責人承擔市科委科技計劃在研項目2項及以上者，不得作為項目負責人申報。
7.項目經費預算編製應當真實👩🏿🏭、合理，符合市科委科技計劃項目經費管理的有關要求。
8.各研究內容同一法人單位限報2項。
9.獲資助的項目負責人及其所在單位應承諾將項目所產生的研究成果和數據資料等報送市科委。
三、申報方式
1.項目申報采用網上申報方式，無需送交紙質材料☔️。申請人通過域名https://czkj.sheic.org.cn/進入申報頁面：
【初次填寫】使用“一網通辦”登錄（如尚未註冊賬號🚷，請先轉入“一網通辦”註冊賬號頁面完成註冊），進入申報指南頁面，點擊相應的指南專題🩳，進行項目申報；
【繼續填寫】使用“一網通辦”登錄後🫲🏿，繼續該項目的填報。有關操作可參閱在線幫助♚⛵️。
2.項目網上填報起始時間為2023年10月11日9:00。
四🌜、評審方式
采用一輪通訊評審方式。
五、立項公示
上海市科委將向社會公示擬立項項目清單🪨🕗，接受公眾異議。
六🏰、咨詢電話
服務熱線✂️：021-12345♢、8008205114（座機）❄️、4008205114（手機）
本校安排：
請依托本校申報的老師，於10月23日16：00前完成網上申報並提交，逾期後填報項目不予以受理。
聯系人👉🏽：詹偉👨🏻🎤、黃婕
聯系電話：55274272
科技發展研究院
2023年9月29日
