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がインセンティブテストネットを開始します。zk-SNARKsがブロックチェーンのプライバシー革命をリードします。
Aleo: zk-SNARKsに基づくプライバシー保護ブロックチェーン
Aleoはプライバシー保護に取り組むブロックチェーンプロジェクトで、zk-SNARKs技術を通じてより高いプライバシーとスケーラビリティを実現しています。このプロジェクトの核心理念は、ユーザーが個人データを保護しながら、身分証明とデータ処理を行うことを可能にすることです。
プロジェクト概要
プライバシー保護
Aleoのコア技術はzk-SNARKs(ZKPs)であり、取引とスマートコントラクトの実行をプライバシーを守りながら行うことができます。デフォルトでは、送信者や金額などの取引詳細は隠されています。この設計はユーザーのプライバシーを保護するだけでなく、必要に応じて選択的に開示することも可能であり、DeFiアプリケーションの発展に非常に適しています。
主要コンポーネントは次のとおりです:
Leoプログラミング言語:零知識アプリ(ZKApps)の開発に特化した言語で、開発者の暗号学の知識に対する要求を軽減します。
snarkVMとsnarkOS: snarkVMはオフチェーンで計算を実行し、オンチェーンで結果を検証することで効率を向上させます。snarkOSはデータと計算の安全性を確保し、無許可機能の実行をサポートします。
zkCloud:安全でプライベートなオフチェーン計算環境を提供し、ユーザー、組織、DAO間のプログラミングインタラクションをサポートします。
Aleoは、統合開発環境(IDE)とソフトウェア開発キット(SDK)を提供しており、開発者がアプリケーションを迅速に作成および公開できるようにサポートしています。開発者はAleoのプログラムレジストリにアプリケーションをデプロイでき、第三者に依存する必要がないため、プラットフォームリスクが低減されます。
スケーラビリティ
Aleoはオフチェーン処理方式を採用しており、取引はまずユーザーのデバイス上で証明を計算し、その後検証結果のみをブロックチェーンにアップロードします。この方式は取引処理速度とシステムのスケーラビリティを大幅に向上させ、ネットワークの混雑や高額な手数料の問題を回避します。
コンセンサス機構
AleoはAleoBFTを導入しました。これは、バリデーターの即時最終性とプロバーの計算能力を組み合わせたハイブリッドアーキテクチャのコンセンサスメカニズムです。AleoBFTは、ネットワークの分散化の程度を向上させるだけでなく、パフォーマンスとセキュリティも強化します。
主な機能:
ブロックの迅速な最終性:各ブロックが生成された後、すぐに確認されることを保証し、ノードの安定性とユーザーエクスペリエンスを向上させます。
分散型保証: ブロック生成とコインベース生成を分離し、バリデーターがブロックを生成し、プロバーが証明計算を行い、少数の実体がネットワークを独占するのを防ぎます。
インセンティブメカニズム: バリデーターとプロバーはブロック報酬を共有します; プロバーはトークンをステーキングすることでバリデーターになることを奨励され、ネットワークの分散化の程度と計算能力を向上させます。
Aleoは開発者がガス制限のないアプリケーションを作成できるため、特に長時間実行が必要な機械学習などに適しています。
最新の開発
Aleoは7月1日にインセンティブテストネットを開始します。以下は重要な情報です:
ARC-100提案が通過し、コンプライアンスとセキュリティ対策に関するものです。
バリデーターインセンティブプログラムは7月1日に開始され、7月15日まで運営され、100万Aleoポイントが報酬として配分されます。
3.初期供給量は15億トークンで、初期流通供給量は約10%です。
Testnet Betaは最後のネットワークリセットを行い、ARC-41と新しいパズル機能を追加します。
コードの凍結が完了しました。
バリデータノード拡張計画: 初めは15個、目標は年内に50個に増やし、最終的には500個に達する。委任者になるには1万トークン、バリデーターになるには1000万トークンが必要で、これらの金額は徐々に減少する。
Synthesis Puzzle アルゴリズムの解析
Aleoは最近、パズルアルゴリズムを更新し、zk証明結果の生成に焦点を当てるのではなく、証明が生成される前の中間データwitnessに焦点を当てるようになりました。 新しいアルゴリズムはSynthesis Puzzleと呼ばれ、その核となるのはエポックごとに共通のEpochProgramを生成することであり、R1CSプルーフ回路を構築することで、対応するR1CS assignment(、つまりwitness)が生成され、マークルはマークルツリーのリーフノードとして計算されます root を実行し、ソリューションのproof_targetに変換します。
! Aleoの最新アルゴリズム合成パズルの解釈:Web3プライバシー革命をリードする
主なプロセス:
毎回のpuzzle計算はnonceと呼ばれ、受信したマイニング報酬のアドレス、epoch_hash、ランダム数counterによって構築されます。
各エポックで、すべてのプロバーは同じEpochProgramを計算し、epoch_hashから生成されたランダム数が命令セットからサンプリングされます。
nonceをランダム数シードとして使用してEpochProgramの入力を生成します。
EpochProgramに対応するR1CSと入力を集約し、witness計算を行います。
witnessをMerkle treeの葉ノードシーケンスに変換します。
6.マークルルートのproof_targetを計算し、それを解に変換して、現在のエポックのlatest_proof_targetが満たされるかどうかを判断します。
今回のアップデートでは、puzzleがproofの生成からwitnessの生成に変更され、各epoch内でのsolution計算ロジックは一貫していますが、異なるepoch間での計算ロジックには大きな差異があります。新しいアルゴリズムは以前のMSMおよびNTT計算を排除し、GPUの最適化に挑戦をもたらします。witness生成プロセスには直列依存性が存在するため、並列化を実現することにも一定の難しさがあります。
! Aleoの最新アルゴリズムSynthesis Puzzleの解釈:Web3プライバシー革命をリードする