本篇內(nèi)容主要講解“區(qū)塊鏈智能合約怎么理解”，感興趣的朋友不妨來看看。本文介紹的方法操作簡(jiǎn)單快捷，實(shí)用性強(qiáng)。下面就讓小編來帶大家學(xué)習(xí)“區(qū)塊鏈智能合約怎么理解”吧!

創(chuàng)新互聯(lián)建站主要從事網(wǎng)站設(shè)計(jì)制作、網(wǎng)站設(shè)計(jì)、網(wǎng)頁設(shè)計(jì)、企業(yè)做網(wǎng)站、公司建網(wǎng)站等業(yè)務(wù)。立足成都服務(wù)富川,十年網(wǎng)站建設(shè)經(jīng)驗(yàn),價(jià)格優(yōu)惠、服務(wù)專業(yè),歡迎來電咨詢建站服務(wù):028-86922220

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

• 自動(dòng)，無須信任和公正地執(zhí)行合約。

• 在合約構(gòu)建，合約執(zhí)行和合約執(zhí)行環(huán)節(jié)中取消中間人。

• （暗示）刪除律師。

我認(rèn)同炒作。畢竟，如果我們能夠消除信任對(duì)方執(zhí)行的需要，那么事情會(huì)有多高效？

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

在本文中，我將研究智能合約是什么以及與之相關(guān)的工程現(xiàn)實(shí)（請(qǐng)注意：它不是那么簡(jiǎn)單且非常難以保護(hù)）。

什么是智能合約？

正常合約是兩個(gè)或更多方之間的協(xié)議，將他們與未來的某些東西聯(lián)系起來。Alice可能會(huì)向Bob支付一些錢以換取使用Bob的房子（即租金）。Charlie可能會(huì)同意修復(fù)Denise汽車未來的任何損壞，以換取每月付款（又稱汽車保險(xiǎn)）。

智能合約的不同之處在于條件由計(jì)算機(jī)代碼評(píng)估和執(zhí)行，使其無須信任。因此，如果Alice同意從現(xiàn)在開始3個(gè)月（也就是未來）向Bob支付500美元用于交付，那么一些代碼可以確定條件是否正確（Alice已經(jīng)支付了Bob？已經(jīng)3個(gè)月了嗎？）并執(zhí)行（從托管中提供）而不給任何一方提供退出的能力。

智能合約的關(guān)鍵特征是它具有無信任的執(zhí)行力。也就是說，你不需要依賴第三方來執(zhí)行各種條件。一個(gè)聰明的合約執(zhí)行應(yīng)該及時(shí)和客觀地發(fā)生的事情，而不是依靠另一方兌現(xiàn)他們的言論甚至更糟，依靠律師和法律制度來糾正事情。

智能合約

使用“聰明”這個(gè)詞意味著這些合約具有一些與生俱來的智慧。其實(shí)不是。合約的明智之處在于不需要對(duì)方的合作來執(zhí)行協(xié)議。一個(gè)“聰明”的合約將把非付費(fèi)租房者鎖定在他們的公寓之外，而不是必須踢出沒有付款的租房者。商定的后果的執(zhí)行使智能合約變得強(qiáng)大，而不是合約內(nèi)在的信息。

一份真正聰明的合約會(huì)考慮到所有情有可原的情況，看看合約的精神，即使在最黑暗的情況下也要做出公平的裁決。換句話說，一個(gè)真正聰明的合約就像一個(gè)非常好的判斷。相反，在這種情況下，“智能合約”根本不是智能的。它實(shí)際上是基于規(guī)則的，遵循規(guī)則到T，不能考慮任何次要考慮因素或法律的“精神”。

換句話說，使合約無須信任意味著我們真的不能有任何模棱兩可的空間，這會(huì)帶來下一個(gè)問題。

智能合約真的很難

由于以太坊的大量集中營銷，人們錯(cuò)誤地認(rèn)為智能合約只存在于以太坊。這不是真的。比特幣從2009年開始就有一種非常廣泛的智能合約語言叫做Script。事實(shí)上，智能合約早在1995年就存在于比特幣之前。比特幣的智能合約語言與以太坊的區(qū)別在于以太坊是圖靈完備的。也就是說，Solidity（ETH的智能合約語言）允許更復(fù)雜的合約，但卻使它們更難以分析。

