公链の競争が再燃し、Move系の新しい公链が頭角を現しています。

IOBCCapital
2022-08-17 20:28:34
コレクション
Moveは、ブロックチェーン資産とスマートコントラクト専用に設立された言語であり、安全性と検証性においてSolidityを大幅に上回っています。

著者:IOBC Capital

ブロックチェーンの誕生以来、業界は何度かの周期を経てきました。現在、最も豊富なエコシステムと影響力を持つイーサリアムは、性能やコストの問題で批判を受けており、周期の中で新興勢力に挑戦されています。

前回の周期では、Solana、Polygon、Fantom、Nearなどの新しいLayer1プロジェクトが登場し、基盤となるパブリックチェーンの改善と探求を試みています。

周期が新たな熊市に入る中、新たなパブリックチェーンが台頭しています。その中で最も注目されているのは、Moveプログラミング言語を採用したLibra系プロジェクト:AptosとSuiです。

2019年、当時のFacebook(現在はMetaに改名)は、世界で流通する暗号通貨Libra(後にDiemに改名)を高らかに発表しました。しかし、規制などの問題により、Libraプロジェクトは実現しませんでした。しかし、これによりチームは、革新的なWeb3プロジェクトを本当に構築するためには、伝統的な領域を完全に脱却し、暗号の領域に入る必要があることを認識しました。

AptosとSuiの開発者は、かつてLibraのコア開発者であり、Libraプロジェクトのプログラミング言語であるMove言語を継承し、これらの新しいパブリックチェーンを構築しました。

この記事では、Move言語のいくつかの特徴とこれらのパブリックチェーンの現状を簡単に紹介します。

Move言語

Move言語は、スマートコントラクトを書くのに最も適した言語とされています。多くの人がそれを現在の主流であるSolidity言語と比較し、優れていると考えています。主な理由は、Moveが誕生した当初からブロックチェーン資産に対して最適化されているからです。

資産の安全性

ほぼすべてのブロックチェーンプロジェクトには独自の暗号資産があります。資産の価値の増加はプロジェクトの発展の結果であり、またプロジェクトの発展の原動力でもあります。資産の安全性は本来、プロジェクトの発展において最も重要な事項であるべきです。しかし、暗号業界で頻繁に発生する資産の盗難や資産の喪失事件は、多くの未参入の投資家を恐れさせています。 SlowMistのデータ統計によると、2022年上半期には約100件のDeFiセキュリティ事件が発生し、損失は16.3億ドルを超え、その中でプロジェクトの欠陥と契約の脆弱性が主な原因となっています。

Moveはデジタル資産を操作するために生まれた言語です。最初にFacebookチームがMove言語を開発したのは、Diemにサービスを提供し、グローバルな金融と通貨の基盤を構築するためでした。したがって、Moveは金融基盤を構成するさまざまな資産とビジネスロジックをコーディングする能力を持っている必要があります。

Move言語では、資産とリソースが強調されています。彼らの言葉では「ファーストクラスリソース」と呼ばれています。Solidityやほとんどのプログラミング言語は、トークンや暗号資産を数値として扱い、資産の移転プロセスはアカウントの数値の加減によって実現されます。たとえば、アリスがボブに10トークンを送る場合、まずアリスの残高を-10し、次にボブの残高を+10します。このように複数の資産アカウントに対して加減を行う過程では、安全性の脆弱性が生じやすく、コードの厳密性に依存する必要があります。

しかし、Move言語では、資産はリソース(resource)タイプとして再定義され、もはや文字列や数値変数ではありません。Moveプログラミング言語は、リソースの4つの属性を抽象化しています:コピー可能(copy)、インデックス可能(key)、廃棄可能(drop)、保存可能(store)。これらの4つの属性の異なる組み合わせにより、ユーザーは任意のタイプのリソースを簡単に定義できます。
リソース優先の概念は、プログラマーが安全で効率的なコードを書くのに大いに役立ちます。SUIの開発チームのプログラミングエンジニアであるダミールが言うように、「オブジェクトのように考え始めると、ハッシュマップのようなプログラミング原語の上に構築された抽象的な思考ではなく、常に自分が何をしているのかを知ることができる。無限の表現力と明確な型の説明を持つように------過去は何だったのか、今は何なのか。」この設計により、リソースの操作がより具体的で明確に見えるようになります。

