各學(xué)院(部):
為加快建設(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ā)布本指南。
一、征集范圍
專題一:新型體系架構(gòu)
方向1:虛擬機(jī)與執(zhí)行引擎技術(shù)研究
研究目標(biāo):聚焦零知識(shí)虛擬機(jī)的前沿技術(shù)路線,研發(fā)通用零知識(shí)虛擬機(jī),提升虛擬機(jī)數(shù)據(jù)處理性能,支撐應(yīng)用生態(tài)建設(shè)。
研究?jī)?nèi)容:研發(fā)通用零知識(shí)虛擬機(jī),支持包括RUST和GO在內(nèi)的不少于2種編程語(yǔ)言,支持包括BN254曲線標(biāo)量域在內(nèi)的不少于2種有限域的可裝配,實(shí)現(xiàn)以CPU運(yùn)行單體證明者,在典型測(cè)試場(chǎng)景下(如哈希、驗(yàn)簽),性能優(yōu)于開(kāi)源系統(tǒng)(如Risc0)。設(shè)計(jì)新型區(qū)塊鏈鍵-值(Key-Value)存儲(chǔ)累加器,在Halo2開(kāi)發(fā)框架中實(shí)現(xiàn)其零知識(shí)證明電路,電路支持累加器的更新操作證明與批量操作證明,電路規(guī)模小于典型開(kāi)源系統(tǒng)(如PSE-zkEVM),實(shí)現(xiàn)其電路以查找表形式接入零知識(shí)EVM電路中。上述通用零知識(shí)證明虛擬機(jī)和新型區(qū)塊鏈KV存儲(chǔ)累加器應(yīng)開(kāi)源代碼、用例、文檔?! ?/span>
方向2:大模型隱私保護(hù)技術(shù)研究
研究目標(biāo):針對(duì)大模型參數(shù)與訓(xùn)練數(shù)據(jù)等資產(chǎn)隱私保護(hù)的需求,構(gòu)建大模型關(guān)鍵參數(shù)識(shí)別、篩選及隱私保護(hù)算法框架?! ?/span>
研究?jī)?nèi)容:研發(fā)大模型隱私保護(hù)算法框架及實(shí)施方案,對(duì)于擁有不超過(guò)130億參數(shù)量級(jí)的模型,算法工具能夠在2小時(shí)內(nèi)篩選出模型中最具保護(hù)價(jià)值的參數(shù)并給出推薦模型參數(shù)保護(hù)數(shù)量(不超過(guò)模型參數(shù)總量的10%),實(shí)現(xiàn)針對(duì)千萬(wàn)級(jí)詞元數(shù)據(jù)集SFT攻擊還原訓(xùn)練數(shù)據(jù)的有效防護(hù),并在類SQL語(yǔ)言生成應(yīng)用場(chǎng)景進(jìn)行驗(yàn)證。
專題二:資源調(diào)度與管控
方向1:跨鏈場(chǎng)景的隱私保護(hù)和安全技術(shù)研究
研究目標(biāo):面向多場(chǎng)景跨鏈需求,持續(xù)提升跨鏈算法與解決方案的隱私保護(hù)和抗攻擊能力?! ?/span>
研究?jī)?nèi)容:研究滿足跨鏈交易的消息和身份隱私、鏈間關(guān)系隱私、跨鏈交易計(jì)算隱私、鏈間數(shù)據(jù)隔離等性質(zhì)的新型隱私跨鏈方案,研究可抵御路由劫持攻擊、交易延遲攻擊、DDoS攻擊等安全攻擊的新型安全跨鏈方案,跨鏈算法和解決方案需滿足高可用性、原子性、一致性、隔離性、持久性等性質(zhì),且相對(duì)于原有區(qū)塊鏈交易確認(rèn)時(shí)間增加不超過(guò)1倍,吞吐量下降不超過(guò)20%??珂溗惴ê徒鉀Q方案應(yīng)開(kāi)源代碼、用例、文檔?! ?/span>
方向2:區(qū)塊鏈關(guān)鍵安全性的理論證明技術(shù)研究
研究目標(biāo):證明區(qū)塊鏈設(shè)計(jì)滿足關(guān)鍵安全性質(zhì),核實(shí)安全設(shè)計(jì)與實(shí)現(xiàn)之間的一致性。
研究?jī)?nèi)容:研發(fā)區(qū)塊鏈關(guān)鍵安全性證明原型系統(tǒng),支持對(duì)共識(shí)算法的安全性、交易的不可篡改性和數(shù)據(jù)的完整性、交易的隱私性(身份和信息匿名)以及二層網(wǎng)絡(luò)協(xié)議的安全性證明,對(duì)不安全設(shè)計(jì)或?qū)崿F(xiàn),提出修復(fù)方案。系統(tǒng)應(yīng)實(shí)現(xiàn)秒級(jí)高效檢測(cè),并在高頻交易、跨鏈交易、批量交易等典型場(chǎng)景進(jìn)行驗(yàn)證。原型系統(tǒng)應(yīng)開(kāi)源代碼、用例、文檔。
專題三:信任增強(qiáng)
方向1:高效抗惡意的安全多方計(jì)算協(xié)議研究
研究目標(biāo):聚焦抗惡意的安全多方計(jì)算協(xié)議存在計(jì)算執(zhí)行效率低、通信量大等問(wèn)題,研究適用于隱私計(jì)算需求的高效協(xié)議,突破現(xiàn)有安全多方計(jì)算協(xié)議的性能瓶頸?! ?/span>
研究?jī)?nèi)容:基于SPDZ安全多方計(jì)算協(xié)議,設(shè)計(jì)新型的不經(jīng)意傳輸?shù)让艽a學(xué)原語(yǔ),實(shí)現(xiàn)協(xié)議通訊量降低50%,計(jì)算速率提升50%以上。設(shè)計(jì)面向矩陣乘法、張量積等專用運(yùn)算的加速方法,協(xié)議通訊量降低90%,計(jì)算速率提升5倍以上。高效協(xié)議具備適配機(jī)器學(xué)習(xí)算法的能力,并進(jìn)行原型驗(yàn)證。協(xié)議應(yīng)開(kāi)源代碼、用例、文檔?! ?/span>
方向2:聯(lián)邦學(xué)習(xí)性能提升技術(shù)研究
研究目標(biāo):針對(duì)當(dāng)前縱向聯(lián)邦學(xué)習(xí)計(jì)算和推理任務(wù)執(zhí)行效率低、通信量大等問(wèn)題,設(shè)計(jì)新型聯(lián)邦學(xué)習(xí)算法?! ?/span>
研究?jī)?nèi)容:基于FATE等開(kāi)源聯(lián)邦學(xué)習(xí)框架,研究聯(lián)邦學(xué)習(xí)場(chǎng)景下聯(lián)合建模的通信效率優(yōu)化技術(shù),支持邏輯回歸(LR)、梯度提升樹(shù)(XGB)等2種以上模型,在MNIST、CIFAR-10等典型的數(shù)據(jù)集上進(jìn)行驗(yàn)證,在10MB帶寬下,模型訓(xùn)練和推斷過(guò)程通信量下降至少一個(gè)數(shù)量級(jí)。在保證通信量顯著降低的同時(shí),模型準(zhǔn)確率下降不超過(guò)5%。算法應(yīng)開(kāi)源代碼、用例、文檔?! ?/span>
方向3:基于GPU加速的零知識(shí)證明算法研究
研究目標(biāo):針對(duì)傳統(tǒng)CPU在處理Halo2算法時(shí)的性能瓶頸問(wèn)題,研究基于GPU加速的Halo2算法,利用CPU-GPU異構(gòu)計(jì)算技術(shù),實(shí)現(xiàn)零知識(shí)證明在BN254曲線上的高效生成和驗(yàn)證?! ?/span>
研究?jī)?nèi)容:研發(fā)基于GPU加速的快速數(shù)論變換(NTT)和多標(biāo)量乘法(MSM)算子,支持蒙哥馬利域下計(jì)算,在單個(gè)GPU上,相較于32核CPU,MSM算子計(jì)算效率提升10倍以上,NTT算子提升5倍以上。研發(fā)基于PCI-e傳輸?shù)?span lang="EN-US">CPU與GPU異構(gòu)加速計(jì)算系統(tǒng)原型,支持Halo2算法的證明生成和驗(yàn)證,相較于CPU系統(tǒng)計(jì)算效率提升4倍以上,在單機(jī)4卡配置下,系統(tǒng)原型的并發(fā)任務(wù)處理吞吐量相較于CPU系統(tǒng)提升12倍以上。算子和系統(tǒng)原型在256比特下支持230點(diǎn)數(shù)計(jì)算?! ?/span>
方向4:零知識(shí)證明的FPGA硬件加速技術(shù)研究
研究目標(biāo):針對(duì)零知識(shí)證明的速度瓶頸問(wèn)題,研究FPGA硬件加速技術(shù),實(shí)現(xiàn)NTT和MSM算子的硬件加速?! ?/span>
研究?jī)?nèi)容:研究NTT、MSM等零知識(shí)證明關(guān)鍵算子的FPGA硬件加速解決方案。針對(duì)BN254橢圓曲線,標(biāo)量位寬為256比特,230點(diǎn)數(shù)的計(jì)算,采用Xilinx Alveo U280或相當(dāng)FPGA卡,單卡計(jì)算時(shí),MSM計(jì)算時(shí)間不超過(guò)40秒,NTT計(jì)算時(shí)間不超過(guò)15秒。不超過(guò)10卡集群加速時(shí),MSM計(jì)算時(shí)間不超過(guò)6秒,NTT計(jì)算時(shí)間不超過(guò)1.8秒。
專題四:支撐重點(diǎn)場(chǎng)景應(yīng)用
方向1:聯(lián)盟鏈共識(shí)機(jī)制研究
研究目標(biāo):面向航運(yùn)貿(mào)易區(qū)塊鏈中大規(guī)模共識(shí)和靈活仲裁集合共識(shí)的需求,研究適用于聯(lián)盟鏈的新型拜占庭容錯(cuò)共識(shí)機(jī)制,助力實(shí)現(xiàn)航運(yùn)貿(mào)易區(qū)塊鏈大規(guī)模部署和分層共識(shí),支撐關(guān)鍵業(yè)務(wù)領(lǐng)域共識(shí)需求。
研究?jī)?nèi)容:研究支持千級(jí)節(jié)點(diǎn)參與、支持靈活仲裁集合(如全員2/3閾值、委員會(huì)2/3閾值、委員會(huì)全體)的新型共識(shí)機(jī)制,吞吐量不低于當(dāng)前百級(jí)節(jié)點(diǎn)水平,并接入典型開(kāi)源聯(lián)盟鏈。上述共識(shí)算法應(yīng)開(kāi)源代碼、用例、文檔。
方向2:高性能交易調(diào)度技術(shù)研究
研究目標(biāo):面向航運(yùn)貿(mào)易等大規(guī)模區(qū)塊鏈應(yīng)用中的高頻業(yè)務(wù)需求,聚焦區(qū)塊內(nèi)交易調(diào)度策略,提升交易調(diào)度并行度與調(diào)度性能?! ?/span>
研究?jī)?nèi)容:研究基于容器執(zhí)行引擎的細(xì)粒度執(zhí)行回滾技術(shù)、適用于多種合約語(yǔ)言(如GO)的預(yù)測(cè)式調(diào)度等高性能并行交易調(diào)度技術(shù),研發(fā)包括非確定性樂(lè)觀并行、確定性重排序、嚴(yán)格按照區(qū)塊內(nèi)順序等不少于3種交易調(diào)度算法,并實(shí)現(xiàn)交易調(diào)度算法鏈上自適應(yīng)熱切換,接入典型開(kāi)源聯(lián)盟鏈,實(shí)現(xiàn)塊內(nèi)交易調(diào)度時(shí)間減少30%以上,鏈吞吐量提升15%以上。調(diào)度算法應(yīng)開(kāi)源代碼、用例、文檔。
方向3:區(qū)塊鏈監(jiān)管技術(shù)研究
研究目標(biāo):針對(duì)區(qū)塊鏈在上海市政務(wù)、金融、航運(yùn)貿(mào)易和供應(yīng)鏈等關(guān)鍵場(chǎng)景中的應(yīng)用安全與合規(guī)需求,探索和研究適用于區(qū)塊鏈監(jiān)管的技術(shù)框架,支撐相關(guān)區(qū)塊鏈基礎(chǔ)設(shè)施的安全運(yùn)行?! ?/span>
研究?jī)?nèi)容:提出基于區(qū)塊鏈系統(tǒng)的自生監(jiān)管技術(shù)框架,研發(fā)完成并開(kāi)源區(qū)塊鏈監(jiān)管系統(tǒng)的基礎(chǔ)組件和開(kāi)發(fā)工具,對(duì)區(qū)塊鏈節(jié)點(diǎn)、智能合約、交易數(shù)據(jù)、系統(tǒng)日志等進(jìn)行穿透式監(jiān)管數(shù)據(jù)的采集,實(shí)現(xiàn)異常數(shù)據(jù)的過(guò)濾與阻斷、智能合約的安全審計(jì)與漏洞探查、鏈上內(nèi)容的智能識(shí)別決策與風(fēng)險(xiǎn)預(yù)警、系統(tǒng)安全性能的全流程監(jiān)控,搭建原型系統(tǒng)并驗(yàn)證,初步形成區(qū)塊鏈系統(tǒng)與數(shù)據(jù)的全流程監(jiān)管標(biāo)準(zhǔn)。
二、申報(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)(如科技部、國(guó)家自然科學(xué)基金等)資助項(xiàng)目基礎(chǔ)上提出的新項(xiàng)目,應(yīng)明確闡述二者的異同、繼承與發(fā)展關(guān)系?! ?/span>
3. 所有申報(bào)單位和項(xiàng)目參與人應(yīng)遵守科研誠(ché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)?! ?/span>
4. 申報(bào)項(xiàng)目若提出回避專家申請(qǐng)的,須在提交項(xiàng)目可行性方案的同時(shí),上傳由申報(bào)單位出具公函提出回避專家名單與理由。
5. 所有申報(bào)單位和項(xiàng)目參與人應(yīng)遵守科技倫理準(zhǔn)則。擬開(kāi)展的科技活動(dòng)應(yīng)進(jìn)行科技倫理風(fēng)險(xiǎn)評(píng)估,涉及科技部《科技倫理審查辦法(試行)》(國(guó)科發(fā)監(jiān)〔2023〕167號(hào))第二條所列范圍科技活動(dòng)的,應(yīng)按要求進(jìn)行科技倫理審查并提供相應(yīng)的科技倫理審查批準(zhǔn)材料。
6. 已作為項(xiàng)目負(fù)責(zé)人承擔(dān)市科委科技計(jì)劃在研項(xiàng)目2項(xiàng)及以上者,不得作為項(xiàng)目負(fù)責(zé)人申報(bào)?! ?/span>
7. 項(xiàng)目經(jīng)費(fèi)預(yù)算編制應(yīng)當(dāng)真實(shí)、合理,符合市科委科技計(jì)劃項(xiàng)目經(jīng)費(fèi)管理的有關(guān)要求?! ?/span>
8. 項(xiàng)目執(zhí)行期限為2024年10月1日到2025年9月30日。每個(gè)研究方向擬支持不超過(guò)2個(gè)項(xiàng)目,每個(gè)項(xiàng)目擬投入專項(xiàng)資助經(jīng)費(fèi)不超過(guò)200萬(wàn)元。
三、申報(bào)方式
1. 項(xiàng)目申報(bào)采用網(wǎng)上申報(bào)方式,無(wú)需送交紙質(zhì)材料。申請(qǐng)人通過(guò)“中國(guó)上?!遍T戶網(wǎng)站(http://www.sh.gov.cn)--政務(wù)服務(wù)--點(diǎn)擊“上海市財(cái)政科技投入信息管理平臺(tái)”進(jìn)入申報(bào)頁(yè)面,或者直接通過(guò)域名https://czkj.sheic.org.cn/進(jìn)入申報(bào)頁(yè)面:
【初次填寫】使用“一網(wǎng)通辦”登錄(如尚未注冊(cè)賬號(hào),請(qǐng)先轉(zhuǎn)入“一網(wǎng)通辦”注冊(cè)賬號(hào)頁(yè)面完成注冊(cè)),進(jìn)入申報(bào)指南頁(yè)面,點(diǎn)擊相應(yīng)的指南專題,進(jìn)行項(xiàng)目申報(bào);
【繼續(xù)填寫】使用“一網(wǎng)通辦”登錄后,繼續(xù)該項(xiàng)目的填報(bào)?! ?/span>
2. 項(xiàng)目網(wǎng)上填報(bào)起始時(shí)間為2024年9月2日9:00。
四、評(píng)審方式
采用一輪會(huì)議評(píng)審方式。
五、立項(xiàng)公示
市科委將向社會(huì)公示擬立項(xiàng)項(xiàng)目清單,接受公眾異議。
六、實(shí)施管理要求
1. 項(xiàng)目實(shí)行里程碑管理。由市科委組織形成包括重點(diǎn)機(jī)構(gòu)在內(nèi)的項(xiàng)目管理團(tuán)隊(duì),與項(xiàng)目承擔(dān)單位共同制定實(shí)施計(jì)劃與里程碑節(jié)點(diǎn)。項(xiàng)目管理團(tuán)隊(duì)定期評(píng)估項(xiàng)目進(jìn)展情況,并及時(shí)報(bào)請(qǐng)市科委作出“繼續(xù)實(shí)施”“暫?!薄罢{(diào)整”“終止”等決定?! ?/span>
2. 項(xiàng)目實(shí)行統(tǒng)一的研發(fā)管理要求,包括進(jìn)度管理、代碼交付與驗(yàn)收等,在項(xiàng)目管理團(tuán)隊(duì)組織下在統(tǒng)一空間開(kāi)展聯(lián)合攻關(guān),定期舉行前沿技術(shù)交流活動(dòng)?! ?/span>
3. 項(xiàng)目相關(guān)研發(fā)成果,應(yīng)按照統(tǒng)一規(guī)范在ChainWeaver開(kāi)源社區(qū)(www.chainweaver.org.cn)發(fā)布開(kāi)源代碼、用例、文檔等。
七、咨詢電話
服務(wù)熱線:8008205114(座機(jī))、4008205114(手機(jī))
本校安排:
請(qǐng)依托本校申報(bào)的老師,于9月17日16:00前完成網(wǎng)上申報(bào)并提交,逾期后填報(bào)項(xiàng)目不予以受理。
聯(lián)系人:詹偉
聯(lián)系電話:55274272
郵箱:usstkjc@126.com
科技發(fā)展研究院
2024年8月25日








