区块链智能合约是什么

本文主要介绍"区块链智能合约是什么",希望能够解决您遇到有关问题,下面我们一起来看这篇 "区块链智能合约是什么" 文章。

什么是智能合约?

正常合约是两个或更多方之间的协议,将他们与未来的某些东西联系起来。Alice可能会向Bob支付一些钱以换取使用Bob的房子(即租金)。Charlie可能会同意修复Denise汽车未来的任何损坏,以换取每月付款(又称汽车保险)。

区块链智能合约是什么

智能合约的不同之处在于条件由计算机代码评估和执行,使其无须信任。因此,如果Alice同意从现在开始3个月(也就是未来)向Bob支付500美元用于交付,那么一些代码可以确定条件是否正确(Alice已经支付了Bob?已经3个月了吗?)并执行(从托管中提供)而不给任何一方提供退出的能力。

智能合约的关键特征是它具有无信任的执行力。也就是说,你不需要依赖第三方来执行各种条件。一个聪明的合约执行应该及时和客观地发生的事情,而不是依靠另一方兑现他们的言论甚至更糟,依靠律师和法律制度来纠正事情。

智能合约

使用“聪明”这个词意味着这些合约具有一些与生俱来的智慧。其实不是。合约的明智之处在于不需要对方的合作来执行协议。一个“聪明”的合约将把非付费租房者锁定在他们的公寓之外,而不是必须踢出没有付款的租房者。商定的后果的执行使智能合约变得强大,而不是合约内在的信息。

一份真正聪明的合约会考虑到所有情有可原的情况,看看合约的精神,即使在最黑暗的情况下也要做出公平的裁决。换句话说,一个真正聪明的合约就像一个非常好的判断。相反,在这种情况下,“智能合约”根本不是智能的。它实际上是基于规则的,遵循规则到T,不能考虑任何次要考虑因素或法律的“精神”。

换句话说,使合约无须信任意味着我们真的不能有任何模棱两可的空间,这会带来下一个问题。

智能合约真的很难

由于以太坊的大量集中营销,人们错误地认为智能合约只存在于以太坊。这不是真的。比特币从2009年开始就有一种非常广泛的智能合约语言叫做Script。事实上,智能合约早在1995年就存在于比特币之前。比特币的智能合约语言与以太坊的区别在于以太坊是图灵完备的。也就是说,Solidity(ETH的智能合约语言)允许更复杂的合约,但却使它们更难以分析。

区块链智能合约是什么

复杂性有一些重大后果。虽然复杂的合约可以允许更复杂的情况,但复杂的合约也很难确保。即使在正常合约中,合约越复杂,执法越难,因为并发症会增加更多的不确定性和解释空间。通过智能合约,安全意味着处理合约可以执行的每种可能方式,并确保合约符合作者的意图。

图灵完备环境中的执行非常棘手且难以分析。保护图灵完整的智能合约相当于证明计算机程序没有错误。我们知道这非常困难,因为现有的几乎所有计算机程序都存在错误。

考虑写正常合约需要多年的学习和非常艰苦的各种考试才能胜任。智能合约至少需要这种能力水平,但目前很多都是由不了解其需要安全性的新手撰写的。从各种已被证明存在缺陷的合约中可以清楚地看出这一点。

比特币解决这个问题的方法就是没有图灵完整性。这使得合约更容易分析,因为程序的可能状态更容易枚举和检查。

以太坊的解决方案是将负担放在智能合约编写者身上。合约编写者需要确保合约符合他们的意图。

智能合约不是真正的合约(至少在ETH上)

虽然在理论上将保证合约的责任留给作者听起来很好,但在实践中,这已经产生了一些严重的集中化后果。

以太坊推出了“代码就是法律”的想法。也就是说,以太坊的合约是最终的权威,任何人都无法否决合约。我们的想法是向聪明的合约开发者表明他们是独立的。如果你搞砸了自己的智能合约,那么从某种意义上说,你应该得到它。当DAO事件发生时,这就停止了。

DAO代表“去中心化的自治组织”,并在以太坊创建了一个基金,作为展示平台可以做什么的一种方式。用户可以将钱存入DAO,并根据DAO的投资获得回报。决策本身将是众包和去中心化的。当ETH交易价格在20美元左右时,DAO在ETH筹集了1.5亿美元。这在理论上听起来都很好,但是有一个问题。代码没有得到很好的保护,导致有人找到一种方法来消耗DAO的钱。

