Aleo ブロックチェーンプライバシー保護プロジェクトとは何ですか? Aleo の最新の包括的な解釈

Aleo ブロックチェーン プライバシー プロジェクトとは何ですか?アレオの最新徹底解釈！ Aleo はプライバシー保護に重点を置いたブロックチェーン プロジェクトであり、ゼロ知識証明技術 (ZKP) を通じてより高いプライバシーとスケーラビリティを実現します。 Aleo の中心的なアイデアは、ユーザーが個人データを明らかにすることなく認証およびデータ処理できるようにすることです。では、Aleo ブロックチェーンプライバシー保護プロジェクトとは何でしょうか? Aleo ブロックチェーンプライバシー保護プロジェクトの特徴は何ですか? Aleo ブロックチェーンプライバシー保護プロジェクトの現在の進捗状況は何ですか?

今日は、このウェブサイトの編集者がAleoのプロジェクト概要と最新の進捗状況を紹介し、市場が非常に懸念しているパズルアルゴリズムのアップデートについて詳しく説明しました。必要な友達は一緒に見てみましょう！

最新アルゴリズムのプレビュー

Aleo ネットワークは、1 時間ごとに ZK 回路をランダムに生成します。マイナーは、この時間中に回路の入力として異なる nonce を試し、証人 (つまり、この計算は合成とも呼ばれます） 証人のマークルルートを取得した後、それがマイニング難易度の要件を満たしているかどうかが判断されます。回路のランダム性により、このマイニング アルゴリズムは GPU に適したものではなく、計算の高速化が非常に困難です。

資金調達の背景

Aleoは、2021年にa16z主導による2,800万米ドルのシリーズA資金調達を完了し、2024年に2億米ドルのシリーズB資金調達を完了しました。投資家には、Kora Management、SoftBank Vision Fund 2、Tiger Global、Sea Capital、Slow Venturesが含まれますサムスンネクストなど。この資金調達ラウンドでは、Aleo の価値は 14 億 5,000 万ドルと評価されています。

プロジェクト概要

プライバシー

Aleo の中核は、プライバシーを維持しながらトランザクションとスマート コントラクトの実行を可能にするゼロ知識証明 (ZKP) テクノロジーです。送信者や取引金額などのユーザーの取引詳細は、デフォルトでは非表示になります。この設計はユーザーのプライバシーを保護するだけでなく、必要に応じて選択的な開示も可能にするため、DeFi アプリケーションの開発に非常に適しています。その主なコンポーネントには以下が含まれます:

• Leo コンパイル言語: Rust 言語から適応され、ゼロ知識アプリケーション (ZKApps) の開発に特別に使用され、開発者の暗号化知識の要件を軽減します。
• snarkVM と snarkOS: snarkVM を使用すると、オフチェーンで計算を実行し、計算結果のみをオンチェーンで検証できるため、効率が向上します。 snarkOS はデータと計算のセキュリティを確保し、権限のない関数の実行を許可します。
• zkCloud: 安全でプライベートなオフチェーン コンピューティング環境を提供し、ユーザー、組織、DAO 間のプログラムによる対話をサポートします。

Aleo は、開発者がアプリケーションを迅速に作成して公開できるようにするための統合開発環境 (IDE) とソフトウェア開発キット (SDK) も提供します。さらに、開発者はサードパーティに依存せずに、Aleo のプログラム レジストリにアプリケーションをデプロイできるため、プラットフォームを削減できます。リスク。

スケーラビリティ

Aleoはオフチェーン処理方式を採用しており、トランザクションはまずユーザーのデバイス上で計算されて証明され、その後検証結果のみがブロックチェーンにアップロードされます。このアプローチにより、トランザクション処理速度とシステムの拡張性が大幅に向上し、イーサリアムのようなネットワークの混雑と高額な手数料が回避されます。

コンセンサスメカニズム

Aleo は、検証者の即時ファイナリティと証明者の計算能力を組み合わせたハイブリッド アーキテクチャのコンセンサス メカニズムである AleoBFT を導入します。 AleoBFT は、ネットワークの分散化を強化するだけでなく、パフォーマンスとセキュリティも強化します。

• 高速ブロックファイナリティ: AleoBFT は、各ブロックが生成直後に確認されることを保証し、ノードの安定性とユーザーエクスペリエンスを向上させます。
• 分散型保証: ブロックの生成をコインベースの生成から分離することで、検証者がブロックの生成を担当し、証明者が証明計算を実行して、少数のエンティティがネットワークを独占するのを防ぎます。
• インセンティブメカニズム: 検証者と認証者はブロック報酬を共有します。認証者はトークンをステーキングすることで検証者になることが奨励され、それによってネットワークの分散化とコンピューティング能力が向上します。

Aleo を使用すると、開発者はガス制限のないアプリケーションを作成できるため、機械学習などの長時間実行されるアプリケーションに特に適しています。

現在の進捗状況

Aleo は 7 月 1 日にインセンティブ付きテストネットを開始します。以下は重要な最新情報です:

• ARC-100 投票: ARC-100 (コンプライアンスの側面、Aleo ネットワーク上の資金のロックや支払い遅延などのセキュリティ対策を含む「Aleo 開発者およびオペレーターのためのコンプライアンスのベスト プラクティス」提案) は終了し、可決されました。チームは最終調整を行っている。
• 検証者インセンティブ プログラム: このプログラムは、新しいパズルのメカニズムを検証するために 7 月 1 日に開始されます。このプログラムは7月15日まで実施され、期間中に報酬として100万Aleoポイントが配布される。ノードによって生成されるポイントの割合によって報酬のシェアが決まり、各バリデーターが報酬を受け取るには少なくとも 100 トークンを獲得する必要があります。具体的な詳細はまだ決まっていない。
• 初期供給と循環供給: 初期供給は15億トークン、初期循環供給は約10%です(まだ最終決定されていません)。トークンは主に Coinbase のミッション (7,500 万) から得られ、最初の 6 か月にわたって配布され、ステーキング、バリデーターの実行、ノードの検証に対する報酬が含まれます。
• テストネット ベータ リセット: これは最後のネットワーク リセットです。完了しても新しい機能は追加されず、ネットワークはメインネットと同様になります。リセットすると、ARC-41 と新しいパズル機能が追加されます。
• コードの凍結: コードの凍結は 1 週間前に完了しました。
• 検証ノードの拡張計画: 検証ノードの初期数は 15 ですが、年内に 50 に増加し、最終的には 500 に達することが目標です。委任者になるには 10,000 トークン、バリデーターになるには 1000 万トークンが必要ですが、これらの量は時間の経過とともに徐々に減少します。

アルゴリズムアップデートの解釈

最近、最新のテストネットワークニュースを発表しながら、Aleoはパズルアルゴリズムの最新バージョンをアップデートしました。新しいアルゴリズムはzk証明結果の生成に焦点を当てなくなり、MSMを削除しました。計算モジュールは、zk でプルーフを生成するために広範囲に使用されています。以前は、テストネットの参加者は計算を使用してアルゴリズムの効率を最適化し、マイニング収益を増加させ、プルーフを生成する前に中間データ証人の生成に焦点を当てていました。公式パズルの仕様とコードを参照した上で、最新のアルゴリズムを簡単に紹介します。

コンセンサスプロセス

コンセンサスプロトコルレベルでは、プロセス内の証明者と検証者はそれぞれ、計算結果ソリューションの生成と、ブロックの生成とパッケージ化されたソリューションの集約を担当します。プロセスは次のとおりです:

• 証明者はパズルを計算して解決策を構築し、ネットワークにブロードキャストします
• 検証者はトランザクションと解決策を次の新しいブロックに集約し、解決策の数がコンセンサス制限 (MAX_SOLUTIONS) を超えないことを確認します
• ソリューションの合法性を検証する必要があります。epoch_hash はバリデーターによって維持されるlatest_epoch_hashに準拠し、その計算されたproof_targetはネットワーク内のバリデーターによって維持されるlatest_proof_targetに準拠します。同時に、ブロックに含まれるソリューションの数も一致します。コンセンサス制限未満です
• 効果的なソリューションはコンセンサス報酬を獲得できます

合成パズル

最新バージョン アルゴリズムの核心は、R1CS を構築することによって各エポックに共通のエポックプログラムを生成することです。入力と EpochProgram の証明回路、対応する R1CS 割り当て (つまり、全員が言及した証人) が生成され、マークル ツリーのリーフ ノードとして使用されます。すべてのリーフ ノードを計算した後、マークル ルートが生成され、変換されます。ソリューションのproof_target。合成パズルを構築するための詳細なプロセスと仕様は次のとおりです:

1. 各パズルの計算は nonce と呼ばれ、マイニング報酬を受け取るアドレス、epoch_hash、および乱数カウンターから構築されます。新しいソリューションでは、新しい nonce を取得するためにカウンターを更新します

2。各エポックで、ネットワーク内のすべての証明者が計算する必要があるエポックプログラムは、によって生成された乱数によって命令セットからサンプリングされます。現在の epoch_hash サンプリング ロジックは次のとおりです:

• 命令セットには 1 つ以上の計算演算が含まれます。各命令には、サンプリング中に現在の epoch_hash に基づいて生成されます。重み付けは、命令セットから乱数に基づいて結合され、命令を順番に配置します。
• すべての命令を EpochProgram に合成します
• 3。 EpochProgram の入力を生成するための乱数シード

4. EpochProgram に対応する R1CS と入力を集約し、証人 (R1CS 割り当て) を計算します

5 すべての証人を計算した後、これらの証人はリーフ ノード シーケンスに変換されます。マークル ツリーは、深さ 8

6 の 8 要素の K-ary マークル ツリーです。マークル ルートを計算し、それを解のproof_target に変換し、それが のlatest_proof_target を満たすかどうかを判断します。現在のエポックが満たされている場合、計算は成功です。上記の入力を構築するために必要な報酬アドレス、epoch_hash、およびカウンターを送信します。同じエポックで、EpochProgram の入力を更新できます。複数の解計算を実行するための反復カウンター

マイニングの変更と影響

このアップデート後、パズルは証明の生成から証人の生成に変更されました。各エポックのすべての解の計算ロジックは同じですが、異なるエポックの計算ロジックはまったく異なります。

以前のテスト ネットワークから、多くの最適化手法は、マイニング効率を向上させるために、プルーフ生成段階で GPU を使用して MSM と NTT の計算を最適化することに重点を置いていることがわかります。プロセスはエポックごとに変化するプログラムを実行することによって生成され、その中の命令は逐次実行に依存するため、並列化を実現するのは大きな課題です。

以上がAleo ブロックチェーンプライバシー保護プロジェクトとは何ですか? Aleo の最新の包括的な解釈の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。