Fae一个可伸缩的智能合约系统

2019-01-11 14:26 栏目:经验之谈 来源:网络整理 查看()

引入一种名为Fae的新智能合约系统,因为它是以太坊的功能寓言,是以太坊的精彩配件。这些异想天开的双关语掩盖了一个简单的事实。: Fae是智能合约的独立平台。从头开始设计以提高可扩展性,以太网可以从这个可扩展的系统中获得而无需修改。有利。通过连接到以太坊区块链,Fae可以将自己的事务与以太坊的交易同步,并提供跨平台的互动和经济利益。然而,通过与以太坊虚拟机分开,Fae允许其用户不花钱购买能源,或花时间在其他人的计算上,而不是牺牲以太坊提供的任何共识。

Fae一个可伸缩的智能合约系统


Fae能做什么?

抽象地说,任何东西都可以类似于EVM。 Fae为智能合约提供了图灵完备的计算模型,因此任何复杂的决策都可以在其交易中进行编码。

具体而言,Fae与EVM完全不同,EVM根本不是虚拟机。它实际上是一个解释器,它直接在主机——上执行合同和事务代码,当然,在严格控制的环境中。因为它不是EVM,所以可以使用现有的高级编程语言Haskell:。这就是为什么我说Fae是“功能性”的原因之一。 Fae实际上只提供了一个相当小的Haskell库来表达对抗性合同规范的概念。

无论编程如何,Fae承诺任何计算,无论多么雄心勃勃,过度或恶意,都可以放在任何交易中;有了这种保证,Fae交易可以在没有经济约束的情况下运行。从而限制了参与者的负担。

Fae是怎么做到的?

无论技术细节如何,Fae只基于一个原则:懒惰。这是一种构建程序的方法,以便代码——(如事务和它们调用的契约)根据需要执行。 Fae交易消息是关于它们所依赖的合同的预先信息,它允许Fae维护一个有组织的合同状态存储,其中每个依赖关系都可以准确定位而无需观察任何其他内容。

“Lazy”是一个至少强烈暗示函数式编程的功能,并使用Haskell(一种非常惰性的语言)作为实现合同语言的高级功能。 Fae认识到区块链的可扩展性等同于事务的延迟执行。出于这个原因,并且使用Haskell进行合同编程,Fae是并且必须是功能性的。

回到以太坊

我上面说的所有内容都使Fae与以太坊不同,但是通过简单的机制,Fae实际上可以成为以太坊的一部分。当以这种方式嵌入以太坊交易时,Fae交易可以使用诸如发送者和接收者地址,以太值和数据(联系人呼叫参数)之类的参数作为他们自己的先决条件。这在Fae和以太坊交易之间建立了同步的因果关系,通过这种关系,各方可以表达协商交换以在两个系统之间转移价值。

这种名为Faeth的共生关系既增强了以太坊的元交易逻辑,又包括可扩展的组件,并通过为其提供区块链来增强Fae。因此,Fae存储的特性立即确保以太坊网络上的所有参与者都能收到相同的潜在Fae事务,并在选择运行它们时找到相同的结果。

为什么试试Fa?

Fae的人可以使用很多东西。

·大型合同的设计者可以探索一种节约能源的新方法;
·具有小型和不频繁事务的临时用户可以以较少的资源开销执行这些事务;
·合同语言爱好者将用Fae的语言找到发人深省的想法;
·未来学家可能会发现整个事情令人兴奋。

微信二维码
售前客服二维码

文章均源于网络收集编辑侵删

提示:币友交流QQ/WX群请联系客服加入!

郑重申明:资讯文章为网络收集整理,官方公告以外的资讯内容与本站无关!
虚拟币开发,虚拟币交易平台开发,山寨币交易平台开发 Keywords: 虚拟币开发 虚拟币交易平台开发 山寨币交易平台开发