需求內容：
現狀：
目前，在國家新基建和數字經濟建設中，可信數據共享以及價值傳遞存在痛點，通過區塊鏈技術可以提供可信數據共享，通過打造多合約BaaS平臺可以降低區塊鏈平臺搭建與應用開發的難度，并具有高安全可靠的特點，可用于高校教育、防偽溯源、數據共享、供應鏈管理、存證取證等行業領域。
需解決問題：
1、創新交易搶占算法來對智能合約交易進行主動安全防御，要覆蓋80%的安全漏洞，讓區塊鏈應用更安全；2、對底層硬件資源能夠實現科學調度管理，依托算法，將Openstack、Docker、Kubernetes、區塊鏈、智能合約等技術緊密相連，形成針對區塊鏈教育和產業系統的集成方法；3、提高智能合約，此為是區塊鏈核心技術之一，有多種智能合約語言，如Move、Solidity、Go等，可通過該平臺部署上鏈，確保最大化利用區塊鏈技術賦能自身產業優勢。
達到的指標：
1、平臺引擎可以靜態分析智能合約代碼的執行路徑，并驗證其正確性，取代了傳統的手動驗證方法，速度快，更高效；2、面對企業的智能合約交易安全實時防御需求，針對區塊鏈智能合約的實時漏洞檢測技術開展研發，構建智能合約交易主動防御安全監測套件；3、支持底層鏈，支持PBFT共識算法，TPS達5000以上；平臺支持的智能合約語言為Solidity。 |