许多人称这个人把钱的DAO当作“黑客”。从某种意义上说,“黑客”找到了一种以创作者不想要的方式从合约中取钱的方法,这是事实。但从广义上讲,这根本就不是黑客,只是有人利用智能合约中的怪癖来发挥自己的优势。这与创造性的注册会计师找出税收漏洞以节省客户资金并没有太大差别。

接下来发生的事情是,以太坊决定代码不再是法律并且还原了进入DAO的所有资金。换句话说,合约编写者和投资者做了一些愚蠢的事情,以太坊开发商决定将他们拯救出局。

这一事件的后果已有详细记录。以太坊经典诞生了,保留了DAO,并保留了“代码是法律”的原则。此外,开发人员开始回避使用以太坊的Turing-completeness属性,因为它被证明很难保证。ERC20和ERC721标准是以太坊中最常用的智能合约模板,重要的是要指出两种类型的合约都可以在没有任何图灵完整性的情况下编写。

智能合约仅适用于数字化

即使没有图灵完整性,智能合约听起来也不错。毕竟,谁喜欢不得不上法庭才能获得合理地属于他们的东西?是不是比普通合约更容易使用智能合约?

例如,智能合约不会使房地产受益吗?Alice可以证明她拥有这所房子。Bob可以为房子汇款并换取房子。没有所有权,无信任,机器快速执行,不需要法官,官僚或产权保险的问题。听起来很棒,对吗?

这里有两个问题。首先,集中方执行智能合约并不是真正的信任。你仍然需要信任集中方执行。无信任是关键特性,因此集中执行并不真正有意义。要使智能合约真正无信任,你需要一个实际上去中心化的平台。

这导致我们遇到第二个问题。在去中心化的环境中,只有在数字版本和物理版本之间存在明确的联系时,智能合约才有效。也就是说,每当房屋的数字版本改变所有权时,物理版本也必须改变所有权。数字世界需要“了解”物理世界。这被称为“Oracle问题”。

当Alice将房子转移给Bob时,智能合约需要知道她实际将房子转让给Bob。有几种方法可以做到这一点,但它们都有同样的基本问题。必须要有一些信任某些第三方来验证物理世界中的事件。

例如,房子可以表示为以太坊上的不可替代的标记。Alice可以通过原子交换将房子转移给Bob以获得一定数量的ETH。这是问题所在。Bob需要相信该Token实际上代表了房子。必须有一些Oracle确保将房屋Token转移给他实际上意味着房子是他的合法房屋。

此外,即使政府当局表示Token实际上代表了房屋,如果Token被盗,会发生什么呢?房子现在属于小偷吗?如果Token丢失怎么办?房子不再可以出售吗?房屋代币可以重新签发吗?如果是这样,由谁?

将数字资产与实物资产联系起来存在一个难以解决的问题,无论是水果,汽车还是房屋,至少在去中心化的背景下。物理资产受你所在的司法管辖区的监管,这意味着除了你创建的智能合约之外,它们在某种意义上信任某些东西。这意味着在智能合约中占有并不一定意味着在现实世界中拥有并且遭受与正常合约相同的信任问题。信任第三方的智能合约消除了无信任的杀手特征。

即使是电子书,健康记录或电影等数字资产也会遇到同样的问题。这些数字资产的“权利”最终由其他权威机构决定,Oracle需要得到信任。

从这个角度来看,神谕就是愚蠢的法官。你实际得到的不仅仅是机器执行和简化执行,而是必须使用主观性和人类判断风险对所有可能结果进行编码的复杂性。换句话说,通过使合约“变得聪明”,你在写作的同时仍然不得不信任某人,这使得写作变得更加复杂。

没有Oracle的唯一可行的是数字承载工具。从本质上讲,交易的双方不仅需要数字化,还需要承载工具。也就是说,Token的所有权不能具有智能合约平台之外的依赖性。只有当智能合约具有数字持票人工具时,智能合约才真正无信任。

关于 "区块链智能合约是什么" 就介绍到这。希望大家多多支持编程宝库

本文主要介绍"为什么要用隔离型POE",希望能够解决您遇到有关问题,下面我们一起来看这篇 "为什么要用隔离型POE" 文章。    最近有项目需要用到POE,以太网供电,那么自然就面临一个问题,到底是用隔离POE还是 ...