關(guān)于區(qū)塊鏈智能合同的第一件事是，他們不是合同，聰明，也不是區(qū)塊鏈必需。

關(guān)于區(qū)塊鏈智能合同的第一件事是他們不是合同，聰明，或者是區(qū)塊鏈。事實(shí)上，他們的名字很不恰當(dāng)。讓我們以相反的順序來(lái)解決這些問(wèn)題，我們應(yīng)該找出一份聰明的合同到底是什么。首先，介紹什么是事務(wù)，哪些不是事務(wù)。

交易和非交易的介紹。

最著名的區(qū)塊鏈?zhǔn)窍?a href="http://www.brongaenegriffin.com/tags/比特幣/" target="_blank">比特幣這樣的加密貨幣。2 。關(guān)于貨幣的問(wèn)題——虛擬的或不真實(shí)的——你主要想做的是用它們來(lái)買(mǎi)賣(mài)東西。你想要的是一個(gè)簡(jiǎn)單的交易模式：“一旦我為你提供這項(xiàng)服務(wù)，你就會(huì)給我這么多的貨幣?！蔽覀冎肋@是如何運(yùn)作的，因?yàn)槊看挝覀冊(cè)谏痰昊蚓W(wǎng)上買(mǎi)東西時(shí)，就會(huì)發(fā)生這樣的情況：初始狀態(tài)是“我有x數(shù)量”，交易完成后的狀態(tài)是“我有x-y值，你有y值?！痹谀阃瓿山灰字?，你需要從一個(gè)狀態(tài)轉(zhuǎn)移到另一個(gè)狀態(tài)。大多數(shù)加密貨幣都是用來(lái)支持這種類型的構(gòu)造的。

這很好，但是一些聰明的人意識(shí)到實(shí)際上有很多不同的方法可以做到這一點(diǎn)。Ethereum是非事務(wù)性結(jié)構(gòu)的重要組成部分，而Solidity是最著名的例子。我很高興地說(shuō)，兩者都是開(kāi)源項(xiàng)目。為什么沒(méi)有一套更復(fù)雜的條件，在我交出我交出的東西之前，需要滿足呢？這里有一個(gè)聰明的比特——為什么不寫(xiě)那些可以被計(jì)算機(jī)執(zhí)行的代碼呢？你可能想要的是貨幣——或者是什么——在一定的時(shí)間之后才會(huì)被釋放，或者如果股票價(jià)格保持在特定的范圍內(nèi)，或者某個(gè)特定的人繼續(xù)擔(dān)任***，5或者在未來(lái)5天內(nèi)沒(méi)有發(fā)生意外的日食。6 。你也可能有復(fù)雜的依賴關(guān)系：如果我連續(xù)三周寫(xiě)一篇新文章，而且沒(méi)有人對(duì)其中的任何一篇發(fā)表不愉快的評(píng)論，那就完成了。寫(xiě)這段代碼，如果條件滿足，就轉(zhuǎn)到下一個(gè)狀態(tài)。

不僅對(duì)blockchains

讓我們開(kāi)始解決那些“不是”的陳述。

現(xiàn)在，在區(qū)塊鏈中，重要的是一旦國(guó)家發(fā)生了變化，你就可以確保它被記錄在區(qū)塊鏈上，這樣它就可以公開(kāi)了，沒(méi)有人可以改變或者挑戰(zhàn)它。但是區(qū)塊鏈技術(shù)還有其他用途，正如我在“區(qū)塊鏈?zhǔn)且粋€(gè)安全主題？”P(pán)ermissionless系統(tǒng)通常被稱為分布式分類技術(shù)（DLTs），它非常適合于非事務(wù)性狀態(tài)模型，這很大程度上是因?yàn)槟切?duì)它們感興趣的人是一些封閉的組織，它們希望在進(jìn)入下一個(gè)狀態(tài)之前具備復(fù)雜的條件集合。根據(jù)最嚴(yán)格的定義，這些都不是區(qū)塊鏈。銀行和其他金融機(jī)構(gòu)可能是最明顯的例子dlt正在不斷發(fā)展，但他們?cè)诠?yīng)鏈領(lǐng)域非常有用，例如，你可能有條件在不斷變化的市場(chǎng)利率，可用性，和運(yùn)輸時(shí)間或成本，所有打到最終提供的商品或服務(wù)的價(jià)格。

不聰明

我認(rèn)為，聰明的合同可以是聰明的，但對(duì)我來(lái)說(shuō)，這意味著復(fù)雜的，能夠?qū)σ饬现獾那闆r做出反應(yīng)。我認(rèn)為人們之所以稱之為“聰明”是因?yàn)樗鼈凅w現(xiàn)在代碼中，而不是我上面提到的原因。

這實(shí)際上是件好事，我認(rèn)為，因?yàn)槲也徽J(rèn)為我們想讓他們說(shuō)出我在說(shuō)什么。我所知道的“智能契約”的大多數(shù)用法是，兩個(gè)或更多的組織根據(jù)一組已知的和嚴(yán)格約束的條件，在一組可能的結(jié)果上達(dá)成一致。這就是合同一般的內(nèi)容，雖然我也會(huì)和這部分術(shù)語(yǔ)進(jìn)行爭(zhēng)論，但在這里，它是相當(dāng)貼切的。

