?ternity的智能合約介紹

來自專欄 Aeternity

我們設想?ternity的主網平台將成為充滿活力的分散式應用生態系統的家園，可運行在各種設備上，包括移動設備。為了實現這一目標，將支持三種類型的智能合約：

1、我們將推出一種名為Sophia的全新，更安全的合約語言。Sophia是一種類型化的函數式編程語言，是ML的一種方言，類似於Reason。它被編譯到?ternity的高級虛擬機，稱為FTWVM（功能型虛擬機）。索菲亞的主要用途將是系統級編程，或者換句話說 - 更複雜的應用程序。

2、高級智能合約語言稱為Varna，與比特幣的腳本語言類似，但沒有循環和固定的燃料費用。它使用自己的虛擬機 - HLM（高級機器）及其代碼由節點軟體直接評估。Varna旨在涵蓋快速的日常合同。

3、依賴EVM（以太坊虛擬機）改進版本的Solidity智能合約。這裡的目標是允許將以太坊合約容易、安全的移植到?ternity。

?ternity的智能合約是第一類對象。這意味著它們被集成在核心區塊鏈協議中。與任何其他區塊鏈預言機不同，名稱，代幣，治理機制和狀態通道也是一流的對象。因此，他們可以更高效，安全和便宜地互相交互，顯著提高系統的可擴展性能力，並允許在公共區塊鏈中快速實現性能。而且，將所有重要的特性定義為第一類對象使得為代碼編寫代碼變得更加容易。

以下是主要的智能合約目標：

1、合同執行應該是安全的。

這意味著用戶應該能夠指定並自動證明合同的屬性。這是通過Sophia語言和FTWVM實現的，並將允許在公共區塊鏈中實現企業級智能合約安全。

2、合同執行應該高效並且適合擴容。

為了促進高效的合同執行，?ternity為簡單合同的快速執行提供了高級語言，並為（接近）Turing完整合同提供了高效的虛擬機。這種簡單語言的功能通過狀態通道，令牌和神諭等一流對象的可用性以及一種新型共識演算法 - 比特幣 - NG而大大提高。

3、合同執行應該便宜/不貴。

合同執行的價格將由礦工和用戶決定。但是，通過提供狀態通道，執行合同的有效方式以及簡單的統一費率，高水平的合同語言價格應該保持在較低水平。

4、應該有一種簡單的方法將Ethereum智能合約遷移到?ternity的智能合約。

通過提供EVM版本，可輕鬆將EVM合約遷移至?ternity。

每秒處理的智能合約的數量沒有限制，因為它們不共享狀態。合同實際上可以並行處理。我們相信，這種分散合同的方式將有助於創建一個應用程序生態系統，這種應用程序不會使區塊鏈系統超載，如果數百萬甚至數十億人嘗試使用它，則可以減少錯誤，延誤和增加使用成本的風險。

主網發布計劃於2018年第二季度推出。

社區：AE中國，關於AE的一切，來這裡就夠了。

https://t.zsxq.com/iqBQjqJ (二維碼自動識別)