復(fù)雜性有一些重大后果。雖然復(fù)雜的合約可以允許更復(fù)雜的情況，但復(fù)雜的合約也很難確保。即使在正常合約中，合約越復(fù)雜，執(zhí)法越難，因?yàn)椴l(fā)癥會(huì)增加更多的不確定性和解釋空間。通過智能合約，安全意味著處理合約可以執(zhí)行的每種可能方式，并確保合約符合作者的意圖。

圖靈完備環(huán)境中的執(zhí)行非常棘手且難以分析。保護(hù)圖靈完整的智能合約相當(dāng)于證明計(jì)算機(jī)程序沒有錯(cuò)誤。我們知道這非常困難，因?yàn)楝F(xiàn)有的幾乎所有計(jì)算機(jī)程序都存在錯(cuò)誤。

考慮寫正常合約需要多年的學(xué)習(xí)和非常艱苦的各種考試才能勝任。智能合約至少需要這種能力水平，但目前很多都是由不了解其需要安全性的新手撰寫的。從各種已被證明存在缺陷的合約中可以清楚地看出這一點(diǎn)。

比特幣解決這個(gè)問題的方法就是沒有圖靈完整性。這使得合約更容易分析，因?yàn)槌绦虻目赡軤顟B(tài)更容易枚舉和檢查。

以太坊的解決方案是將負(fù)擔(dān)放在智能合約編寫者身上。合約編寫者需要確保合約符合他們的意圖。

智能合約不是真正的合約（至少在ETH上）

雖然在理論上將保證合約的責(zé)任留給作者聽起來很好，但在實(shí)踐中，這已經(jīng)產(chǎn)生了一些嚴(yán)重的集中化后果。

以太坊推出了“代碼就是法律”的想法。也就是說，以太坊的合約是最終的權(quán)威，任何人都無法否決合約。我們的想法是向聰明的合約開發(fā)者表明他們是獨(dú)立的。如果你搞砸了自己的智能合約，那么從某種意義上說，你應(yīng)該得到它。當(dāng)DAO事件發(fā)生時(shí)，這就停止了。

DAO代表“去中心化的自治組織”，并在以太坊創(chuàng)建了一個(gè)基金，作為展示平臺(tái)可以做什么的一種方式。用戶可以將錢存入DAO，并根據(jù)DAO的投資獲得回報(bào)。決策本身將是眾包和去中心化的。當(dāng)ETH交易價(jià)格在20美元左右時(shí)，DAO在ETH籌集了1.5億美元。這在理論上聽起來都很好，但是有一個(gè)問題。代碼沒有得到很好的保護(hù)，導(dǎo)致有人找到一種方法來消耗DAO的錢。

許多人稱這個(gè)人把錢的DAO當(dāng)作“黑客”。從某種意義上說，“黑客”找到了一種以創(chuàng)作者不想要的方式從合約中取錢的方法，這是事實(shí)。但從廣義上講，這根本就不是黑客，只是有人利用智能合約中的怪癖來發(fā)揮自己的優(yōu)勢(shì)。這與創(chuàng)造性的注冊(cè)會(huì)計(jì)師找出稅收漏洞以節(jié)省客戶資金并沒有太大差別。

接下來發(fā)生的事情是，以太坊決定代碼不再是法律并且還原了進(jìn)入DAO的所有資金。換句話說，合約編寫者和投資者做了一些愚蠢的事情，以太坊開發(fā)商決定將他們拯救出局。

這一事件的后果已有詳細(xì)記錄。以太坊經(jīng)典誕生了，保留了DAO，并保留了“代碼是法律”的原則。此外，開發(fā)人員開始回避使用以太坊的Turing-completeness屬性，因?yàn)樗蛔C明很難保證。ERC20和ERC721標(biāo)準(zhǔn)是以太坊中最常用的智能合約模板，重要的是要指出兩種類型的合約都可以在沒有任何圖靈完整性的情況下編寫。

智能合約僅適用于數(shù)字化

即使沒有圖靈完整性，智能合約聽起來也不錯(cuò)。畢竟，誰喜歡不得不上法庭才能獲得合理地屬于他們的東西？是不是比普通合約更容易使用智能合約？

例如，智能合約不會(huì)使房地產(chǎn)受益嗎？Alice可以證明她擁有這所房子。Bob可以為房子匯款并換取房子。沒有所有權(quán)，無信任，機(jī)器快速執(zhí)行，不需要法官，官僚或產(chǎn)權(quán)保險(xiǎn)的問題。聽起來很棒，對(duì)嗎？

