我很高興也很榮幸地宣布在 Zilliqa 平臺(tái)上推出智能合約。這不僅標(biāo)志著 Zilliqa 向前邁出了一大步，也標(biāo)志著整個(gè)區(qū)塊鏈基礎(chǔ)設(shè)施領(lǐng)域向前邁出了
我很高興也很榮幸地宣布在 Zilliqa 平臺(tái)上推出智能合約。這不僅標(biāo)志著 Zilliqa 向前邁出了一大步，也標(biāo)志著整個(gè)區(qū)塊鏈基礎(chǔ)設(shè)施領(lǐng)域向前邁出了一大步。
此次發(fā)布讓開(kāi)發(fā)人員能夠使用我們?cè)O(shè)計(jì)的安全智能合約語(yǔ)言Scilla，在 Zilliqa 區(qū)塊鏈上編寫(xiě)和部署智能合約。我們的中樞是分片，而前線有一群有才華的工程師、企業(yè)家和遠(yuǎn)見(jiàn)卓識(shí)者沖鋒陷陣，我們已經(jīng)實(shí)現(xiàn)了關(guān)于更好、更易于使用、更安全的智能合約語(yǔ)言的愿景。
自六個(gè)月前主網(wǎng)上線以來(lái)，我們一直在不斷努力，不斷發(fā)展，不斷進(jìn)步。這一點(diǎn)不會(huì)改變，而且在引導(dǎo)階段、正在進(jìn)行的代幣互換以及對(duì)我們的構(gòu)建基礎(chǔ)設(shè)施和開(kāi)發(fā)人員工具進(jìn)行修訂的過(guò)程中，我們已經(jīng)看到了更大的遠(yuǎn)景。我們始終將社區(qū)謹(jǐn)記在心，努力構(gòu)建一個(gè)人人都能受益、人人都能興旺發(fā)展的生態(tài)系統(tǒng)。
讓我藉此機(jī)會(huì)向您介紹一下 Zilliqa 智能合約的核心功能：
· 易于形式驗(yàn)證：Scilla 在設(shè)計(jì)時(shí)就已經(jīng)在表達(dá)性和可駕馭性之間保持平衡，因此能夠?qū)霞s行為進(jìn)行形式推理。
· 靜態(tài)分析器套件：該語(yǔ)言附帶一套靜態(tài)分析器，用于檢查合約中的潛在錯(cuò)誤和問(wèn)題。這些對(duì)于在合約生效前檢測(cè)缺陷非常有用。
· 干凈的分離：該語(yǔ)言在設(shè)計(jì)時(shí)，就致力于以非常干凈的方式處理合約的不同操作組件，如計(jì)算和與其他合約的通訊，從而消除任何復(fù)雜的交錯(cuò)。這可以防止類似 DAO 和 Parity 這樣事故重演。
· 安全標(biāo)準(zhǔn)庫(kù)：Scilla附帶了一套標(biāo)準(zhǔn)庫(kù)，比如以安全方式執(zhí)行算術(shù)運(yùn)算的庫(kù)，因此無(wú)需依賴外部庫(kù)(如OpenZeppelin)。
智能合約將有助于我們?cè)谝幌盗蓄I(lǐng)域進(jìn)一步拓展業(yè)務(wù)范圍，無(wú)論是金融服務(wù)、媒體和廣告，抑或是游戲和娛樂(lè)。我熱切地期待著親眼見(jiàn)證這項(xiàng)技術(shù)的發(fā)展、顛覆和演進(jìn)，期待在此基礎(chǔ)上繼續(xù)建設(shè)。
這其中包括建立我們的全球開(kāi)發(fā)者網(wǎng)絡(luò)，也包括參加全球活動(dòng)和會(huì)議，以有意義的方式與不斷增長(zhǎng)的社區(qū)接觸。今年，我們參加了巴黎區(qū)塊鏈周、馬耳他區(qū)塊鏈峰會(huì)、紐約區(qū)塊鏈周、ETH Denver 和舊金山開(kāi)發(fā)人員周。加強(qiáng)溝通交流的另一個(gè)方面是確保 Zilliqa 充分利用世界級(jí)的人才，并在教育和宣傳方面做出自己的貢獻(xiàn)。這涉及到與行業(yè)組織、大學(xué)和研究中心合作，在世界各地的開(kāi)發(fā)熱點(diǎn)區(qū)域舉辦研討會(huì)。我們的團(tuán)隊(duì)會(huì)持續(xù)向您介紹所有這些活動(dòng)的進(jìn)展。
在我們的區(qū)塊鏈上啟用智能合約功能是我們前進(jìn)的關(guān)鍵一步。我們將繼續(xù)努力增強(qiáng)我們的平臺(tái)，使其盡可能保持創(chuàng)新、安全和可用。（Amrit Kumar）
