我很高興也很榮幸地宣布在Zilliqa平臺上推出智能合約。這不僅標(biāo)志著Zilliqa向前邁出了一大步，也標(biāo)志著整個(gè)區(qū)塊鏈基礎(chǔ)設(shè)施領(lǐng)域向前邁出了一大步。

此次發(fā)布讓開發(fā)人員能夠使用我們設(shè)計(jì)的安全智能合約語言Scilla，在 Zilliqa 區(qū)塊鏈上編寫和部署智能合約。我們的中樞是分片，而前線有一群有才華的工程師、企業(yè)家和遠(yuǎn)見卓識者沖鋒陷陣，我們已經(jīng)實(shí)現(xiàn)了關(guān)于更好、更易于使用、更安全的智能合約語言的愿景。

自六個(gè)月前主網(wǎng)上線以來，我們一直在不斷努力，不斷發(fā)展，不斷進(jìn)步。這一點(diǎn)不會改變，而且在引導(dǎo)階段、正在進(jìn)行的代幣互換以及對我們的構(gòu)建基礎(chǔ)設(shè)施和開發(fā)人員工具進(jìn)行修訂的過程中，我們已經(jīng)看到了更大的遠(yuǎn)景。我們始終將社區(qū)謹(jǐn)記在心，努力構(gòu)建一個(gè)人人都能受益、人人都能興旺發(fā)展的生態(tài)系統(tǒng)。

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

· 易于形式驗(yàn)證：Scilla 在設(shè)計(jì)時(shí)就已經(jīng)在表達(dá)性和可駕馭性之間保持平衡，因此能夠?qū)霞s行為進(jìn)行形式推理。

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

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

· 安全標(biāo)準(zhǔn)庫：Scilla附帶了一套標(biāo)準(zhǔn)庫，比如以安全方式執(zhí)行算術(shù)運(yùn)算的庫，因此無需依賴外部庫（如OpenZeppelin）。

智能合約將有助于我們在一系列領(lǐng)域進(jìn)一步拓展業(yè)務(wù)范圍，無論是金融服務(wù)、媒體和廣告，抑或是游戲和娛樂。我熱切地期待著親眼見證這項(xiàng)技術(shù)的發(fā)展、顛覆和演進(jìn)，期待在此基礎(chǔ)上繼續(xù)建設(shè)。

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

在我們的區(qū)塊鏈上啟用智能合約功能是我們前進(jìn)的關(guān)鍵一步。我們將繼續(xù)努力增強(qiáng)我們的平臺，使其盡可能保持創(chuàng)新、安全和可用。