DAO:被过度吹嘘的智能合约，其实是非常愚蠢的

就像“区块链”、“人工智能”和“云计算”一样，“智能合约”也是一个被大肆宣传的概念。毕竟，还有什么比相信即将发生的事情而不是使用司法系统更好的呢！

智能合约的承诺包括:

自动、不负责任、公正地执行合约。

在合约建设、合约执行等方面，对中间人员进行选拔(暗示)删除律师。但是，如果我们能消除信任另一方执行的需要，事情真的会更有效率吗?

什么是智能合约

一个正常的合约是两个或多个当事人之间的协议，它将他们与未来的某件事绑定在一起。Alice可以用Bob的房子(也就是租金)支付Bob一些钱。查理可能会同意在未来对Denise的汽车进行任何损坏，以换取每月的付款(也就是汽车保险)。

智能合约的不同之处在于，条件都是由计算机代码评估和执行的，这使得它变得不需要信任。因此，如果Alice同意支付给Bob500美元，让他在3个月后买一个沙发，一些代码就可以确定条件是否正确(Alice付钱给Bob了吗?已经3个月了吗?)然后执行(将沙发从托管中交付)而不给任何一方退出的能力。

智能合约的关键特征是它的执行不可靠。也就是说，您不需要依赖第三方来执行各种条件。一份智能合约不是依靠对方来兑现诺言，甚至更糟，不是依靠律师和法律体系在出现问题时进行补救，而是及时、客观地执行应该发生的事情。

比特币资管公司Samara Asset Group向子公司Samara Alpha注资1000万美元:6月30日消息，专注于比特币的另类资产管理公司Samara Asset Group宣布已向Samara Alpha Management（下称Samara Alpha）新推出的旗舰市场中性多策略基金投资1000万美元。Samara Alpha是Samara Asset Group总部位于美国的资产管理子公司，于今年早些时候开始运营。

Samara Alpha的市场中性战略旨在利用新兴数字资产领域的潜在市场机会。加密市场的特点是市场分散，有许多交易所和加密货币，以及监管不一致，导致效率低下。Samara Alpha认识到，投资于这些数字资产策略的早期采用者具有未开发的潜力。[2023/6/30 22:10:11]

智能合约是相当愚蠢的

“智能”一词的使用意味着这些契约具有某种天生的智慧，他们没有。合约的巧妙之处在于不需要对方的合作来执行协议。一份智能合约可能将把那些不付房租的租房者锁在公寓门外，而不是把他们赶出去。达成协议的后果是使智能合约变得强大，而不是在合约本身的智力。

报告：3月区块链行业投资交易数和资金流入总额下降:4月8日消息，Research Venture Capital数据显示，区块链行业的投资活动在3月份出现显著下降，只有59笔投资交易，低于2月份的96笔，这意味着投资活动减少38.5%。3月份的资金流入总额为5.04亿美元，较2月份的8.8亿美元下降超过42.7%。

风险投资需要稳定和有利的宏观经济条件，以支持高风险企业的增长。长期滞胀环境的风险使得这一目标难以实现，这也是近期VC投资情绪趋于看跌的原因。在宏观经济指标发生转变，使投资者从避险转向冒险之前，区块链行业的投资情绪可能会继续停滞或下降。此外，加密股票在3月份表现不一。虽然挖矿业务因收入增加而推高股价，但其他类型的加密货币企业却举步维艰。（Cointelegraph）[2023/4/8 13:51:50]

一个真正明智的合约会考虑到所有可减轻的情况，审视合约的精神，做出即使在最黑暗的情况下也是公平的裁决。换句话说，一个真正智能的合约就像一个真正优秀的法官。相反，在这种情况下，“智能合约”根本就不智能。它实际上是基于规则的，遵循规则，不能考虑任何次要的考虑或法律的“精神”。

换句话说，让合约不需要信用，意味着我们真的没有任何模棱两可的空间，这就引出了下一个问题。

STEPN COO：STEPN正部署更多应用，发展多链生态:2月28日消息，Move to Earn游戏STEPN的首席运营官Shiti Manghani在NFT巴黎大会上接受Decrypt采访时表示，Stepn正在蓬勃发展，而不仅仅是生存。平台正在不同的链上部署更多的应用，例如Solana、BNBChain和以太坊等，积极发展多链生态。很快也将推出针对用户忠诚度的激励系统，来与用户获取更多互动。此外，会在产品的设计上更多为GMT捕获更多价值。[2023/2/28 12:33:11]

