CertiK DeepSEA編譯器現已全面支援Conflux生態系統！

2020年末，區塊鏈底層網路Conflux宣佈啟動生態系統孵化與扶持計劃。

近日，DeepSEA編譯器1.1版本正式釋出。

作為CertiK自主開發的可用於編寫可驗證智慧合約的新語言，DeepSEA被選為Conflux生態系統扶持專案的其中之一。

繼DeepSEA編譯器支援以太坊、螞蟻鏈，目前DeepSEA編譯器也已全面支援Conflux生態系統！

現在，任何人都可以使用DeepSEA編譯器在Conflux網路上直接編寫智慧合約。

Conflux鼓勵區塊鏈專案使用其公鏈或增加支援，加入Conflux生態。旨在吸引參與者在快速、安全、無需許可的 Conflux 網路上構建DApp及其他基礎設施。

Conflux致力於透過資助那些有遠見的企業家、工程師和各類專案及團隊，以推動Conflux網路生態系統的軟體開發、研究、教育和社羣建設方面的創新。

DeepSEA與Conflux系統整合

DeepSEA致力於建立一個跨平臺的可靠智慧合約框架。

該框架為各種智慧合約平臺（如以太坊，超級賬本和Conflux）提供無錯誤的程式編譯器，這確保了在編譯過程中不會引入新的漏洞和錯誤。

Conflux旨在將DeepSEA與Conflux系統整合，為開發人員提供一個利用Coq證明助手的開發環境。

即使是未經正式驗證的程式語言，在使用DeepSEA編譯器後端之後也可大大降低產生編譯錯誤的風險。

因此，當運用DeepSEA的智慧合約成功被部署在Conflux網路上時，其被駭客攻擊的可能性也將減少，這意味著它將擁有更多的安全保障。

DeepSEA如何使Conflux網路生態系統和技術受益？

DeepSEA語言提供了一種編寫安全智慧合約的方法。 

它連線到互動式證明助手（而不是那些受限制的自動證明器），這意味著工程師可以在開發過程中證明合約的安全性和正確性。

同時，DeepSEA對位元組碼的編譯也被證明是正確的。

這種效能在區塊鏈領域是前所未有的，這也意味著DeepSEA所編譯的智慧合約將完全值得信賴。

當此種信任度與Conflux網路固有的PoW信任度相結合，就形成了最終的安全智慧合約生態系統。

CertiK建議透過在DeepSEA中構建並完全驗證一個DeFi合約樣本來證明DeepSEA的功能。而這一行為的結果不僅證明了“基本安全”合約的可能性，還證明了Conflux網路是部署DeFi的最安全的場所之一。

DeepSEA不僅使用簡單，並且中間語言比EVM位元組碼更加高階。