我很高興也很榮幸地宣布在Zilliqa平臺上推出智能合約。這不僅標志著Zilliqa向前邁出了一大步，也標志著整個區塊鏈基礎設施領域向前邁出了一大步。

此次發布讓開發人員能夠使用我們設計的安全智能合約語言Scilla，在 Zilliqa 區塊鏈上編寫和部署智能合約。我們的中樞是分片，而前線有一群有才華的工程師、企業家和遠見卓識者沖鋒陷陣，我們已經實現了關于更好、更易于使用、更安全的智能合約語言的愿景。

自六個月前主網上線以來，我們一直在不斷努力，不斷發展，不斷進步。這一點不會改變，而且在引導階段、正在進行的代幣互換以及對我們的構建基礎設施和開發人員工具進行修訂的過程中，我們已經看到了更大的遠景。我們始終將社區謹記在心，努力構建一個人人都能受益、人人都能興旺發展的生態系統。

讓我藉此機會向您介紹一下 Zilliqa 智能合約的核心功能：

· 易于形式驗證：Scilla 在設計時就已經在表達性和可駕馭性之間保持平衡，因此能夠對合約行為進行形式推理。

· 靜態分析器套件：該語言附帶一套靜態分析器，用于檢查合約中的潛在錯誤和問題。這些對于在合約生效前檢測缺陷非常有用。

· 干凈的分離：該語言在設計時，就致力于以非常干凈的方式處理合約的不同操作組件，如計算和與其他合約的通訊，從而消除任何復雜的交錯。這可以防止類似 DAO 和 Parity 這樣事故重演。

· 安全標準庫：Scilla附帶了一套標準庫，比如以安全方式執行算術運算的庫，因此無需依賴外部庫（如OpenZeppelin）。

智能合約將有助于我們在一系列領域進一步拓展業務范圍，無論是金融服務、媒體和廣告，抑或是游戲和娛樂。我熱切地期待著親眼見證這項技術的發展、顛覆和演進，期待在此基礎上繼續建設。

這其中包括建立我們的全球開發者網絡，也包括參加全球活動和會議，以有意義的方式與不斷增長的社區接觸。今年，我們參加了巴黎區塊鏈周、馬耳他區塊鏈峰會、紐約區塊鏈周、ETH Denver 和舊金山開發人員周。加強溝通交流的另一個方面是確保 Zilliqa 充分利用世界級的人才，并在教育和宣傳方面做出自己的貢獻。這涉及到與行業組織、大學和研究中心合作，在世界各地的開發熱點區域舉辦研討會。我們的團隊會持續向您介紹所有這些活動的進展。

在我們的區塊鏈上啟用智能合約功能是我們前進的關鍵一步。我們將繼續努力增強我們的平臺，使其盡可能保持創新、安全和可用。