TRA:智能合約系列1：數字社會的基石——智能合約_ACTN幣

作者：北京航空航天大學云南創新研究院?北京航空航天大學分布式實驗室?胡凱教授

業界不少人對智能合約的認識常常是不清楚的，有的認為是區塊鏈里本來帶的內容，有的認為就是發幣用的，有的認為就是以太坊上的應用等等，這些認識完全淹沒了智能合約的意義、嚴重制約了智能合約的發展和應用。那么智能合約是什么？它有什么作用？它的本質是什么？它的意義在哪里？它存在什么問題？它如何落地應用？它的發展之路在哪里？

1.?智能合約的起源和意義

近年來區塊鏈成為大熱門技術，作為一門應用技術，其迅猛的發展和熱潮是罕見的，為什么會受到社會各階層人士的關注呢？有很多分析和認識，但筆者認為最重要的原因有二個，一是區塊鏈并不是一門單獨的技術，它不僅是包含了很多技術的融合，更是涉及社會治理模式和思維改變的思想性技術，這種思想性技術會促使人們創新、產生技術革命；第二就是區塊鏈技術迎合了當前社會重要的發展大潮，那就是人類社會向數字化社會發展過程中，未來如何把實體社會人們生活的模式、信用、法律甚至文化等依存關系轉移到虛擬世界上是技術和社會治理面臨的巨大挑戰問題，而區塊鏈相關技術正是迎合這個大潮的重要技術之一。

我們可以看未來一個汽車交易的場景：汽車貸款，如果貸款者不還款，一個合約程序將自動收回發動汽車的數字鑰匙，汽車經銷商將發現這種自動合約用途很有吸引力。這個例子是密碼學家尼克.薩博在1994年給出的一個場景，也是他首次提出了“智能合約(SmartContract,簡稱SC)的概念。相比復雜的涉及用戶、汽車經銷商和銀行的貸款行為和手續，智能合約是能夠自動執行合約條款的計算機程序。通過對自動售貨機的觀察，薩博領悟到機器通過物理的密封系統自行控制財產，可以編程自動執行“合約”條款，指出計算機代碼可以代替機械設備，進行更復雜的數字財產交易，未來的某一天，這些程序甚至可能取代處理某些特定金融交易的律師和銀行,即“智能財產可以將智能合約內置到物理實體的方式，被創造出來”。隨后在2002年，尼克薩博設計出了一種叫“比特黃金”(BitGold)的數字貨幣機制，認為智能合約可以支持電子數據交換(EDI)、證券期權等合成型資產(SyntheticAssets）的交易。

Hedera：攻擊者對主網智能合約服務代碼攻擊，將用戶代幣轉至自己賬戶中:3月10日消息，Hedera披露攻擊細節，攻擊者對Hedera主網的智能合約服務代碼進行攻擊，將部分用戶賬戶持有的Hedera Token Service代幣轉移到自己的賬戶中。攻擊者的目標是在多個DEX上用作流動性池的賬戶，這些DEX使用Uniswap V2派生的合約代遷移過來使用Hedera Token Service，包括Pangolin Hedera、SaucerSwap和HeliSwap。

當攻擊者將通過攻擊獲得的代幣移動到Hashport Network Bridge時，Bridge運營者檢測到該活動并迅速采取行動將其禁用。為了防止攻擊者竊取更多代幣，Hedera已關閉主網代理，這會移除用戶對主網的訪問權限。

Hedera團隊已確定問題的根本原因并正在研究解決方案。 一旦解決方案準備就緒，Hedera委員會成員將簽署交易以批準在主網上部署更新代碼以消除此漏洞，屆時將重新開放主網代理并允許恢復正常活動。[2023/3/10 12:53:59]

愛荷華州出臺法案 為區塊鏈和智能合約創造公平競爭環境:金色財經報道，2月11日消息，由共和黨愛荷華州州參議員馬克·洛夫格倫（Mark Lofgren）周三提出的參議院第303號法案規定，除非另有明確規定，否則任何使用分布式賬本技術保護信息的黨派都享有與使用傳統手段保護記錄的黨派相同的權利。它還修改了“合同”的定義，以包括那些使用DLT擔保的合同，并進一步包括智能合同。因此，任何合同都不會因為是智能合同而被剝奪法律效力。“電子記錄”和“電子簽名”還包括所有使用分布式賬本技術擔保的文件。這個中西部的州此前已經出臺了立法，免除虛擬貨幣的“某些安全和貨幣傳輸條例”以及“個人、公司、特許經營權、銷售和使用以及遺產稅”。（CoinDesk）[2021/2/11 19:32:41]

圖1自動售貨機模式的啟示

他進而創造性地抽象提出“智能合約就是執行合約條款的可計算交易協議”，這個簡單而樸素的抽象卻蘊含了深遠博大的意義，因為它涉及了最基礎的人類社會經濟活動：交易和協議，而且是由計算完成的。這對未來數字社會的潛力顯而易見，因為它把人、交易、法律協議以及網絡虛擬世界之間復雜的關系程序化了，也許有一天我們會驚訝地發現，生活中合同、律師、公證、保險、交易所、銀行、甚至法院部分職能都被智能合約所代替。由此可見智能合約概念的寬廣和深刻，在技術發展的歷史長河中，很多簡單的自然的思想往往是一種發展基石，智能合約完全有可能是數字社會的基石之一。就像互聯網發展過程中建網和網上應用關系一樣，作為鏈上無所不在的智能合約應用將是區塊鏈浪潮中最重要、最活躍的技術。

IOVLabs將Chainlink預言機集成到基于比特幣的智能合約平臺RSK測試網中:基于比特幣的智能合約平臺RSK背后的開發公司IOVLabs將集成Chainlink（LINK）預言機至RSK生態系統中，這將使RSK開發人員可以利用市場價格信息和其他鏈下數據來構建其應用程序。具體來講，Chainlink數據將通過RIF網關運送到RSK。RIF網關是一個互操作性框架，可使開發人員可以從其他區塊鏈和外部世界訪問各種數據。IOVLabs發言人說，該集成目前已在測試網上激活，有望在不到一個月的時間內在主網上發布。（Cointelegraph）[2020/9/1]

2.?智能合約的定義

智能合約有許多非形式化的定義，這里列舉幾個供大家從不同角度去理解智能合約的本質內涵和意義：

1)?????智能合約通過使用協議和用戶接口來促進合約的執行；

