智能合約

智能合約是在區塊鏈上運行的計算機代碼，其中包含一組規則，在該規則下該智能合約的各方同意彼此進行交互。如果滿足預定義規則，協議將自動執行。 智能合約代碼促進、驗證并強制協商或履行協議或交易。這是分布式自動化的最簡單形式。 它是一種涉及數字資產和兩方或多方的機制，其中部分或所有參與者將資產存入智能合約，并根據某些數據自動在這些參與者之間重新分配資產，在合約開始時，這些數據是未知的。

智能合約這個詞有點不幸，因為智能合約既不聰明也不會與合法合同混淆：

（1）智能合約只能與編程時考慮到所有可用信息的人員一樣聰明。

（2）如果滿足某些條件，智能合約有可能成為合法合同，但不應將其與法院和執法部門接受的法律合同混淆。 然而，隨著技術變得更加成熟和廣泛采用法律標準，我們可能會在未來幾年看到法律合同和智能合約的融合。

削減交易成本

你會與你從未見過的人簽訂合同嗎？ 你會同意把錢借給埃塞俄比亞的一些農民嗎？ 你會成為戰區報紙的投資人嗎？ 您是否會為通過互聯網花費5美元購買有法律約束力的合同而煩惱？ 對于大多數人來說，答案是否定的，因為這些例子的交易成本超過了獲得的價值。

智能合約最初由Nick Szabo在1996年提出。其目的是提供優于傳統合同法的安全性，并降低與合同相關的其他交易成本。 可自動執行的代碼，無論是在協議級別還是在應用程序級別，對事務規則進行標準化，從而降低達成協議、形式化和強制執行的交易成本。

智能合約可以形式化人、機構和他們所擁有的資產之間的關系。 智能合約的交易規則集（協議）定義了合同雙方達成一致的條件——權利和義務。它通常是預定義的，并且通過簡單的選擇操作達成了一致。 該交易規則集在可讀的機器代碼中以數字的形式表現出來。 一旦雙方達成協議并達到協議的條件（執行），智能合約中確立的這些權利和義務現在可以由計算機或計算機網絡自動執行。

雖然智能合約的概念并不新鮮，但區塊鏈技術似乎成為智能合約實施的催化劑。 智能合約最原始的形式是自動售貨機。 交易規則被編入機器。 您可以通過按下與該產品相關的數字選擇產品，插入硬幣，機器作為智能合約檢查您是否插入了足夠的錢。 如果是的話，機器被編程為彈出產品，如果您插入了太多的錢，它也會找零。 如果你沒有插入足夠的錢，或者如果機器內的錢用完了，他會退回你的錢。 自動售貨機不僅可以降低交易成本，而且還可以擴大服務范圍，提供全天候的可用性，而不是像售貨亭一樣只在指定時間開放。

智能合約案例

如果A和B不認識也不相互信任，他們通常需要一個值得信賴的第三方作為中介，以驗證交易并強制執行。借助智能合約和區塊鏈，您不再需要這些可信中介機構來結算您的交易。 以購買和銷售汽車為例：如果Alice想從Bob那購買汽車，則需要一系列可信賴的第三方來驗證和認證交易。 這個過程因不同國家而有所差異，但總是涉及至少一個可信的第三方：機動車登記管理機構，結合公證人和/或保險公司。 這是一個復雜而漫長的過程，對這些中間商來說，需要收取相當可觀的費用。

在區塊鏈中，一旦所有相關的權力機構和公司都在區塊鏈上，就可以使用智能合約來定義銷售的所有規則。 如果Alice想用區塊鏈上的智能合約從Bob購買汽車，交易將由區塊鏈網絡中的每個節點驗證，看看Bob是否是汽車的擁有者，以及Alice是否有足夠的錢支付Bob。

如果網絡人為這兩個條件都是真的，Alice自動獲得車庫智能鎖的訪問代碼。 區塊鏈將愛麗絲注冊為汽車的新的所有者。 鮑勃的賬戶上多了20,000歐元，而愛麗絲少了20,000歐元。 沒有中間人的要求。 在區塊鏈上，誰擁有汽車是透明的并且同時是匿名的。 這意味著運行區塊鏈協議的每臺計算機都可以檢查某個人是否是該車的合法擁有者。 偷車并不像今天那么容易，特別是一旦我們擁有通過區塊鏈驗證訪問控制的智能鑰匙，即可解鎖我們未來的車輛。 作為汽車的擁有者，您可以授權其他人駕駛它（說明相應個人的公鑰）。 在這種情況下，只有通過區塊鏈上的智能鑰匙才能打開汽車。

智能合約的類型

區塊鏈和智能合約有可能擾亂許多行業。其應用可以在銀行，保險，能源，電子政務，電信，音樂和電影行業，藝術世界，流動性，教育等等中找到。智能合約使用場景從簡單到復雜的都有。

政府和半政府登記機構（土地所有權，出生證，出生證，大學學位）等時間戳服務是較簡單的（監管方面可能更為復雜）的例子。另一方面，分散的自治組織是智能合同中最復雜的形式。 2016的DAO年就是這樣復雜的一個智能合約的例子。

考慮到區塊鏈仍然是一項新技術，一些行業可能會比其他行業更晚地采用智能合約，特別是如果它們受到政府的嚴格監管，或者其應用需要較高的網絡影響，例如在供應鏈中采用廣泛的技術，標準化等等。總的來說，建議從一個不太復雜的小型應用試點項目開始，以便更好地構建專業知識并更好地理解技術，并在稍后階段轉向更復雜的應用。

智能合約編碼

Solidity是一種智能合約編程語言。 語法與JavaScript類似，它的設計目的是編譯以太坊虛擬機代碼，創建投票，眾籌，匿名拍賣，多簽名錢包等等的合約。