區塊鏈智能合約怎么理解

本篇內容主要講解“區塊鏈智能合約怎么理解”，感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷，實用性強。下面就讓小編來帶大家學習“區塊鏈智能合約怎么理解”吧!

就像“區塊鏈”，“AI”和“云”這樣的詞語一樣，“智能合約”也是那些得到大量炒作的短語之一。畢竟，沒有什么比不通過司法系統而讓人們能夠相信發生了什么更有意思的了。智能合約的承諾包括：

• 自動，無須信任和公正地執行合約。

• 在合約構建，合約執行和合約執行環節中取消中間人。

• （暗示）刪除律師。

我認同炒作。畢竟，如果我們能夠消除信任對方執行的需要，那么事情會有多高效？

無論如何，什么是智能合約？并不是以太坊的領域？這不是未來的方式嗎？你為什么要阻礙進步？

在本文中，我將研究智能合約是什么以及與之相關的工程現實（請注意：它不是那么簡單且非常難以保護）。

什么是智能合約？

正常合約是兩個或更多方之間的協議，將他們與未來的某些東西聯系起來。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的所有權不能具有智能合約平臺之外的依賴性。只有當智能合約具有數字持票人工具時，智能合約才真正無信任。

到此，相信大家對“區塊鏈智能合約怎么理解”有了更深的了解，不妨來實際操作一番吧！這里是億速云網站，更多相關內容可以進入相關頻道進行查詢，關注我們，繼續學習！