你想要的，一般來(lái)說(shuō)，不是意想不到的或不可能的情況下和智能處理人工智能/機(jī)器學(xué)習(xí)型的，因?yàn)槿绻氵@樣做，那么結(jié)果可能會(huì)令人吃驚，而且可能不開(kāi)心，到一個(gè)或更多的當(dāng)事人。簡(jiǎn)單——或者至少很容易定義——是您想要構(gòu)建到系統(tǒng)中的一個(gè)關(guān)鍵屬性。例如，Solidity項(xiàng)目似乎至少意識(shí)到了其中的一些缺陷，并建議使用智能合同的人采用正式的驗(yàn)證，但正如下面我們將看到的，這僅僅觸及了問(wèn)題的表面。

沒(méi)有合同

當(dāng)然，有些合同——“在現(xiàn)實(shí)生活中”——存在于管理復(fù)雜和意外的情況。它們存在于一個(gè)明確的法律管轄范圍內(nèi)。使它們起作用的詞和短語(yǔ)受到具體和定義明確的過(guò)程的影響，在合同條件未達(dá)到或被破壞的情況下，有已知的制裁和懲罰。通常情況下，這些挑戰(zhàn)會(huì)受到挑戰(zhàn)，但這種挑戰(zhàn)仍然存在著清晰的機(jī)制。

目前，“智能合同”不符合合同的描述。將法律合同用語(yǔ)映射到計(jì)算機(jī)代碼是一個(gè)非常復(fù)雜的過(guò)程，而處理代碼的錯(cuò)誤類型往往在司法系統(tǒng)中沒(méi)有很好的模擬。還有一個(gè)問(wèn)題，那就是司法管轄權(quán)。這通常是在合同條款中描述的，但是如果“智能合同”的處理發(fā)生在涉及的當(dāng)事人的不同管轄范圍內(nèi)，或者甚至是在一個(gè)未知的管轄范圍內(nèi)，該怎么辦呢？這重要嗎？這件事嗎？我不知道，而且我也不知道一旦人們開(kāi)始依賴這些法律強(qiáng)制執(zhí)行的方式，還有什么其他的問(wèn)題會(huì)從木制品中爬出來(lái)，但我懷疑他們是否會(huì)受到歡迎。

我們也沒(méi)有得到幫助，因?yàn)楫?dāng)人們談?wù)撥浖跫s時(shí)，他們談?wù)摰氖峭耆煌臇|西：這是一個(gè)系統(tǒng)在已知輸入和啟動(dòng)條件下的廣告行為。

這與安全有什么關(guān)系？

一旦交易或“智能合同”完成并進(jìn)入?yún)^(qū)塊鏈或分布式賬本，它是不可變的，基本上是由定義。但是在它完成之前呢？這篇文章開(kāi)頭描述的類型的簡(jiǎn)單交易是原子化的，或者不存在，它們是“不可分割的，不可簡(jiǎn)化的”，用行話來(lái)說(shuō)。它們?cè)诖蠖鄶?shù)情況下是瞬時(shí)的。

對(duì)于“智能合同”來(lái)說(shuō)，情況并非如此。它們需要處理，因此隨時(shí)間而存在。這意味著，當(dāng)它們被處理時(shí)，它們會(huì)受到各種攻擊，任何系統(tǒng)都可能受到攻擊。標(biāo)準(zhǔn)列表：

機(jī)密性?！爸悄芎贤钡臓顟B(tài)可能會(huì)受到監(jiān)聽(tīng)，這可能導(dǎo)致不對(duì)稱的知識(shí)或泄露給未經(jīng)批準(zhǔn)的各方。

完整性。這是許多“智能合同”的噩夢(mèng)。如果一個(gè)entity-whether一方潛在的合同或雇傭（有意或無(wú)意）的內(nèi)部狀態(tài)改變代碼執(zhí)行“聰明的合同，”然后“智能合同”的結(jié)果不會(huì)像他們預(yù)期，以及任何相關(guān)各方可能引起爭(zhēng)議的結(jié)果好。更重要的是，這樣的爭(zhēng)論甚至可能不取決于誠(chéng)信缺失的證據(jù)，而只是懷疑。在執(zhí)行上下文中，證明運(yùn)行時(shí)完整性——更不用說(shuō)在被顯示為失敗的時(shí)候——是非常困難的。

可用性。如果一方發(fā)現(xiàn)與“智能合同”相關(guān)聯(lián)的條件是對(duì)他們不利，他們可能會(huì)影響系統(tǒng)的任何部分的可用性，構(gòu)成“聰明的合同，”的處理代碼本身，是否輸入到系統(tǒng)，或系統(tǒng)的輸出。其中任何一個(gè)都可能對(duì)現(xiàn)實(shí)生活中的結(jié)果產(chǎn)生重大影響。