智能的合约实现真的很难

因为有很多来自Ethereum的集中营销，所以有一个错误的观点认为只有在Ethereum中才存在智能合约。这不是真的。从2009年开始，比特币就有了一种相当广泛的智能合约语言——脚本。事实上，早在1995年，比特币诞生之前，就已经有了智能合约。比特币的智能合约语言和以太坊的不同之处在于以太坊的语言是图灵完成的。也就是说，可靠性(ETH的抽象契约语言)允许更复杂的契约，但代价是使它们更难分析。

复杂性带来了一些重大后果。虽然复杂的合约可以考虑到更复杂的情况，但是复杂的合约也很难保证。即使是在正常的合约中，合约越复杂，执行起来就越困难，因为复杂的因素增加了更多的不确定性和解释的空间。有了智能合约，安全性意味着处理合约执行的所有可能方式，并确保合约按照作者的意愿执行。

NULS正式上线EVM Layer 2兼容网络ENULS:2月15日消息，NULS宣布由其社区发起的EVM兼容网络ENULS于今日上线。ENULS使用NULS作为主链资产，依托跨链生态Nerve Network完成链上资产与多链之间的交互。低成本、低门槛，以及全方位的社区、技术、资金等资源扶持将有助于EVM生态项目在ENULS网络快速部署。

据悉，目前Mathwallet、Nabox、ONTO、Coinhub等钱包生态，NerveBridge、CUBISWAP、Wormhole 3、SwapBox、Bridge Oracle等项目已开始在ENULS主网部署。[2023/2/15 12:08:36]

智能合约图灵完备的结果

在图灵完整的上下文中执行是非常棘手的，而且很难分析。确保一个完整的智能合约就相当于证明一个计算机程序没有错误。我们知道这很困难，因为几乎所有存在的计算机程序都有bug。

考虑到写正常的合约需要数年的学习和一个很难的律师考试才能胜任写作。智能合约至少需要这样的能力水平，但目前，许多合约都是新手写的，他们不知道它需要多安全。从各种被证明存在缺陷的合约中可以看出这一点。

美联储明年2月加息25个基点的概率为67%:金色财经报道，据CME“美联储观察”：美联储明年2月加息25个基点至4.50%-4.75%区间的概率为63.4%，加息50个基点的概率为36.6%；到明年3月累计加息25个基点的概率为21.3%，累计加息50个基点的概率为54.4%，累计加息75个基点的概率为24.3%。[2022/12/26 22:07:26]

比特币解决这一问题的办法就是不具备图灵的完整性。这使契约更容易分析，因为程序的可能状态更容易枚举和检查。

以太坊的解决方案是给那些智能的合约开发者们增加负担。合约作者要确保合约履行他们的意愿。

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

在理论上，把确保合约安全的责任交给开发者听起来不错，但在实践中，这产生了一些严重的集中后果。

Ethereum提出的理念是“代码就是法律”。也就是说，以太公司的合约是最终的权威，没有人可以否决这个合约。这个想法是为了向智能合约开发人员表明他们是独立的。如果你把自己的智能合约搞砸了，那么从某种意义上说，你是自己承担后果的。当DAO事件发生时，这一切都戛然而止了。

DAO代表“分散的自治组织”，并在Ethereum(Ethereum)设立了一个基金，用以展示平台的功能。用户可以将钱存入DAO并根据DAO所做的投资获得回报。这些决定本身将是由群众决定的，分散的。在ETH币在20美元左右时，这个组织在以太坊上筹集了1.5亿美元。这一切在理论上听起来都不错，但有一个问题。代码没有得到很好的保护，导致有人想出了一个办法来耗尽DAO的钱。

“黑客”攻击DAO。从某种意义上说，“黑客”找到了一种从合约中获取金钱的方式，这种方式不是创作者的本意，这是真的。但从更广泛的意义上来说，这根本不是黑客，只是一个利用智能合约中的漏洞对他们有利的人。这和一个有创意的注册会计师想出一个税收漏洞来为他们的客户省钱是没什么区别的。

接下来发生的事情是，Ethereum认为代码不再是法律，而是把所有进入DAO的钱都锁定了。换句话说，合约开发者和投资者做了一些愚蠢的事情，Ethereum的开发者决定对他们进行纾困。

