區塊鏈中的智慧合約

**智慧合約**是一種強大且自主的計算機程式，它體現了一項協議，能夠自動執行和強制執行。這表明智慧合約本質上是用計算機或指定機器可以理解的語言編寫的程式。

它還透過**業務邏輯**來表示各方之間的協議。一個關鍵方面是智慧合約根據編碼的指令自動執行，例如在滿足特定條件時。它們具有可執行性，這意味著合同的所有條款都將按預期執行，即使遇到反對意見也是如此。

智慧合約中的強制執行是什麼？

這裡的**強制執行**是一個綜合性的術語，包括傳統的法律執行，以及促進執行合同條款而無需外部干預的具體措施和控制。理想情況下，智慧合約應獨立於傳統的執行方法執行。

它們應遵循程式碼即法律的原則，消除仲裁員或第三方監督、控制或影響智慧合約執行的必要性。與傳統合同不同，智慧合約是自我執行的，而不是法律強制執行的。雖然這個概念可能看起來像是一個理想化的願景，但它是完全可行的，並且符合智慧合約的基本本質。

智慧合約是如何出現的？

在 20 世紀 90 年代，**尼克·薩博**在其題為“**在公共網路上形式化和保障關係**”的文章中提出了智慧合約的概念。這個想法出現在智慧合約的潛力和優勢得到廣泛認可之前近二十年，而智慧合約的潛力和優勢是在**比特幣**的建立以及後來像**以太坊**這樣的更復雜的區塊鏈平臺的出現之後才出現的。

薩博對智慧合約的定義如下：

“智慧合約是一種執行合同條款的電子交易協議。總體目標是滿足常見的合同條件（例如付款條款、留置權、保密性，甚至強制執行），最大程度地減少惡意和意外的例外情況，並最大程度地減少對可信中介的需求。相關的經濟目標包括降低欺詐損失、仲裁和執行成本以及其他交易成本。”

智慧合約的功能首先在 2009 年的比特幣中以有限的方式實現。比特幣具有一個稱為**指令碼**的受限指令碼語言，該語言有助於在使用者之間轉移比特幣。但是，這種語言並不完整，不允許開發任意程式。它可以比作執行簡單算術的基本計算器，而智慧合約則可以作為能夠執行任何程式的通用計算機。

智慧合約的特點

智慧合約具有幾個關鍵特徵，如下所述：

• **自我執行** - 它在區塊鏈上自動執行，無需外部干預。
• 可執行：合同的所有條款都會自動得到遵守。
• **安全** - 智慧合約旨在防篡改或具有抵抗力，受益於底層區塊鏈提供的安全保障。但是，智慧合約的程式語言和程式碼也必須準確、有效且經過驗證。
• **一致且高效** - 此功能保證智慧合約對於給定的輸入將始終產生相同的結果。雖然這可以被視為安全方面的一部分，但單獨突出顯示它強調了它的重要性。
• **語法正確** - 智慧合約被構建為對人類和機器都完整且有意義。
• **彈性和永續性** - 它們能夠抵禦對抗性行為或不利條件，確保智慧合約一旦啟動，就會在規定的時間範圍內確定性地執行其功能。

智慧合約的使用示例

讓我們以金融合同為例。它可能不一定需要語義清晰度和不變性；但是，它必須能夠自動執行、強制執行、確定性和安全性。

相反，產權證必須具有語義完整性和完整性。因此，為了使其能夠有效地充當智慧合約，使用的語言必須對人類和機器都易於理解。