Moveはまた、いくつかのリソースの特性を定義しています:

  • アカウントにバインドされること。リソースデータはアカウントの下にバインドされる必要があるため、アカウントが割り当てられた後にのみ対応するリソース資産が存在し、リソースを取り出した後は必ず行き先が必要です。つまり、返り値として渡されてアカウントに流れるか、直接廃棄される必要があります。Moveのトークンの移動は、アカウントから別のアカウントに移転することを意味し、Solidityは加減算で、まず一方で減少させ、次に他方で増加させます。

  • 次に、資産のアクセス権限です。Solidityでは、データは契約内に集中して保存され、契約に脆弱性が発生した場合、ハッカーが契約の権限を取得すると、すべてのユーザーデータが攻撃を受けます。

    一方、Moveでは、データはそれを所有するアカウントに保存され、契約内には保存されません。Moveには多くのモジュールがあり、モジュールは資産を作成、移転、保存するプログラムであり、イーサリアムのスマートコントラクトに類似しています。Moveでは、公共モジュールの機能のみが他のモジュールからアクセス可能です。

    各リソース(オブジェクト)は、所有者のアカウントによって制御されるモジュールに保存されます。モジュールにアクセスまたは変更するには、モジュールの所有者の署名が必要であり、署名者はMove内で最高レベルの権限を持ち、リソースをアカウントに追加できる唯一の存在です。この機能により、スマートコントラクト内でデジタル資産の所有権情報と特権を維持できます。資産がスマートコントラクトに送信されても、所有権は変わりません。この場合、スマートコントラクトが攻撃者に侵害されても、資産は失われません。

アーキテクチャの安全性

MoveはSolidityのセキュリティ事件から経験と教訓を得て、Solidityの基盤の上に多くの機能を追加し、基盤の安全設計において大きな革新をもたらし、システムをより安全で信頼性の高いものにしました。

Move言語にはいくつかの特徴があります:

  • 静的呼び出し。静的呼び出しとは何でしょうか?静的呼び出しは動的呼び出しに対するものです。あるプログラムが別のプログラムを呼び出す際、実行時に呼び出される対象を特定する必要がある場合、その呼び出しは動的呼び出しと呼ばれます。逆に、プログラムが実行前に呼び出される対象を特定でき、実行時にその対象を変更できない場合、その呼び出しは静的呼び出しと呼ばれます。

    Solidityの呼び出しはすべて動的呼び出しによって実現されており、呼び出し対象を特定できないため、循環呼び出しが発生する可能性があり、大きな安全リスクをもたらします。たとえば、TheDAO攻撃やPolyNetworkのクロスチェーン攻撃は、類似の事件です。

    Move言語はこれらの教訓を受けて、静的呼び出しの設計を選択し、実行時のプログラムのクラッシュの可能性を低減しました。

  • 形式的検証。形式的検証とは、数学的手法を用いてプログラムの安全性を証明することです。Moveチームは、ユーザーのためにMove Proverツールを開発し、数学的手法を用いて契約の信頼性をテストおよび証明できます。開発者は数分でテストを実行でき、デプロイ前にコード内のエラーを発見することができます。

要するに、Moveはブロックチェーン資産とスマートコントラクトに特化して創設された言語であり、安全性と検証可能性においてSolidityを大幅に上回っています。

image

画像出典:BuilderDao Moveを基盤にしたいくつかのパブリックチェーン、例えば最も代表的なAptosとSuiも、より大きな想像の余地をもたらしています。

Move系新パブリックチェーン

Aptosは、開発の進捗、エコシステムの豊富さ、資金調達の進展から見て、現在Move系新パブリックチェーンのリーダープロジェクトです。

今年3月、Aptosは2億ドルの資金調達を完了し、a16zがリード投資家となりました。参加投資家にはTiger Global、Multicoin Capital、FTX Ventures、Coinbase Ventures、Binance Labsなどのトップ機関が含まれています。今年7月25日、Aptosはさらに1.5億ドルの資金調達を完了し、FTX VenturesとJump Cryptoがリードし、a16z、Multicoin Capital、Circle Venturesなどが参加しました。半年も経たずに、Aptosは3.5億ドルを調達しました。

Aptosは今年2月初めに設立されましたが、過去数年のLibraチームの開発成果を引き継ぎ、ブロックチェーンの安全性、高性能、スケーラビリティ、アップグレード可能性の発展を追求しています。そのコア開発者はすべて元Libraプロジェクトの開発者です。