这一事件的后果已得到充分的记录。以太经典诞生了，保留了道的书写，保留了“法就是法”的原则。此外，开发人员开始回避使用Ethereum的图-完全性，因为它被证明很难保证。ERC20和ERC721标准是Ethereum中最常用的智能合约模板，需要指出的是，这两种类型的合约都可以在没有任何图灵完整性的情况下编写。

智能合约只适用于数字载体

即使没有图灵的完整性，智能合约约听起来也确实不错。毕竟，谁会喜欢去法院去得到一些理应属于他们的东西，而这些东西是不需要中心信任的呢?使用智能合约不是比普通合约容易得多吗?

例如，房地产不是会从精明的合约中获益吗?Alice可以证明她拥有这所房子。Bob可以寄钱买房子，把房子换回来。不存在所有权问题，不需要可信中心化信任组织，机器快速执行，不需要法官、官僚或产权保险。听起来很神奇,对吧?

这里有两个问题。首先，由一个中央集权的政党执行的智能的合约并不是真的不可靠。您仍然需要信任集中化的一方来执行。无信任是关键特性，因此集中式执行是没有意义的。要使智能合约真正地可靠，你需要一个实际上是分散化的平台。

这就引出了第二个问题。在分散的上下文中，只有在数字版本和物理版本之间存在某种确定的联系时，智能契约才会有效。也就是说，当数字版本的房子改变所有权时，物理版本也必须改变所有权。数字世界需要“了解”物质世界。这就是所谓的“Oracle问题”。

当Alice把房子转让给Bob时，智能的合约需要知道她实际上把房子转让给了鲍勃。有几种方法可以做到这一点，但它们都有相同的本质问题。必须有一些对第三方的信任来验证物理世界中的事件。

例如，房子可以在以太网上作为不可替代的标记。Alice可以用原子交换的方式把房子转让给Bob,问题就在这里。Bob需要相信这个令牌实际上代表了房子。必须有一个神谕确保把房子的标记转让给他实际上意味着房子在法律上是他的。

此外，即使政府当局说这个令牌实际上代表房子，如果这个令牌被偷了会发生什么?这房子现在属于小偷了吗?如果令牌丢失了怎么办?这房子不能再卖了吗?可否重新发出房屋令牌?如果是这样,由谁?

将数字与实物资产联系在一起是一个棘手的问题，无论是水果、汽车还是至少在分散的环境下的住宅。实物资产是由你所处的司法管辖区监管的，这意味着他们在某种意义上相信你所创造的智能契约之外的东西。这就意味着，在一个智能的合约中占有并不一定意味着在现实世界中占有，并且遭受与正常合约相同的信任问题。一份信任第三方的智能合约消除了不需要中心组织信任的杀手特征。

甚至像电子书、健康记录或电影这样的数字资产也面临同样的问题。这些数字资产的“权利”最终由一些其他权威决定，而Oracle需要被信任。

从这个角度来看，神谕只是简化了法官的版本。与只使用机器执行和简化执行不同，您实际上得到的是必须用人类判断的主观性和风险来编码所有可能的结果的复杂性。换句话说，通过制定一份“智能”的合约，你已经彻底地使写作变得更加复杂，同时仍然需要信任别人。

在没有神谕的情况下，唯一能工作的就是数字载体工具。从本质上讲，交易双方不仅需要数字化，还需要是无记名工具。也就是说，令牌的所有权不能在智能合约平台之外存在依赖关系。只有当智能合约具有数字载体时，智能合约才真正可靠。

我们希望智能的合约比实际更有用。不幸的是，我们人类所认为的契约带来了大量的假设和建立的判例法，这些都不需要明确说明。

此外，利用图灵完整性是一种容易搞砸并导致各种意外行为的方法。我们应该给智能合约平台贴上图灵或者不是图灵的标签。DAO事件也证明了合约的“精神”是隐含的信任，有助于解决纠纷，而不是我们意识到的。

智能的合约太容易搞砸，太难以确保，太难以让人信任，并且有太多的外部依赖关系来处理大多数事情。只有在像比特币这样分散的平台上，智能合约才会增加信任感。

标签：DAO比特币以太坊DAO币DAO价格比特币中国官网联系方式40亿比特币能提现吗比特币最新价格行情走势以太坊币是什么币

酷币交易所热门资讯