Hey everyone,
Follow us on Steemit and check out the intro to æternity’s Smart Contracts posted there.
Best regards,
The AE Team
社区微博：AE中国，
原链接：官方微博：Sina Visitor System
我们设想æ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中国。