現状

今年3月15日、Aptosは開発者テストネットを発表し、5月にはインセンティブテストネット(AIT1)を開始し、開発者とパートナーに主ネットに類似したテストプラットフォームを提供し、ネットワークの安全性を確保するために参加者にインセンティブを提供しました。 Aptosのロードマップによれば、インセンティブテストネットは4回に分かれており、それぞれ:
  -AIT1:分散型起動
  -AIT2:ステーキング
  -AIT3:ガバナンスとアップグレード
  -AIT4:動的バリデータトポロジー
Aptosインセンティブテストネット2(AIT2)は7月1日から始まり、7月22日まで続き、テーマはステーキングでした。225以上のコミュニティノードがAIT2に参加し、これらのノードは世界44か国、110都市に分布しています。成功した参加者には500枚のAptosトークンが付与されました。さらに、上位10%の投票ノードには追加で200枚のAptosトークンが与えられました。

Aptosインセンティブテストネット3(AIT3)は8月30日から9月9日まで、テーマはガバナンスとアップグレードです。

Aptosはブログ記事で、テストネットが20,000以上のノードに達し、毎秒1万件以上の取引を検証および同期でき、遅延はサブ秒レベルで、10万TPSを超えることを目指していると述べています。

image

ロードマップに従い、Aptosは今年9月までに主ネットを立ち上げる予定です。

安全性

より安全なMove言語を開発言語として採用するだけでなく、コンセンサスにおいても、Aptosは最適化されたビザンチンコンセンサス「Proof-Of-Stake Diem BFT」を採用し、過去3年間にわたり4回のコンセンサスのイテレーションを行い、高いトランザクションスループット、低遅延、より省エネルギーを実現しています。

AptosのBFTプロトコルは、ネットワークを安定して運営し、世界クラスの速度を維持します。Aptosは信頼システムを使用してバリデーターのローテーションを更新し、「ペースメーカー」を使用して投票を同期します。このシステムは、1秒未満の時間でトランザクションを完全に検証します(通常「最終確定時間」と呼ばれる測定値)、これにより生産中で最も速いブロックチェーンの1つとなっています。

安全性を確保するために、Aptosは多くのバリデーターをテストに使用しています。鍵の喪失や盗難を防ぐために、Aptosにはアカウントの鍵の回復とローテーションプロトコルが設定されており、具体的にはAptosは任意のアカウントがその秘密鍵をローテーションできることをサポートし、バリデーターは定期的にコンセンサス鍵をローテーションできます。鍵の喪失を防ぐために、Aptosはブロックチェーンアカウントモデルに直接統合できる鍵の回復新技術を開発中です。

スケーラビリティ

AptosはLayer1ブロックチェーンが「スケーラビリティ」の責任をより多く担うべきであり、主流の採用を高めるために必要だと主張しています。スループットと最終確定速度の向上において、Aptosはコンセンサスプロトコルとトランザクション実行を完全に分離してトランザクションのブロードキャストを加速する計画です。

Aptosはまた、認証データ構造と関連する状態ストレージを最適化して性能を向上させました。帳簿の状態(たとえばアカウント残高、スマートコントラクトなど)を検証する際、小規模なメルクルツリーはメモリ内で有効ですが、大規模なメルクルツリーは永続ストレージに書き込むことができません。この問題を解決するために、Aptosはアクセスパターンを最適化したキャッシュとバージョン管理を通じて認証されたデータ構造を設計しており、Aptosは大規模アカウントのサポートも開発中です。

アップグレード可能性

ブロックチェーンの発展速度は非常に速く、新しい要求に適応するために、プロトコルのリリース後にどのように継続的にアップグレードを行うかがシステムの必需品となっています。アップグレード可能性はAptosが強調するもう一つの重点であり、起動後に重大なプロトコルの改善が難しい問題を解決するためです。したがって、Aptosはブロックのバリデーターの管理と構成をチェーン上の状態を通じて直接行い、コミュニティの投票後に迅速にアップグレードを実行できるようにしています。Aptosのこのような設計は、過去数年のテストで試練に耐え、いくつかの重大なアップグレードの際にダウンタイムが発生したことはありません。

エコシステム

