關于區塊鏈智能合同的第一件事是，他們不是合同，聰明，也不是區塊鏈必需。

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

交易和非交易的介紹。

最著名的區塊鏈是像比特幣這樣的加密貨幣。2 。關于貨幣的問題——虛擬的或不真實的——你主要想做的是用它們來買賣東西。你想要的是一個簡單的交易模式：“一旦我為你提供這項服務，你就會給我這么多的貨幣。”我們知道這是如何運作的，因為每次我們在商店或網上買東西時，就會發生這樣的情況：初始狀態是“我有x數量”，交易完成后的狀態是“我有x-y值，你有y值。”在你完成交易之前，你需要從一個狀態轉移到另一個狀態。大多數加密貨幣都是用來支持這種類型的構造的。

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

不僅對blockchains

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

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

不聰明

我認為，聰明的合同可以是聰明的，但對我來說，這意味著復雜的，能夠對意料之外的情況做出反應。我認為人們之所以稱之為“聰明”是因為它們體現在代碼中，而不是我上面提到的原因。

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

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

沒有合同

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

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

我們也沒有得到幫助，因為當人們談論軟件契約時，他們談論的是完全不同的東西：這是一個系統在已知輸入和啟動條件下的廣告行為。

這與安全有什么關系？

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

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

機密性。“智能合同”的狀態可能會受到監聽，這可能導致不對稱的知識或泄露給未經批準的各方。

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

可用性。如果一方發現與“智能合同”相關聯的條件是對他們不利，他們可能會影響系統的任何部分的可用性，構成“聰明的合同，”的處理代碼本身，是否輸入到系統，或系統的輸出。其中任何一個都可能對現實生活中的結果產生重大影響。