這里有兩個(gè)問題。首先，集中方執(zhí)行智能合約并不是真正的信任。你仍然需要信任集中方執(zhí)行。無信任是關(guān)鍵特性，因此集中執(zhí)行并不真正有意義。要使智能合約真正無信任，你需要一個(gè)實(shí)際上去中心化的平臺(tái)。

這導(dǎo)致我們遇到第二個(gè)問題。在去中心化的環(huán)境中，只有在數(shù)字版本和物理版本之間存在明確的聯(lián)系時(shí)，智能合約才有效。也就是說，每當(dāng)房屋的數(shù)字版本改變所有權(quán)時(shí)，物理版本也必須改變所有權(quán)。數(shù)字世界需要“了解”物理世界。這被稱為“Oracle問題”。

當(dāng)Alice將房子轉(zhuǎn)移給Bob時(shí)，智能合約需要知道她實(shí)際將房子轉(zhuǎn)讓給Bob。有幾種方法可以做到這一點(diǎn)，但它們都有同樣的基本問題。必須要有一些信任某些第三方來驗(yàn)證物理世界中的事件。

例如，房子可以表示為以太坊上的不可替代的標(biāo)記。Alice可以通過原子交換將房子轉(zhuǎn)移給Bob以獲得一定數(shù)量的ETH。這是問題所在。Bob需要相信該Token實(shí)際上代表了房子。必須有一些Oracle確保將房屋Token轉(zhuǎn)移給他實(shí)際上意味著房子是他的合法房屋。

此外，即使政府當(dāng)局表示Token實(shí)際上代表了房屋，如果Token被盜，會(huì)發(fā)生什么呢？房子現(xiàn)在屬于小偷嗎？如果Token丟失怎么辦？房子不再可以出售嗎？房屋代幣可以重新簽發(fā)嗎？如果是這樣，由誰？

將數(shù)字資產(chǎn)與實(shí)物資產(chǎn)聯(lián)系起來存在一個(gè)難以解決的問題，無論是水果，汽車還是房屋，至少在去中心化的背景下。物理資產(chǎn)受你所在的司法管轄區(qū)的監(jiān)管，這意味著除了你創(chuàng)建的智能合約之外，它們?cè)谀撤N意義上信任某些東西。這意味著在智能合約中占有并不一定意味著在現(xiàn)實(shí)世界中擁有并且遭受與正常合約相同的信任問題。信任第三方的智能合約消除了無信任的殺手特征。

即使是電子書，健康記錄或電影等數(shù)字資產(chǎn)也會(huì)遇到同樣的問題。這些數(shù)字資產(chǎn)的“權(quán)利”最終由其他權(quán)威機(jī)構(gòu)決定，Oracle需要得到信任。

從這個(gè)角度來看，神諭就是愚蠢的法官。你實(shí)際得到的不僅僅是機(jī)器執(zhí)行和簡(jiǎn)化執(zhí)行，而是必須使用主觀性和人類判斷風(fēng)險(xiǎn)對(duì)所有可能結(jié)果進(jìn)行編碼的復(fù)雜性。換句話說，通過使合約“變得聰明”，你在寫作的同時(shí)仍然不得不信任某人，這使得寫作變得更加復(fù)雜。

沒有Oracle的唯一可行的是數(shù)字承載工具。從本質(zhì)上講，交易的雙方不僅需要數(shù)字化，還需要承載工具。也就是說，Token的所有權(quán)不能具有智能合約平臺(tái)之外的依賴性。只有當(dāng)智能合約具有數(shù)字持票人工具時(shí)，智能合約才真正無信任。

到此，相信大家對(duì)“區(qū)塊鏈智能合約怎么理解”有了更深的了解，不妨來實(shí)際操作一番吧！這里是創(chuàng)新互聯(lián)網(wǎng)站，更多相關(guān)內(nèi)容可以進(jìn)入相關(guān)頻道進(jìn)行查詢，關(guān)注我們，繼續(xù)學(xué)習(xí)！

網(wǎng)頁標(biāo)題：區(qū)塊鏈智能合約怎么理解
當(dāng)前路徑：http://www.chinadenli.net/article46/jdhphg.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供網(wǎng)站改版、全網(wǎng)營銷推廣、網(wǎng)頁設(shè)計(jì)公司、網(wǎng)站收錄、品牌網(wǎng)站設(shè)計(jì)、域名注冊(cè)

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來源： 創(chuàng)新互聯(lián)