• <option id="cacee"><noscript id="cacee"></noscript></option>
  • <table id="cacee"><noscript id="cacee"></noscript></table>
  • <td id="cacee"></td>
  • <option id="cacee"></option>
  • <table id="cacee"></table>
  • <option id="cacee"><option id="cacee"></option></option>
  • <table id="cacee"><source id="cacee"></source></table><td id="cacee"><rt id="cacee"></rt></td>
    <option id="cacee"><option id="cacee"></option></option>
     找回密碼
     立即注冊

    掃一掃,登錄網站

    首頁 區塊鏈生態 查看內容
    • 14616
    • 0
    • 分享到

    首席架構師的顛覆觀點:圖靈完備的智能合約不是區塊鏈的必由之路

    2018-8-2 22:11

    來源: 石榴區塊鏈 作者: 劉勝

    尼克·薩博(Nick Szabo)提出智能合約概念


    第二個人物是尼克·薩博是智能合約之父。他在1994年提出“智能合約(Smart Contract)”的設想,并在1996年發表論文來闡述該概念。文中解釋到,“一個智能合約就是一系列數字化形式的承諾集合,還包含一系列相關協議,以確保各參與方能夠履行這些承諾”。

    可以把智能合約與傳統合約做一些對比。與傳統合約不同的是:

    ●智能合約不是給律師、法官等“人”來看的,而是給機器看的;

    ●智能合約不僅僅包含合約條款等信息內容,還包括履行合約所需的可執行程序代碼;

    ●智能合約不是在違約之后執行合約條款,而是在違約發生之前加以控制,避免發生違約,最大限度的減少惡意和意外的狀況;

    ●智能合約不是在事后由人為選擇性履約,而是在事中有程序自動履約,最大限度減少使用信任中介,從而降低交易過程成本,如欺詐損失、立案判決、法律仲裁、司法執行等的成本。

    ●智能合約避免“履約結果”被逆轉,比較容易實現的履約結果的終局性。

    這里面,最基本理念,就是要把這些合約條款嵌入到軟件或者硬件里面去。

    傳統合約通常都會涉及資金或資產。而典型的智能合約應用,也和數字化資金或數字化資產密切相關。

    ●第一類是可編程數字現金(Digital Cash)。如1998年尼克·薩博開發的比特黃金(BitGold)系統,又如2009年中本聰推出的比特幣系統(Bitcoin)。

    ●第二類是合成資產(Synthetic Assets)。包括各類金融資產、金融衍生品,以及各種不同債、股比率的資產組合、不同期限的資產組合、不同套利模式的資產組合、不同免責條款的資產組合等等。

    ●第三類是智能資產(Smart Assets)。包括能夠內置各種合同條款的資產,如某種智能鎖,可以用在共享單車、共享充電樁、共享住宅門之上,此時完全不需要一個中心化的公司來運營,而是可以在一個無中心的共享經濟體里,分布式地來運營。例如有一種智能門鎖,用戶可以將租借費通過數字資產轉賬給房主,然后智能門鎖就可讀取區塊鏈上的相關交易狀態,自動打開房門讓用戶入住,而無需任何中介機構參與。

    普及智能合約時存在很多障礙。

    我們發現,智能合約的概念提出的前20年,智能合約在商業領域的實踐幾乎停滯。

    為很么實踐嚴重落后于理論?至少有三個方面的障礙:

    ●其一是法律障礙。智能合約到底是不是合約,法律是滯后的;

    ●其二是實現障礙。一方面是智能合約依賴于一些可信的數據,而在區塊鏈出來之前,這個基礎不存在;另一方面,缺少一個支持“可編程交易”的一個支付體系。在1998年,尼克·薩博創造了比特黃金系統(BitGold),但不太成功,再后來, 2008年中本聰發表了“比特幣白皮書”(一種點對點的電子現金系統),尼克·薩博發現這正是他想要的東西。可以說,比特幣和區塊鏈技術的興起為智能合約帶來新的轉機。

    ●其三,是執行障礙。由誰執行?怎么保證執行的正確性?如果出現錯誤,由誰來監督或者仲裁?比特幣和區塊鏈技術通過實現分布式的執行,可以解決了這一障礙。

    但是,比特幣系統的可編程腳本存在一個嚴重的限制,即缺失圖靈完備性。

    ●首先,腳本對輸入有嚴格的限制。即不能訪問外部系統,也不能接收外部消息,甚至沒法訪問比特比系統的一些賬本數據等信息,而只能訪問當前交易的少量數據內容。

    ●其次,腳本無法保持狀態數據。不管腳本執行正確還是失敗,都沒辦法把結果保存起來,只能輸出交易,沒有狀態。

    因此,有很多人甚至認為,“不具備圖靈完備性,是比特幣系統的一大缺陷(BUG)”

    版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。
    相關新聞
    發表評論

    請先 注冊/登錄 后參與評論

      回頂部
    • <option id="cacee"><noscript id="cacee"></noscript></option>
    • <table id="cacee"><noscript id="cacee"></noscript></table>
    • <td id="cacee"></td>
    • <option id="cacee"></option>
    • <table id="cacee"></table>
    • <option id="cacee"><option id="cacee"></option></option>
    • <table id="cacee"><source id="cacee"></source></table><td id="cacee"><rt id="cacee"></rt></td>
      <option id="cacee"><option id="cacee"></option></option>
      妖精视频