給大家介紹一種新的智慧合約系統，叫做Fae，因為它是以太坊的功能寓言，也是以太坊的奇妙附件。這些異想天開的雙關語掩蓋了一個簡單的事實:Fae是一個用於智慧合約的獨立平臺，從頭開始設計是為了促進可伸縮性，以太坊無需修改就可以從這種可伸縮性中的系統中獲益。透過連線到以太坊區塊鏈，Fae可以將自己的事務與以太坊的事務同步，並提供跨平臺互動和經濟效益。然而，透過與以太坊虛擬機器保持分離，Fae可以讓其使用者不必把錢花在能源上，也不必把時間花在其他人的計算上，更不必犧牲以太坊提供的任何共識。
Fae能做什麼?抽象地說，任何東西都可以與EVM類似，Fae為智慧合約提供了一個圖靈完備的計算模型，因此任何複雜的決策都可以在其事務中編碼。具體來說，Fae與EVM完全不同，它根本不是虛擬機器。它實際上是一個直譯器，直接在主機上執行合約和事務程式碼——當然是在一個嚴格控制的環境中。因為它不是EVM，所以可以使用現有的高階程式語言Haskell:這就是我說Fae是“函式式”的原因之一。Fae實際上只提供了一個相當小的Haskell庫來表達對抗式合約規範的概念。撇開程式設計不談，Fae承諾任何的計算，無論多麼雄心勃勃、過度或惡意的計算，都可以放在任何事務中;透過這種擔保，Fae交易可以在沒有然氣的經濟抑制因素的情況下執行，從而限制參與者的負擔。Fae是怎麼做到的?撇開技術細節不談，Fae只基於一個原則:懶惰。這是一種結構化程式的方法，以便按需執行程式碼——如事務和它們呼叫的合約等程式碼。Fae事務訊息是關於它們所依賴合約的預先資訊，這允許Fae維護合約狀態的有組織儲存，其中可以在不觀察任何其他內容的情況下精確地定位每個依賴項。“懶惰”是一種功能，它至少強烈地暗示了函數語言程式設計，而使用Haskell(一種非常懶惰的語言)作為實現合約語言的這種高階功能。Fae認識到區塊鏈的可伸縮性等同於事務的延遲執行。由於這個原因，以及使用Haskell進行合約程式設計，因此Fae是而且必須是函式式的。回到以太坊我上面所說的一切都使Fae有別於以太坊，但透過一個簡單的機制，Fae實際上可以成為以太坊的一部分。以這種方式嵌入以太坊事務時，Fae事務可以使用傳送方和接收方地址、ether值和資料(contact call引數)等引數將作為自身的先決條件。這在Fae和以太坊交易之間建立了同步的因果關係，透過這種關係，雙方可以表達經過談判的交換，從而在兩個系統之間轉移價值。這種稱為Faeth的共生關係既增強了以太坊的元事務邏輯以包含可伸縮的元件，又透過為其提供區塊鏈來增強Fae。因此，Fae儲存的特性立即保證了以太坊網路上的所有參與者接收到相同的潛在Fae事務，並在選擇執行它們時找到相同的結果。為何嘗試Fae?在Fae中有很多不同的人都可以使用的東西。· 大型合約的設計者可以探索一種新的節能方式;· 具有較小且不頻繁事務的臨時使用者可以以較少的資源開銷執行這些事務;· 合約語言愛好者會在Fae的語言中發現發人深省的想法;· 未來主義者可能會發現整個事情是令人興奮的。更多區塊鏈資訊：www.qukuaiwang.com.cn/news
