智慧型合約的理念

2021-09-14 08:13:37 字數 1239 閱讀 6984

何謂「抵押品」?「抵押品」的目的是什麼?它怎樣梳理了我們的已有的關係? 

我認為,尤其是合約的規範化,為我們的關係實現了理想化抵押品的藍圖。 

多種型別的合同條款,如抵押品,債券,產權界定等等,都可以嵌入在我們執行條款的硬體和軟體中,通過這樣的方式使那些不遵守協議者的違約成本很高,(如果需要的話,令人望而卻步的)。舉乙個典型的活生生的例子,我們可以認為智慧型的原始祖先,是不起眼的自動售貨機。由於箱裡錢遠遠少於破壞者付出的代價,在潛在損失有限的評估後,根據顯示的**該機收取硬幣,通過乙個簡單的機制形成了最初的計算機設計科學,有限自動,傳遞變化和製造。自動售貨機是搬運合約:任何持有硬幣的人可以與**商交易。鎖箱和其他安全機制保護儲存的硬幣和貨物會不被破壞,足以允許自動售貨機有利可圖地在各種各樣的區域部署。

優越於自動售貨機,智慧型合約通過數字的方法來控制有價值的、所有型別的任何資產。智慧型合約涉及到乙個動態的、經常主動運作的財產,且提供更好的觀察和核查點,其中主動措施必須分毫不差。

作為另乙個例子,為汽車而設計出的假想數字保障系統。智慧型合約設計策略建議:持續完善抵押品協議以便其更充分地嵌入到處理資產的合約條款中。根據合約條款,這些協議將使加密金鑰完全控制於具有操作屬性的人,其人正當地擁有該財產。在最簡單的實現中,為了防止偷竊,除非被合法的擁有者完成正確的」挑戰-應答「過程,否則車可以呈現出不可操作狀態。 

如果汽車用做以確保還貸,在這種傳統的方式來在實現強大的安全性同時將創造乙個頭痛的債權人 - 收款人將不再能夠查收賴賬的車。為了解決這一問題,我們可以建立乙個智慧型扣押權協議:如果物主不交費,智慧型合同呼叫扣押權協議,其把車鑰匙的控制權交給銀行。該協議可能會比僱傭追債人更便宜、更有效。進一步的細化,如生成可證明的扣押權權登出,以及當貸款已還清、處於困境和意外情況下的賬戶操作。例如,當車子在75號高速路上奔跑的時候,撤銷車子的操作將是粗魯的。 

在連續細化的過程中,我們從乙個粗糙的抵押品體系,具體化到乙個個具體化的合約:

(1)選擇性地允許業主鎖定和排除第三方

(2)允許債權人接入的秘密途徑

(3a)只在違約一段時間且沒有付款時秘密途徑被開啟; 並且

(3b)最後的電子支付完成後將永久地關閉秘密途徑。

成熟的抵押品體系將針對不同的合約執行不同的行為。繼續討論我們的例子,如果汽車的合同是乙個租賃,最終付款將關閉承租人訪問權; 購買了債權,那就關掉債權人的訪問。通過連續的重新設計方式,抵押品體系越來越接近其合約的精髓:管理了覆蓋財物,資訊或被抵押的。可定性的、不同的合約條款,以及在財產在屬性的技術差異,則引出不同的協議。

**於「規範和保障公眾領域的關係」,作者為尼克·薩博。

智慧型合約的公升級

做軟體開發的都知道,沒有完美的 在當前設計的時候由於考慮不完備或者後續需要增加一些新功能,需要對軟體進行迭代公升級。在以太坊的智慧型合約中也存在這種情況,由於功能的完善可能會 公升級 智慧型合約。大家都知道,部署到鏈上的合約 是不可修改的,怎麼實現合約 的 公升級 呢?比如小強就讀某小學二年級,納入...

智慧型合約的安全

智慧型合約的安全問題一直是編寫智慧型合約的關鍵點。多數的智慧型合約都是開源的,原始碼公布更容易被黑客找到攻擊的漏洞。這裡將一些常見的,易犯的錯誤。首先我們先看看下面這段 contract text function transferto address add,uint num public pay...

編寫智慧型合約

1.安裝node.js 2.安裝truffle npm install g truffle 3.啟動testrpc以太坊環境 testrpc 4.另開終端視窗新建專案 mkdir demo cd demo 5.初始化專案目錄 truffle init 6.建立合約檔案 truffle create ...