给大家介绍一种新的智能合约系统，叫做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的语言中发现发人深省的想法;
· 未来主义者可能会发现整个事情是令人兴奋的。
