商務智能合約概念的提出者Nick Szabo曾在其《可信任計算的黎明》一文中說道:
“信任最小化的代碼意味著你只需要信任代碼本身,不需要信任遠方任何特定計算機的所有者……”
屆時以太坊尚未正式問世,位元幣帶來的區塊鏈概念讓人們相信“信任機器”將會讓信任從交易中介方轉移到代碼與網路中。當位元幣做到了交易雙方的鏈上信任后,人們開始了探索合同雙方進行鏈上互動的方法,Nick Szabo在《可信任計算的黎明》最后的參考文章中提到了以太坊的初版白皮書,表達了他對于未來以太坊承擔可信任計算的期望。
從現在回望,以太坊帶來的智能合約潮、ICO熱潮以及目前的DeFi熱潮,無一不是以太坊背后智能合約概念的價值體現,可編程金融和去中介化金融讓區塊鏈擁有了無可比擬的價值,以太坊是可信任計算的一顆明星,這是毋庸置疑的;但作為可信任計算的黎明,以太坊還有很大的上升空間。
01
不可升級式智能合約
以太坊的智能合約以靈活性著稱,不同于位元幣的腳本系統,圖靈完備式編程讓以太坊的合約理論上可以適配所有場景。然而如此靈活的合約卻受限制于無法更新的窘境。以太坊上如果希望更新合約的內容,例如增發代幣,對于開發者最明智的選擇是重新部署一個增發好代幣的全新合約。這顯然是不合理的,因為合約地址的變換意味著舊合約的作廢,如果不能很好地處理新舊合約的資產映射問題,對于代幣擁有者而言無疑是一筆不可忽視的經濟損失。
Wisdom Chain吸取了以太坊合約不可升級的教訓,對于資產事務,定義的規則中賦予了”increase“等經事務所有者簽名后可以增發該代幣的規則,協助開發者和運營者在必要條件下讓合約可以增發代幣以適應不同環境。
當然,Wisdom Chain的事務并非所有函式均可升級,過于臃腫的靈活性將會嚴重影響鏈上資產的安全性,這種思想也作為Wisdom Chain的基本理念,讓Wisdom Chain有著更高于以太坊的資產安全性。
02
合約難以安全地撰寫
以太坊的智能合約為了保證充足的靈活性,為合約編程者提供了充足的函式以供其呼叫,并支持通過復雜邏輯讓合約實作”通常情況“(一般指單個合約的情況)下無法實作的功能,這種靈活性為DeFi的誕生提供溫床的同時,也為DeFi設下了一顆定時炸彈。YAM專案曾是以太坊上知名的DeFi專案,然而其因為合約中TotalSupply函式的漏洞,導致一夜之間專案蒸發了99%的資金。重溫這次事件,我們可以發現YAM復雜的合約邏輯導致安全審計難以進行,而過于靈活的設計讓程式員無法及時發現漏洞,最終導致了這一場鬧劇。
一行代碼,導致的卻是一場鬧劇
Wisdom Chain相信合約可以犧牲所謂”無限的“靈活性,換取更高的安全性。區塊鏈作為信任機器,保證鏈上資產的安全才是立足之本。Wisdom Chain采用了驗證式規則編程,所有的事務按照驗證邏輯而非以太坊的執行邏輯進行處理,并限制開發者可以呼叫的規則上限,讓開發者在可控的邏輯邊界內部署類合約邏輯,方便其審計代碼是否存在漏洞,避免以太坊上的合約資金問題。
03
較高的撰寫門檻
以太坊的圖靈完備式編程語言以及EVM虛擬機,帶來的除了編程靈活性,還有普通民眾無法理解的,高昂的合約撰寫門檻。想要安全地在以太坊上部署合約,如果沒有可以參考的代碼,開發者需要從0開始,從交易邏輯和資料結構開始撰寫整個合約的內容,這無疑讓智能合約成為了極客才能創造并使用的物品。
上圖是以太坊上一個的ERC-20代幣發行的部分代碼,盡管只是整個ERC-20代幣代碼的開頭部分,想要理解這個合約,對于普通人來說仍舊是非常困難的。如果普通人民作為信任機器的使用者,卻無法直觀的了解到信任機器的簡單運作原理,想要得到信任將會如同登天一樣困難。
Wisdom Chain的驗證式規則編程除了安全性以外,還具備簡易、可讀、低門檻的特點。想要在Wisdom Chain上發行一個資產(類似以太坊上的ERC-20代幣),開發者要呼叫的僅僅只是”資產定義“這一規則,完善其中的各項值后即可部署到Wisdom Chain區塊鏈中并發行一個全新的資產。
這種簡單的結構不僅為開發者提供了便利,也讓用戶可以輕松地了解到鏈上資產的運作原理和相關細節,避免了以太坊智能合約無法讓普通用戶了解原理的尷尬情況。
結語
“……信任最小化的代碼意味著你只需要信任代碼本身……”,
Nick Szabo曾如此定義可信任計算。以太坊雖然做到了信任的轉移,但卻無法讓代碼值得信任。而Wisdom Chain的驗證式編程打開了可信任代碼的新時代,不僅用戶可以簡單理解鏈上事務運作原理,開發者也能輕松地部署一個安全而可信的智能合約。以太坊無法帶來可信任計算黎明,但Wisdom Chain將會作為可信任計算黎明的啟明星,為整個行業指引前進方向。
轉載請註明出處,本文鏈接:https://www.uj5u.com/qukuanlian/7285.html
標籤:區塊鏈技術
上一篇:深度 |《Wisdom Chain檔案知識庫》之經濟模型
下一篇:公鏈轉賬錯誤的方法