2)?????智能合約就是用程序代碼編寫的合約，它的條款由程序來執行；

3)?????智能合約就是基于區塊鏈的可直接控制數字資產的程序。

4)?????智能合約是運行在可復制、共享賬本上的計算機程序，可以處理信息，接收、儲存和發送價值。

瑞波沒有智能合約或由于代碼結果不確定、編程語言選擇等問題:在最近的一次研討會上，瑞波CTO David Schwartz和Coli CEO Stefan Thomas探討了為什么瑞波沒有智能合約。Stefan Thomas表示之前曾以谷歌本地客戶端為基礎推出過一個原型，但由于代碼不能產生確定性的結果，以及選擇何種編程語言等問題，他們沒有將智能合約整合進瑞波賬本。[2020/8/12]

5)?????智能合約是一段代碼，被部署在分享的、復制的賬本上，它可以維持自己的狀態，控制自己的資產和對接收到的外界信息或者資產進行回應。

6)?????而維基百科給出的定義是：

“Smartcontracts?arecomputerprotocolsthatfacilitate,verify,orenforcethenegotiationorperformanceofa?contract,orthatobviatetheneedforacontractualclause.Smartcontractsusuallyalsohaveauserinterfaceandoftenemulatethelogicofcontractualclauses.Proponentsofsmartcontractsclaimthatmanykindsofcontractualclausesmaythusbemadepartiallyorfullyself-executing,self-enforcing,orboth.Smartcontractsaimtoprovidesecuritysuperiortotraditionalcontractlawandtoreduceother?transactioncosts?associatedwithcontracting.”

聲音 | 中國電子技術標準化研究院李鳴：區塊鏈與智能合約和人工智能的結合會產生難以預料的結果:金色財經報道，中國電子技術標準化研究院區塊鏈研究室主任李鳴在接受專訪時表示，從長遠發展來看，區塊鏈與智能合約和人工智能的結合會產生難以預料的結果，甚至是科幻小說的場景也可能變為現實。可以說，區塊鏈有很多的好處，也面臨不少挑戰。具體來講，首先是監管層面。比如ICO等相關活動對金融秩序造成了很大的影響。其次是不良信息層面。區塊鏈的技術特點是上鏈信息不能更改，而不良信息上鏈會引發一些不良影響，因此上鏈前要過濾掉不良信息以消除風險。最后是數據的跨境流動。區塊鏈是點對點通信，就像比特幣或以太坊，很多數據可以流到境外。而數據已經成為生產要素，數據流動也要進行監管。同樣，區塊鏈也是軟件形態，和其他軟件面臨的風險也是一樣的，如網絡層、平臺層、應用層的安全威脅。另外，區塊鏈因其技術特點還有其自身的安全問題，像算力攻擊、智能合約漏洞等。[2019/11/30]

總的來說，一個智能合約是一套以數字形式定義的承諾，包括合約參與方可以在上面執行這些承諾的協議。

3.智能合約發展階段

