Skip to main content

Move——數位資產語言 (Move - Language for Digital Assets)

智慧合約程式設計語言在歷史上一直著重於定義及管理數位資產。例如，Ethereum 的 ERC-20 標準率先制定了一組與數位貨幣代幣互動的標準，建立了在區塊鏈上建立及管理數位貨幣的藍圖。隨後，ERC-721 標準的推出標誌著重大演進，普及了非同質化代幣（NFT）的概念，亦即代表獨特且不可分割資產的代幣。這些標準為我們今日所見的複雜數位資產奠定了基礎。

然而，Ethereum 的程式設計模型缺乏資產的原生表示法。從外部來看，ERC-20 代幣的行為如同資產；但在合約內部，它僅以帳本中的項目存在——亦即地址到餘額的對應關係——而語言中沒有任何一個值 就是 該資產。Move 從一開始便致力於為資產提供一級抽象，開闢思考及程式設計資產的新途徑。

務必突顯資產不可或缺的特性：

  • 所有權：每項資產皆與一名擁有者相關聯，如同實體世界中直觀的所有權概念：正如你擁有一輛車，你也可以擁有數位資產。Move 以這樣的方式強制實施所有權：一旦資產被 移動，原擁有者便完全失去對它的任何控制權。此機制確保所有權明確且安全地變更。

  • 不可複製：在真實世界中，獨特物品無法毫不費力地複製。Move 將此原則套用至數位資產，確保它們無法在程式中任意複製。此特性對於維持數位資產的稀缺性及獨特性至關重要，並反映實體資產的內在價值。

  • 不可丟棄：如同你無法在不留痕跡的情況下意外遺失房屋或汽車，Move 確保任何資產都不會在程式中遭到丟棄或遺失。資產必須明確地轉移或銷毀。此特性確保數位資產受到審慎處理，防止意外遺失，並確保資產管理的可追責性。

你已經將這三項特性都視為語言功能接觸過了。所有權由移動語意強制實施：以值傳遞一個值會將其 移動，而先前的作用域會失去存取權。能力系統則控制另外兩項特性：沒有 copy 能力的結構無法複製，沒有 drop 能力的結構無法丟棄。在 Move 基礎章節中看似一組限制的內容，實際上正是建模資產所需的完整工具組：同時不具備 copy 及 drop 的型別，每次建立時都 必須 明確處理——儲存、轉移或銷毀。

總結 (Summary)​

  • Move 的設計目標是為數位資產提供一級抽象，讓開發者能以原生方式建立及管理資產。
  • 數位資產的必要特性包括所有權、不可複製性及不可丟棄性，Move 會透過其設計強制實施這些特性。
  • 這些特性直接對應到你已經熟悉的語言功能：移動語意，以及 copy 和 drop 能力。
  • Move 的資產模型反映真實世界的資產管理，確保安全且可追責的資產所有權及轉移。

延伸閱讀 (Further Reading)​