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

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

交易和非交易的介紹。

最著名的區(qū)塊鏈是像比特幣這樣的加密貨幣。2 。關(guān)于貨幣的問題——虛擬的或不真實的——你主要想做的是用它們來買賣東西。你想要的是一個簡單的交易模式：“一旦我為你提供這項服務(wù)，你就會給我這么多的貨幣?！蔽覀冎肋@是如何運作的，因為每次我們在商店或網(wǎng)上買東西時，就會發(fā)生這樣的情況：初始狀態(tài)是“我有x數(shù)量”，交易完成后的狀態(tài)是“我有x-y值，你有y值。”在你完成交易之前，你需要從一個狀態(tài)轉(zhuǎn)移到另一個狀態(tài)。大多數(shù)加密貨幣都是用來支持這種類型的構(gòu)造的。

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

不僅對blockchains

讓我們開始解決那些“不是”的陳述。

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

不聰明

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

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

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

沒有合同

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

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

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

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

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

對于“智能合同”來說，情況并非如此。它們需要處理，因此隨時間而存在。這意味著，當它們被處理時，它們會受到各種攻擊，任何系統(tǒng)都可能受到攻擊。標準列表：

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

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

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