薩博提出的智能合約理論幾乎與互聯網同時出現，但應用實踐卻一直嚴重地落后于理論，沒有找到將這個理念轉變現實的清晰路徑。主要是面臨三個方面問題，一是資產需要數字化和數字資產的賬本化；二是合約方需要一個受信任的執行環境；三是代碼合約需要有類似合同蓋章不可隨意變更和可審核機制。而區塊鏈技術的出現，解決了這些問題，從而觸發了智能合約的應用。區塊鏈為完全數字化資產的記錄和轉移奠定了基礎，通過完全數字化的資產和分布式賬本，區塊鏈使計算機代碼可以控制資產，資產的控制就是控制資產對應的密鑰，而不是任何實物。區塊鏈也成為了互聯網上最可信的機制，同時一旦智能合約代碼做塊進入區塊鏈，合約方就可以確定合約不會被更改，好像合同蓋了紅章，由于區塊鏈的開放性，可以被備案、監管和審計。

下面是一個自動執行的、有著銀行基本功能的智能合約。一共有四個功能：查詢賬戶余額、存錢、取錢、轉賬，合約代碼如表1所示。

表1一個簡單的銀行智能合約

合約的建立與執行：先把上面的合約代碼編譯成代碼，然后在區塊鏈上建立合約賬戶，用于存儲合約和管理與合約相關的數據。當需要查看余額的時候，發消息給合約賬戶調用balance()；當需要轉賬的時候，調用transfer()，合約賬戶會自動將你的錢減去轉賬數額，給對方的錢增加相應的數額；當需要存錢的時候，調用deposit()，合約賬戶會自動增加你的錢數；當需要取款的時候，調用withdraw()。

可以看出這是一個簡單的合約，而以太坊為代表的第二代區塊鏈正是由于和這種簡單智能合約的融合而引發區塊鏈的熱潮。筆者預測智能合約的發展也可以分為三代：

第一代是目前用的比較多的簡單的鏈上代碼稱為鏈上代碼，大多是目前以太坊上項目中簡單的IF-THEN-ELSE語句的合約，只是一些簡單流程性的代碼，沒有什么復雜性邏輯和智能內容；

第二代是已經或將要廣泛應用的契約型的智能合約，表達契約關系的代碼。比如說購物的合約、出租的合約、醫患關系、保險關系、追溯等的合約，有一定的承諾和約定的智能表達，這些我們可以通過律師或者現成的契約模板，把這些模板轉換為代碼形成智能合約;

第三代將是智能合約的高級或智能時代，表現為代碼即法律合約：具有存證和判據，符合法律規制或法律規則的代碼化，是更智能，更高級的合約，筆者認為也是智能合約的最有前途的發展。

4.?智能合約的問題與解決之道

應該說，目前區塊鏈上的智能合約還處于技術早期階段，是不成熟、不安全的和不智能的，更沒有形成理論體系，還不能大規模夠滿足應用的需求，主要問題有：

1)?????智能合約規模化產生問題：和軟件發展過程一樣，可以預計智能合約是需要規模化生產應用的，如何規模化生產可信智能合約是個大問題，筆者提出的智能合約工程正是未雨綢繆的理論；

2)?????智能合約公信編寫問題：作為一種代碼合約，和文本協議很大的不同在于，如何公信編寫，誰來驗證、測試？合約當事方顯然是不合適的，一般的第三方也很難有公信立場，建立公信生產機制是發展的關鍵；

3)?????智能合約的可信問題：由于智能合約是管理巨大數字資產的特殊軟件，軟件bug的問題目前非常突出，軟件陷阱會導致明顯地有利于合約的一方，該怎樣進行對合約進行查驗和修復？如何驗證合約的邏輯正確并杜絕漏洞？形式化方法是目前軟件可信性驗證的重要手段,避免類似于由于代碼本身漏洞給黑客攻擊的機會；

4)?????智能合約的智能化問題：目前基本是簡單合約，或固定的合約模板，智能合約的語言、編寫、部署、審計、自動輔助工具、動態修改都會是全新的模式，與人工智能技術結合是研究趨勢；

5)?????合法性問題：智能合約具有與“真正”合約一樣的法律效力嗎？如果智能合約的結果違背法律，或者法庭發現它有與合約法沖突該如何解決？計算法律學只是研究法律化的問題，而筆者提出法律代碼科技，要解決代碼即法律問題；

6)?????智能合約執行問題：存在多個合約需要時間觸發的時候，待觸發事件由誰管理與發送？如果多個合約同時執行，會帶來復雜的訪問控制、同步并發以及一致性問題；

7)?????性能問題：把合約狀態的一致性過程與區塊鏈的一致性過程區別處理，有可能會增加區塊的制作時間，比如區塊的構造時間就包含了區塊中交易的處理時間，減慢了建塊速度，該如何加快合約執行效率？

當然還有很多技術實現問題，本系列文章將拋磚引玉，大家一起來討論解決這些問題之路。

Tags：區塊鏈TRAACTRAC區塊鏈幣在哪個平臺交易trace幣有價值嗎ACTN幣draco幣交易所

OKB