原作者：asmp
2019年にMeta（旧Facebook）が仮想通貨プロジェクトLibraを立ち上げ、金融市場全体の注目を集めたが、その後、規制上の制約によりLibraはDiemへの転換を余儀なくされた。今年1月末、ディエムはメタ社に約1億8,200万ドルで売却された。 Meta の Libra 計画と Diem 計画は問題なく終了したように見えますが、暗号化業界に貴重な遺産を残しました。Solidity と EVM の欠点を補う Move プログラミング言語と、その派生パブリック チェーン チームです。代表的なアプトス、スイ、リネラ。
Move プログラミング言語は、最初に発表されて以来、ブロックチェーンに最適な言語として多くの開発者から賞賛されてきました。 Aptos やSui などの超新しいパブリック チェーンの最近の強力な出現により、Move 言語も広く議論され、Solidity や Rust と比較されています。この記事では、Move 言語の財務的属性、スマート コントラクトのセキュリティ、柔軟性、構成可能性、さらに Move 言語と Solidity および Rust との関係と比較について説明し、Move 言語上に構築された新しいパブリック チェーンを追跡します。言語を移動し、進歩します。
1. Moveの2つのメリット
現在、最も主流のスマートコントラクト言語はSolidityですが、それに比べてMoveの最大の特徴はセキュリティであり、言語、仮想マシン、契約呼び出し、契約操作の面からスマートコントラクトの総合的なセキュリティを保証します。一方、Move はより優れたソリューションも提供します。 Moveの最大のメリットを2つ紹介します。
1. スマートコントラクトのセキュリティを徹底的に確保する
SlowMist の以前のレポートによると、2021 年のブロックチェーンのセキュリティ インシデントにより、98 億ドル以上の損失が発生すると予想されています。新興プログラミング言語として、Move 言語はセキュリティの面でもさまざまなレベルで画期的な進歩と革新をもたらしました。
First-class Resources の本当の意味が「デジタル資産は第一級市民である」であるように、Move はデジタル資産を操作するためのスマート コントラクト言語です。
他の言語と比較して、Move はトークン資産をよりネイティブに、そして下部で処理します。 Move 言語では、特にアセットを他のデータとは区別されるリソースの一種として定義します。ブロックチェーンのコンテキストでは、トークンは一種のリソースです。同時に、リソース データはアカウントの下に保存される必要があります。トランザクション中、資産は 1 つの場所に流れるか、別のアドレスに転送されるか、破棄される必要があります。トークンは可能です。コピーしたり「二重使用」したりすることはできません。
画像の説明
移動コードの例
最初にバイトを検証してから、コントラクトを実行します
実行可能なバイトコード言語としてコンパイラを使用する Solidity とは異なり、Move には安全アルゴリズムとバイトコード ベリファイア (バイトコード ベリファイア) が組み込まれており、多くの一般的なエラーを防ぐことができます。 Move コントラクト コードを実行するには、まず検証する必要があります。これにより、コントラクトはコンパイラの潜在的なエラーや攻撃の可能性から免れます。
Move は当初から規範の文化を確立することに注力しており、各 Move モジュールには標準ライブラリがあります。 Move 開発チームは当初、契約検証用の特別な検証ツールである Move Prover を開発しました。ベリファイアは大幅に高速化され、開発者は数分でテストを実行できるようになり、コードを迅速に反復できるようになりました。
2016年にイーサリアムのハードフォークを引き起こしたDAO事件は、ハッカーがスマートコントラクトにおける古典的な攻撃である再入（Re-Entrance）攻撃の脆弱性を悪用したことが原因でした。リソース モデルとバイト検証を使用すると、この攻撃は発生できません。
画像の説明
Solidity などの言語では、スマート コントラクトのセキュリティはスマート コントラクト仮想マシン間の分離に依存します。
画像の説明
Move は、プログラミング言語内のセキュリティを通じてスマート コントラクトの状態を分離します。
静的コールによりコントラクトコールの脆弱性が軽減されます
コントラクトの呼び出し方法は、静的呼び出しと動的呼び出しに分類できます。プログラム呼び出しのターゲットを実行時に決定する必要がある場合、その呼び出しは動的呼び出しと呼ばれます。逆に、呼び出されるターゲットは実行前に決定でき、実行時にターゲットを変更できない場合、その呼び出しは静的呼び出しと呼ばれます。電話をかけます。
動的呼び出しにより、多くの関数、プロシージャ、またはサブルーチンをプログラム内に記述することができ、これは柔軟な言語メカニズムです。しかし、柔軟性は、問題が発生する可能性が高いことも意味します。動的呼び出しは、プログラムの推論に役立たず、形式的な検証 (形式検証) にも役立ちません。また、セキュリティ上の問題を引き起こす可能性も高くなります。たとえば、悪意のあるユーザーが悪意のあるファイルを作成するなど、周期的な通話による契約により、複数の当事者に損失が発生します。
Move 言語は静的呼び出しを使用し、すべてのコントラクト実行パスはコンパイル時に決定され、完全に分析および検証できます。開発者は実行時段階ではなくコントラクトのコンパイル段階で問題を明らかにし、実行時のダウンタイムの可能性を減らします。 Ethereum EVM プラットフォームと比較して、Move モジュール システムは周期的呼び出しをサポートしていないため、コントラクト再入力の脆弱性は完全に解決されます。
2. モジュールベースの構成可能性: より高い効率とより高い柔軟性
スマート コントラクトの構成可能性は、プログラミング言語エコシステムを構築するためのもう 1 つの重要な機能です。 Solidity などの言語エコロジーにおけるスマート コントラクトの組み合わせは、基本的にメッセージ パッシングによるインターフェイスの組み合わせに基づいています。 Move では、モジュールの組み合わせに基づいて、リソースの転送を通じて相互作用します。
Ethereum では、新しい動作を拡張したり、実装を最適化したりする場合、以前のインターフェースを再定義する必要があり、これは古いメソッドにも影響します。
Move では、契約の組み合わせはモジュールをアップグレードして最適化するだけでよく、このモジュールを使用した他のすべての契約は自動的に最新バージョンを使用します。 Move のモジュールは、イーサリアムの契約のように機能しますが、オブジェクト指向プログラミングを使用する銀行に似ています。モジュールとは、スマートコントラクトに統一された互換性のある空間を提供することに相当し、スマートコントラクトはレゴ玩具のさまざまなパーツのようなもので、任意の組み合わせによって新しい製品を生み出すことができます。
3NJOY Labの創設者であるFlex氏の説明によると、自動車工場の建設を例に挙げると、Solidityのアプローチは、この工場の生産基準とプロセスを定義し、工場を作り、そこから車を作ることができるというものです。ムーヴのやり方は、工場が一つしかなく、車を作りたい人はその工場を使って誰もが認める車を作るというものです。
モジュールを組み合わせて移行すると、コントラクトが占有するブロック スペースが節約される一方で、アップグレードが容易になります。同時に、モジュール システムは線形ロジックに従うため、デジタル資産の概念を非常にうまくパッケージ化してカプセル化し、リソースとリソース関連の動作の定義を非常に明確に分割できます。このリソース指向プログラミングによってもたらされる表現力と拡張性は他の言語によってもたらされません。
2. MoveとSolidity、Rustの関係と比較
2014 年にリリースされた Solidity と比較すると、Move はブロックチェーン開発の分野ではまだ非常に若い開発言語であり、十分に安全でエラー報告が容易ではないブロックチェーン開発であることを証明するにはさらに時間が必要です。テクノロジーのオプション。
Move と Solidity の主な違い
1. 財務的属性の観点から、Move は資産を一種のリソースとして捉え、ブロックチェーンのコアとなるトークン資産に対して、より独自で低レベルの処理を実行します。
2. 契約の柔軟性の点で、Move は 1 回限りの指示を作成できます。
Move 言語のモジュールは Ethereum スマート コントラクトに似ていますが、まったく同じではありません。たとえば、Move に基づいて作成された Libra では、モジュールにはコードが含まれていますが、データはリソースにあります。目標指向の観点から見ると、Solidity ベースの Ethereum スマート コントラクトは、単一のアカウント アドレスで公開されるシングルトン オブジェクトのようなものです。 Move 環境では、単一のモジュールがリソース作成のレシピとして機能しますが、任意の単一モジュールを使用して、異なるアカウント アドレスで公開できる任意の数のリソースを作成できます。これは、Move のモジュールの柔軟性も反映しています。
3. セキュリティの観点から、Move VM は仮想マシンの分離ではなく言語レベルの分離を採用しています。
画像の説明
Move の Module プロパティ
4. パフォーマンスの点では、Move はインタープリタ型言語であるため、動作中にコードの各行を個別に評価する必要があります。
Move コードはオンザフライで評価する必要があるため、Move のパフォーマンスは Solidity や他のコンパイル言語ほど良くない可能性があります。ただし、これは Solidity の一般的なバグも回避するものであり、セキュリティ上の理由からの妥協戦略です。現時点では、完全に Move に基づいて構築されたブロックチェーン エコシステムはまだ非常に限られており、当面は Move で作成されたスマート コントラクトを他の既存のブロックチェーンに移植することはできません。それにもかかわらず、開発者は、ほとんどのアプリケーションを EVM で実行し、対応する必要な変更を Move で行うことで、レガシー プログラムを置き換えることができます。
MoveとRustの関係
さらに、Move と Solidity を比較する場合、Move に非常に近い Rust についても言及する必要があります。より正確に言うと、Move は Rust をベースにした新しい言語ですが、Rust とは異なります。 RustはSolidityよりも早い2011年にリリースされ、セキュリティ問題が多いSolidityとは異なり、セキュリティとパフォーマンスの両方を考慮して誕生し、コード構文の観点からは従来のプログラミング言語であるC++に近いため、効率的な実行パフォーマンスを備えながら、メモリのセキュリティも確保します。 Rust は、Solana エコシステム開発者にとって必須の言語です。開発プロセス中、Rust 環境のバグはプログラムのアセンブル時に発見され、除去されます。これは、Move で開発する場合、動作中にコードを 1 行ずつ評価してバグを回避するのと同様です。さらに、Move のモジュールとリソースは、Rust 環境の組み込み依存関係マネージャー Cargo にも似ています。 Move と Rust の密接な関係により、Solana エコシステムで Rust 言語の使用に習熟した多くの開発者が、Aptos や Sui などの Move ベースの新興ブロックチェーン エコシステムに移行し始めています。
3. MOVEエコロジーによる新たなパブリックチェーン構築
Aptos、Sui、Linera、Starcoin、その他のパブリック チェーンが Move エコシステムに導入されており、それらはすべて Move 言語に基づいて独自の拡張を行っています。この章ではAptos、Sui、Starcoinについて紹介します。
Aptos
プロジェクトの説明
Aptos は今年 2 月初旬に開始されました。チームの開発者には Diem の創設チームメンバーとコア開発者が含まれています。Aptos に対するチームのビジョンは Diem のビジョンと非常に関連しています。Aptos の開発はある程度継続しています。ディエムの開発について。 Aptos は、レイヤー 1 でのトランザクションの並列実行とハイパフォーマンスに焦点を当てており、分散化、セキュリティ、ハイパフォーマンスという「不可能な三角形」を 1 つのチェーンを使用して解決しようとしています。現在、ネットワークは 1 秒あたり 10,000 件以上のトランザクションを処理できますが、理想的には、Aptos のメイン ネットワークは 1 秒あたり 160,000 件のトランザクションを処理できます。 Aptos はこれまでに 3 億 5,000 万米ドルの投資を受けており、現在 Move パブリック チェーンの中で最も急速に成長しています。
Aptos で言語を移動する
開発の進捗状況
開発の進捗状況
アプトスは今年3月に開発者テストネットを立ち上げ、5月にインセンティブテストネットの登録を開始し、インセンティブテストネットを「分散型起動」、「ステーキング」、「ガバナンスとアップグレード」、「動的検証」の4つのラウンドに分けた。デバイストポロジ」。現在、そのテスト ネットワークは 20,000 ノード以上に達しており、今日知られている最大のプルーフ オブ ステーク ノード コミュニティとなっています。
Aptos インセンティブ テスト ネットワーク アクティビティの第 3 ラウンド AIT-3 は 8 月 30 日に正式に開始され、テストは 9 月 9 日に終了します。Aptos メイン ネットワークはこの秋に開始される予定です。
生態系の発展
今年 6 月末、Aptos は 2 億ドルのエコシステム資金プログラムを開始し、Aptos 上に構築する 100 以上のプロジェクトを集めました。エコロジカル レイアウトの観点から、Aptos は依然としてインフラストラクチャの構築に重点を置いています。展開シナリオは主にウォレット、DEX、融資契約などの製品です。注目に値するものには、超並列 CLOB プロトコル Econia、モバイル マルチシグネチャ ウォレット ハイブ、統合アプリケーション: 暗号化ウォレット Martian、融資契約 NjordFinance、トランザクション アグリゲーター Hippo Labs、AMM トランザクション アプリケーション Pontem Network など。
Sui
プロジェクトの説明
元 Meta エンジニアによって設立された Mysten Labs によって設立されたSui は、Move に UTXO のようなプログラミング モデルを実装する試みとして不変状態を導入しました。 Sui は高 TPS と低遅延に重点を置き、TPS の上限を設定せず、優れた拡張機能を備え、ユーザーのトランザクション コストを削減します。今年3月のテストでは、SuiのTPSは12万に達した。スイは、20億ドルの評価額で少なくとも2億ドルのシリーズBラウンドをクローズしようとしている。
プロジェクトの特徴
オンチェーン ストレージとそのスケーラビリティ。 Sui Move にはグローバル ストレージはありません。ストレージは Move ストレージではなく、Sui ストレージ内でのみ発生します。 Sui のストレージは低コストで水平方向に拡張可能なため、開発者は豊富なプロパティを備えた複雑な資産を定義できます。
高性能と高い拡張性:Sui はアプリケーションの要求に合わせてスケールアウトします。 Mysten Labs によると、Sui 当局 (ノード) は理論的には、ネットワーク スループットを効果的に無限に拡張して、ビルダーやクリエイターのニーズを満たすことができます。 2022 年 3 月 19 日の時点で、8 コア M1 Macbook Pro 上で実行されている最適化されていないシングルワーカーの Sui オーソリティは、1 秒あたり 120,000 のトークン転送トランザクション (TPS) を実行および送信できます。
開発フレンドリー: Mysten Labs は、開発者がスマート コントラクトのデバッグ、レビューの待機、または基本的なテクノロジー スタック要素の構築に費やす時間を短縮できるオープンソース ツールキットである、Sui Developer Kit もリリースします。 Sui 開発者キットの 3 つの構成要素には、ゲーム SDK、ブートストラップ コミュニティ SDK、およびハンドシェイク SDK が含まれます。
スイで言語を移動する
開発の進捗状況
開発の進捗状況
Sui は 5 月に Devnet 上で開始され、開発者が Sui ネットワークを使用できるようになり、7 月の時点で 5,000 ノード以上が Devnet 上で実行されています。
今月、Sui はインセンティブ付きテストネットを開始する予定で、インセンティブ付きテストネットへの登録はすでに開始されています。テスト ネットワークは、ネットワーク、プレッジ、アップグレードなどのさまざまな段階に分かれています。
生態学的進歩
現在、ウォレット、NFT、ブロックチェーンゲーム、メタバースなどをカバーする8つのプロジェクトが公開されています。現在のプロジェクトのレイアウトとSuiがゲームに提供するソリューションから判断すると、NFTとチェーンゲームはその生態系のより特徴的な分野になることが予想されます。
Starcoin
プロジェクトの説明
開発の進捗状況
開発の進捗状況
スターコインのメインネットワークは2021年5月に開始され、スターコインのメインネットワークは1年以上安定して稼働しています。 Starcoin Layer 2は、今年9月にテストネットワークを提供する予定です。
生態系の発展
スターコインのエコロジーには、ウォレット、CEX、DEX、マイニングプール、安定通貨、NFT、チェーンゲームなどを含む 7 つのカテゴリがあり、主に STC マイニングと取引を中心に展開します。
トークン
STC は Starcoin のネイティブ トークンであり、総発行量は 3,185,136,000 STC であり、合計は一定です。主な用途は、1. トランザクションのガス料金の支払い 2. 州スペース料金の支払い 3. オンチェーンガバナンス投票に使用されます。
エピローグ
エピローグ
全体として、Move の金融指向のスマート コントラクト フレームワークは、分散型金融アプリケーションの展開に自然に適合します。スマートコントラクトのセキュリティ、構成可能性、柔軟性の点での Move 言語の革新は、エコロジー開発と DeFi や NFT などの分散型資産のセキュリティに対する多面的なサポートと保証を提供します。
元のリンク
