MOVE語言首個GAS機制設計：鏈上GAS消耗計算詳解

10月14日，一項重要的區塊鏈技術突破被公布。這是MOVE語言首次設計GAS機制,被官方稱爲"一場冒險"。該機制定義了執行和存儲鏈上交易所需的計算和存儲資源量的抽象計算方法,用於計算執行交易期間的GAS消耗。

設計流程

爲了有效執行,設計團隊遵循了以下流程:

1. 確定設計原則
2. 制定評估框架,確定每項操作的價格
3. 爲MOVE建立GAS計量系統和安全GAS代數
4. 將上遊GAS框架導入鏈上
5. 使GAS框架具有存儲意識
6. 進一步優化GAS方案

設計原則

主要原則包括:

1. 操作成本與網路可用資源直接相關,並隨技術進步而降低
2. GAS由鏈上治理設置,可靈活配置
3. GAS可防止DoS攻擊,可根據網路情況快速調整
4. GAS價格體現加速增長和保持區塊鏈可及性的願景
5. 鼓勵在設計中做出優秀選擇,如注重安全性、模塊化等

GAS計算方法

用戶提交交易時需指定兩個數量:

• 最大GAS數量:用戶願意支付的最大GAS單位數
• GAS單價:以每單位GAS的八進制計算,1八進制=0.00000001 APT

交易執行過程中將收取:

1. 固定成本
2. 執行成本
3. 讀取成本
4. 寫入成本

最終交易費用 = 消耗的GAS總量 * GAS單價

例如,一筆交易消耗670個GAS單位,用戶指定的GAS單價爲100 Octa/單位,則最終費用爲670 * 100 = 67000 Octa = 0.00067 APT。

如果交易執行耗盡GAS,發送方將按最大GAS數量收費,且交易所有更改將被撤銷。

GAS計劃表構建

1. 基本配置

GAS計劃包含一些與單個操作無關的組成部分,如交易大小和最大GAS單位。

2. 交易規模

大多數交易規模在千字節級別,但發布MOVE模塊可達數千字節。目前交易規模上限設爲64KB,在規模和可訪問性間取得平衡。

3. 最大GAS單位

定義單筆交易可執行的最大操作量,設爲1,000,000。即使最大框架升級也僅使用不到90%。

4. 執行成本評估

通過基準框架和Valgrind分析工具,估算所有MOVE指令和原生函數的相對成本。考慮系統穩健性和安全性,得出最終執行指令數。

5. 存儲成本

考慮存儲設備帶寬、IOPS容量和永久佔用成本,設計存儲GAS計劃。基本公式爲:

存儲GAS費 = 項目費 + (字節費 * 字節數)

讀取、創建和寫入操作

• 讀取:根據磁盤IOPS和帶寬容量校準
• 創建:成本最高,根據參考磁盤空間校準
• 寫入:對更新項字節收取與創建相同費用

定義了6個GAS參數構成總費用:

• per_item_read
• per_byte_read
• per_item_create
• per_byte_create
• per_item_write
• per_byte_write

穩定的GAS單位成本

固定GAS單位成本有助於保持GAS計劃穩定。團隊以約3位數精度表示GAS單位,如轉帳交易成本約700個GAS單位。

社區參與

作爲社區項目,成員可以:

1. 指出GAS計劃不合理之處
2. 參與社區討論
3. 就相關治理提案投票

GAS成本調整

GAS計劃作爲鏈上配置存儲,可通過治理提案更改。設計爲可擴展,允許升級。復雜變更需更新節點軟件並獲大量採用,最後通過治理提案批準。

未來工作

作爲MOVE首個可行GAS框架,未來工作包括:

1. 降低執行成本
2. 實現多維GAS計算
3. 緩解狀態膨脹問題

團隊正探索每個項目TTL概念,在TTL到期時刪除未訪問的狀態項目。