儲存可升級的以太坊智慧合約

買賣虛擬貨幣
這是“可升級的智慧合約:儲存亮點和挑戰”系列文章的第一篇。我們將更深入地研究可升級的智慧合約、它們的功能和可供開發人員使用的儲存選項。可升級的以太坊智慧合約以太坊區塊鏈上的智慧合約是不可變的。一旦部署了智慧合約,就不可能更改合約地址的程式碼。您可以完全刪除一個合約,或者更準確地說,如果這個函式最初是用程式碼編寫的,那麼一個智慧合約可能會自我銷燬。一方面,信任問題得到了解決,使用者可以確保一切都完全由演算法控制。另一方面,現在修復bug是毫無疑問的。因此,可升級的以太坊智慧合約拯救了我們。等等,什麼?我們剛剛說過,以太坊中沒有這樣的合約(不像EOS)。然而,可升級的智慧合約是可以模擬的。其思想是智慧合約地址和程式碼保持不變,程式碼將執行轉發給另一個合約,然後返回其結果。在本例中,主智慧合約稱為代理。在變數中儲存另一個合約地址之後,我們可以像更改合約狀態一樣輕鬆地更改它,而程式碼仍然是不可變的。最終可以有多個智慧合約版本;遷移是透過記錄新版本地址來進行的。儲存可升級的智慧合約狀態與任何其他軟體類似,開發人員必須在釋出新版本時解決資料遷移問題。對於代理,智慧合約應該儲存在哪裡?我們有三種完全不同的方法。
為每個版本分別儲存第一種方法意味著每個版本分別將其狀態儲存在自己的儲存中。這確保了最大程度的隔離和控制,排除了衝突,同時增加了將單獨的記錄遷移到儲存中所引起的複雜性和GAS成本。讓我們假設一個基本的代幣合約正在開發中。在這種情況下,核心資料就是平衡:mapping (address => uint256) private _balances;不能直接從新版本中balance呼叫;為了實現它,必須首先從以前的版本遷移資料。注意,遷移只能執行一次。mapping (address => uint256) private _balances;// previous version of a token smart contract
ERC20 private _previous;// flag indicates that migration of certain user balance was performedmapping (address => bool) private _migrated;function balanceOf(address owner) public view returns (uint256) {    return _migrated[owner] ? _balances[owner] : _previous.balanceOf(owner);}
function setBalance(address owner, uint256 new_balance) private {    _balances[owner] = new_balance;    if (!_migrated[owner])        _migrated[owner] = true;

}

此時還會出現其他問題:不能根據任何請求立即進行遷移,因為可能需要將資料記錄到儲存中,而且僅在檢視函式中不能使用資料記錄。因此,所有對balance的請求,即使是內部的,都必須透過balanceOf和setBalance函式來執行。

在最壞的情況下,對僅限檢視的函式的呼叫將遍歷整個代幣版本鏈,收集資料,但並不能記錄與最新版本相關的操作結果,因為它們沒有修改許可權。從最新版本之外的其他版本呼叫這些函式是可能的,但意義不大。

同時在最新的代幣程式碼版本中為當前使用者遷移資料和記錄操作結果,需要呼叫能夠更改最新版本狀態的函式。因此,對任何其他函式的進一步呼叫都不需要經過整個代幣版本鏈。僅允許代理合約呼叫更改最新版本狀態的函式。

作為資料庫的合約

可以建議另一種儲存方式。讓我們看看在傳統的程式中如何處理這個問題。資料是從程式碼中分離出來的!此外,當涉及到複雜的程式和系統時,資料儲存在SQL或NoSQL儲存中。

為此目的編寫的特殊智慧合約可以用作儲存。因此,無論當前代幣程式碼版本如何,資料都將始終儲存在此合約的儲存中。這個合約的程式碼可以移到庫中,但是現在不在日程上。不需要將資料從一個儲存遷移到另一個儲存;相反,儲存訪問許可權從一個版本轉移到另一個版本。然而,使用這種型別的儲存並非沒有問題。它將需要定義一個可用於任何版本的代幣智慧合約的介面,例如sql或WORD文件。談到這種儲存型別的示例,請檢視EOS表。

讓我們將結構、欄位名和資料型別統一到資料方案中。儲存智慧合約程式碼可以由靜態部分(無論當前資料模式如何,都不會更改的程式碼)和動態部分(依賴於模式的程式碼)組成。動態部分包含許多樣板程式碼,因此自動生成它是有意義的,因為它是在協議緩衝區或Apache Thrift中實現的。我碰巧在ETHBerlin hackathon上處理過一個類似的任務,即開發以太坊柱狀資料儲存原型。

資料項描述如下結構:

struct Cafe {
        string name;
        uint32 latitude;
        uint32 longitude;
        address owner;
    }

我們為GitHub生成一個“驅動程式”。驅動程式呼叫來自Github的靜態程式碼,例如,`CDF.writeString`,`CDF.chunkDataPosition'和其他函式。

正如我已經提到的,該解決方案涵蓋了其他問題,並作為外部儲存操作的一個示例。目前,我所知道的乙太網智慧合約儲存中沒有SQL / NoSQL儲存的工作實現。對於可變智慧合約中的資料儲存問題而言,這似乎是一個很有意思的解決方案。

狀態儲存在用作DB的合約中,並透過呼叫而不是delegatecall指令呼叫。應該保護對寫入呼叫的訪問,並且只能用於代理協議。此DB合約的公共程式碼可以移動到庫中。

委託呼叫並在代理合約中儲存資料

最後,第三個選項是在代理合約儲存中儲存資料。如果代理是獨立的智慧合約,特定的程式碼版本如何訪問資料?EVM delegatecall特性使其成為可能。它在目標地址執行程式碼,但是使用執行了一個delegatecall指令的合約的儲存。

呼叫以前合約版本的函式沒有什麼意義,因為它們只不過是“程式碼片段”,所有狀態都儲存在代理合約中。Delegatecall用於呼叫庫合約。庫程式碼很容易透過指標定位必要的資料。然而,該指令可能對代理合約構成潛在威脅。不幸的是,正式的Solidity文件幾乎沒有警告我們:“如果狀態變數是透過低階委託訪問的,那麼兩個合約的儲存佈局必須對齊,以便被呼叫的合約能夠正確地按名稱訪問呼叫合約的儲存變數。”

結論

我們研究了可升級的智慧合約開發,並研究了3種資料儲存方法。下次我們將深入探討委派任務和可能出現的問題。

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;