AptosはAptosハッカソンを開催しました。今年6月末、Aptosは2億ドルのエコシステム資金提供プログラムを発表し、資金提供のカテゴリーは6つに分かれています。具体的には、開発者ツール、SDK、ライブラリ、ドキュメント、ガイドおよびチュートリアル;開発、ガバナンス、DeFi、NFTのためのツールとフレームワーク;コアプロトコルへの貢献:トークン標準、ライブラリ、プロトコルのアップグレードなど;オープンソースと公共製品;教育イニシアチブ;アプリケーションです。

Aptos自身の言葉によれば、Aptosエコシステムにはすでに100以上のプロジェクトがネットワーク上に構築されており、現在そのエコシステム上のアプリケーションで詳細な紹介と発展のロードマップがあるのは、Pontem Network、Econia、Fewcha Wallet、Martian Walletの4つだけで、主にウォレットとDEXアプリに焦点を当てています。

image

Sui

2021年12月、Moveパブリックチェーンで最も早くスタートしたSuiは、3600万ドルのAラウンド資金調達を発表し、資金提供者にはa16z、NFX、Scribble Ventures、Redpoint、Lightspeed、Electric Capital、Samsung NEXT、Slow Ventures、Standard Crypto、Coinbase Venturesなどが含まれています。今年7月12日、Suiは2億ドルのBラウンド資金調達を求めていることが報じられ、評価額は20億ドルに達しました。

Suiの開発チームはMysten Labsであり、彼らは自らの高性能Layer1プルーフ・オブ・ステーク(PoS)ブロックチェーンSuiを設計し、今年3月に発表しました。

Aptosと同様に、SuiもDiemの開発言語Moveを使用していますが、SuiのオブジェクトモデルはAptosとは若干異なります。現在、Suiは彼らの経済学ホワイトペーパーを発表していますが、開発の進捗は遅れています。

Move言語の使用において、Suiはアップグレードを行い、この言語が同質的な暗号資産(FT)のスマートコントラクトを記述できるだけでなく、非同質的(NFT)資産のスマートコントラクトも記述できるようにしました。

ネットワーク性能に関わるスケーラビリティの面では、Suiはトランザクションの並行処理(transaction parallelization)を主打ちしています。つまり、ネットワークは同時に複数のトランザクションを処理できるということです。ほとんどのブロックチェーンでは、ブロックチェーントランザクションは順番に行う必要があり、これらのトランザクションの間には通常何の関連性や依存関係もありません。これがトランザクション量の拡張を制限しています。しかし、Suiはトランザクションの関連データをロックし、独立した検証を実現することで、トランザクションの並行処理を完了します。

コンセンサスプロトコルの面では、Suiは従属関係のあるトランザクションにBFTビザンチンコンセンサスを使用し、独立したトランザクションにはビザンチンブロードキャストアルゴリズムを用いて並行検証を行うため、高TPSを保証しつつノード間の通信を減少させ、極めて低遅延を実現しています。

現状

今月、Suiはインセンティブテストネットを開始し、現在テストネットの登録が開放されています。Sui財団は、バリデーターが参加する各テストネットwaveに対して2000枚のSUIトークンを報酬として提供します。ロードマップによれば、テストネットは4つのwaveに分かれており、そのうちの3つのwaveはすでにテーマが決まっています:ネットワーク、ステーキング、アップグレードです。

エコシステム

現在、Suiエコシステム上で公開されているプロジェクトは8つあり、主にウォレット、チェーンゲーム、NFTです。

結論

Move言語はSolidityの経験と教訓に基づいて、多方面での革新と改善を行い、安全性が大幅に向上し、スマートコントラクトの開発により適したものとなりました。そして、Move言語に基づく新しいパブリックチェーンは、Layer1の発展にさらなる想像の余地をもたらしました。トップ投資機関が次々と参入する中、最終的にパブリックチェーンの競争で誰が勝つのかはまだ分かりません。

ChainCatcherは、広大な読者の皆様に対し、ブロックチェーンを理性的に見るよう呼びかけ、リスク意識を向上させ、各種仮想トークンの発行や投機に注意することを提唱します。当サイト内の全てのコンテンツは市場情報や関係者の見解であり、何らかの投資助言として扱われるものではありません。万が一不適切な内容が含まれていた場合は「通報」することができます。私たちは迅速に対処いたします。
チェーンキャッチャー イノベーターとともにWeb3の世界を構築する