スマートコントラクトプログラミング言語は、歴史的にデジタル資産の定義と管理に焦点を当ててきた。例えば、イーサリアムのERC-20標準は、デジタル通貨トークンと相互作用するための一連のスタンダードを開拓し、ブロックチェーン上でデジタル通貨を作成・管理するための設計図を確立した。その後、ERC-721標準の導入は大きな進化を遂げ、唯一無二で不可分な資産を表す非代替性トークン（NFT）の概念を普及させた。これらのスタンダードは、今日の複雑なデジタル資産の基礎を築いた。

しかし、イーサリアムのプログラミングモデルは、資産のネイティブな表現に欠けていた。つまり、外から見るとスマートコントラクトは資産のように振る舞うものの、言語自体には資産を本質的に表現する方法がなかった。当初からMoveは、資産のための一流の抽象化を提供することを目指しており、資産について考え、プログラミングするための新しい道を開きました。

資産にとってどの特性が不可欠かを強調することが重要である：

• 所有権：すべての資産には所有者が存在し、物理世界における所有権の概念をそのまま反映している。例えば、自動車を所有するように、デジタル資産も所有することができる。Moveは、資産が移動された際、前の所有者がその資産に対する完全なコントロールを失うように所有権を強制する。このメカニズムにより、明確かつ安全な所有権の変更が保証される。
• 複製不可能性：現実世界では、ユニークなアイテムを簡単に複製することはできない。Moveはこの原則をデジタル資産にも適用し、プログラム内でそれらが勝手に複製されないようにしている。この特性は、デジタル資産の希少性とユニークさを維持するために重要であり、物理資産の本質的な価値を反映している。
• 廃棄不可能性：現実世界で家や車をうっかりして跡形もなく失ってしまうことがないように、Moveはプログラム内で資産が廃棄されたり失われたりしないようにしている。代わりに、資産は明示的に移転または破壊されなければならない。この特性により、デジタル資産を意図的に扱うことが保証され、偶発的な紛失を防ぎ、資産管理における責任が確保される。

Moveはこれらの特性をそのデザインの中に封入することに成功し、デジタル資産にとって理想的な言語となった。

要約

• Moveは、デジタル資産のための一流の抽象化を提供するように設計されており、開発者が資産をネイティブに作成・管理できるようにしている。
• デジタル資産の本質的な特性には、所有権、複製不可能性、廃棄不可能性が含まれ、Moveはその設計においてこれを強化している。
• Moveの資産モデルは現実世界の資産管理を反映し、安全かつ責任ある資産の所有と移転を保証する。

もっと読む

• Move: A Language With Programmable Resources (pdf) : Sam Blackshear, Evan Cheng, David L. Dill, Victor Gao, Ben Maurer, Todd Nowacki, Alistair Pott, Shaz Qadeer, Rain, Dario Russi, Stephane Sezer, Tim Zakian, Runtian Zhou*