智慧型合約簡介

智慧型合約是以太坊應用程式層的基本構成要素。它們是一種儲存在上的電腦程式，會遵守「如果某事發生，則執行某程式」的邏輯，且保證會依照程式碼定義好的規則執行，智慧型合約一經建立則無法變更。

Nick Szabo 率先提出「智慧型合約」一詞。他在 1994 年撰寫了這個概念(opens in a new tab)，並在 1996 年撰寫了《探索智慧型合約可以做什麼》(opens in a new tab)。

Szabo 設想了一種數位市場，無需可信的中介，即能透過自動化、的流程實現交易和業務功能。以太坊上的智慧型合約讓此一願景付諸實踐。

觀看 Finematics 講解智慧型合約：

傳統合約內的信任

傳統合約最大的問題之一是需要可信的個人來監督合約執行結果。

例如：

Alice 和 Bob 進行一場自行車比賽。 Alice 和 Bob 打賭 10 美金，賭她會鸁。而 Bob 堅信自己會鸁得比賽，因此同意打賭。結果，Alice 把 Bob 遠遠抛在身後，她顯然鸁了。但 Bob 拒絕支付賭注，聲稱 Alice 一定是做弊。

這個搞笑的範例說明了非智慧型協議會發生的問題。即使已符合協議的條件（即，你是比賽的獲勝者），你還得相信對方會履行協議（也就是支付賭注）。

用簡單的比喻來說，智慧型合約就像一台自動販賣機，只要提供特定的輸入，就保證會得到預先設定好的輸出。

自動販賣機只在所有要求都符合時，才會掉出你想要的商品。如果你沒有選擇商品或是投入足額的錢，自動販賣機便不會掉出你要的商品。

智慧型合約的主要好處在於當特定條件成立時，它便會確定執行非模糊的程式碼。你不需要等真人來詮釋或協調結果。因此無需可信的中介。

例如，你可以撰寫為孩子代管資金的智慧型合約，讓他們過了特定日期後才能提領該資金。如果他們想在到期日前提領資金，智慧型合約便不會執行。你也可以撰寫一份智慧型合約，當你付錢給汽車經銷商後，合約便會自動發給你一張數位版的車輛所有權證明。

傳統合約的模糊之處在於它們有賴於真人詮釋和履約。舉例來說，兩名法官可能會對同一張合約保持不同見解，這就造成判決不一致，繼而產生不同結果。智慧型合約消除了這種可能性。相反地，智慧型合約完全依合約程式碼內所寫條件執行。完全的意思是指，只要提供相同的條件，智慧型合約就會產生相同的結果。

智慧型合約對於審計和追蹤也非常有用。由於以太坊的智慧型合約寫在公共區塊鏈上，因此任何人都能立即追蹤資產的轉移和其他相關資訊。舉例來說，你可以查閱某人是否把錢轉到你的地址了。

智慧型合約也可以保護你的隱私權。由於以太坊是匿名網路（你進行的交易公開綁定唯一的加密地址，而非綁定個人身分），因而可以保護隱私不受監視。

最後，如同傳統合約，你可以在簽名同意前檢查智慧型合約裡的內容，或與合約互動。智慧型合約的透明度擔保每個人都可以審查它。

基本上，智慧型合約可以做到所有電腦程式都能做到的事。

它們可以執行計算、建立貨幣、儲存資料、鑄造、傳送通訊內容，甚至產生圖形。以下是一些真實世界流行的範例：