This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
AleoがWeb3プライバシー革命をリード:zk-SNARKs技術が新たな可能性を切り開く
Aleo:Web3プライバシー革命をリードする新人
Aleoはプライバシー保護に特化したブロックチェーンプロジェクトで、ゼロ知識証明技術(ZKP)を通じて高いプライバシーとスケーラビリティを実現します。その核心理念は、ユーザーが個人データを漏らさずにアイデンティティの確認とデータ処理を行えるようにすることです。
プロジェクト概要
プライバシー性
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投票通過:コンプライアンスに関するもので、Aleoネットワーク上の資金のロックと遅延入金などのセキュリティ対策に関する提案が承認されました。チームは最終調整を行っています。
バリデーターインセンティブプログラム:このプログラムは7月1日に開始され、新しいパズルメカニズムの検証を目的としています。プログラムは7月15日まで実施され、その期間中に100万Aleoポイントが報酬として配分されます。
初期供給と流通供給:初期供給量は15億トークンで、初期流通供給量は約10%(未確定)。これらのトークンは主にCoinbaseタスク(7500万)から来ており、最初の6ヶ月以内に配布される予定です。
テストネットベータリセット:これは最後のネットワークリセットであり、完了後は新機能が追加されず、ネットワークはメインネットに類似します。
コード凍結:コード凍結は1週間前に完了しました。
バリデーションノード拡張計画:初期のバリデーションノード数は15個で、目標は年内に50個に増加し、最終的には500個に達することです。委任者になるには1万トークンが必要で、バリデーターになるには1000万トークンが必要であり、これらの額は時間とともに徐々に減少します。
Synthesis Puzzle アルゴリズムの解析
Aleoの最新アルゴリズムの核心はSynthesis Puzzleと呼ばれ、各エポックごとに固定された共通のEpochProgramを生成します。入力とEpochProgramのためにR1CS証明回路を構築し、対応するR1CSアサインメント(すなわちwitness)を生成し、Merkleツリーの葉ノードとして使用します。すべての葉ノードを計算した後、Merkleルートを生成し、それをsolutionのproof_targetに変換します。
! Aleoの最新アルゴリズム合成パズルの解釈:Web3プライバシー革命をリードする
コンセンサスプロセス
Proverはpuzzleを計算してsolutionsを構築し、ネットワークにブロードキャストします。
バリデーターのアグリゲートトランザクションとソリューションは次の新しいブロックのためのものであり、ソリューションの数がコンセンサス制限を超えないことを保証します。
Solutionの合法性は、そのepoch_hashがvalidatorによって管理されているlatest_epoch_hashと一致すること、および計算されたproof_targetがネットワーク内のvalidatorによって管理されているlatest_proof_targetと一致することを確認する必要があります。また、そのブロックに含まれるsolutionの数は合意制限を下回る必要があります。
有効なソリューションはコンセンサス報酬を得ることができます。
合成パズルの詳細なフロー
各puzzle計算はnonceと呼ばれ、受信したマイニング報酬のアドレス、epoch_hash、およびランダム数counterによって構築されます。
各エポックでは、すべてのプロバーが計算するEpochProgramは同じであり、現在のepoch_hashから生成されたランダム数が命令セットからサンプリングされます。
nonceをランダム数シードとして使用してEpochProgramの入力を生成します。
EpochProgramに対応するR1CSと入力を集約し、witness計算を行います。
すべてのウィットネスを計算した後、Merkleツリーのリーフノードシーケンスに変換します。
6.マークルルートのproof_targetを計算し、それを解に変換して、現在のエポックのlatest_proof_targetが満たされるかどうかを判断します。
! Aleoの最新アルゴリズムSynthesis Puzzleの解釈:Web3プライバシー革命をリードする
マイニングの変化と影響
新しいpuzzleアルゴリズムは、proofの生成からwitnessの生成に変わりました。各epoch内のすべてのsolutionの計算ロジックは一貫していますが、異なるepochの計算ロジックには大きな違いがあります。この更新は、以前のMSMおよびNTT計算の最適化を排除し、またwitness生成プロセスがepochに応じたprogramの実行を含むため、命令には部分的に直列実行の依存関係があり、並列化の実現には大きな課題があります。
この変化は、既存のマイニング戦略やハードウェアの最適化に重大な影響を与える可能性があり、マイナーはマイニング方法を再評価し調整する必要があります。