# Aleo:zk-SNARKs技術駆動のプライバシー保護ブロックチェーンAleoはプライバシー保護に焦点を当てたブロックチェーンプロジェクトで、zk-SNARKs技術を通じてより高いレベルのプライバシーとスケーラビリティを実現します。このプロジェクトの核心理念は、ユーザーが個人情報を漏らすことなく、アイデンティティの検証とデータ処理を行えるようにすることです。## プロジェクト概要### プライバシーAleoの核心はzk-SNARKs(技術であり、取引とスマートコントラクトがプライバシーを保護しながら実行できるようにします。ユーザーの取引詳細はデフォルトで非表示ですが、必要に応じて選択的開示を許可するこの特性は、DeFiアプリケーションの発展に非常に適しています。主なコンポーネントは次のとおりです:1. Leoコンパイラ言語: ゼロ知識アプリ)ZKApps(の開発に特化した言語で、開発者の暗号学知識の要求を低減します。2. snarkVMとsnarkOS:前者はオフチェーンでの計算を許可し、後者はデータと計算の安全性を確保します。3. zkCloud:安全でプライベートなオフチェーン計算環境を提供します。Aleoは、統合開発環境とソフトウェア開発キットを提供し、開発者がアプリを迅速に作成および公開できるようにサポートしています。)スケーラビリティAleoはオフチェーン処理方式を採用しており、取引はまずユーザーのデバイス上で証明を計算し、その後検証結果のみをブロックチェーンにアップロードします。この方式は取引処理速度とシステムのスケーラビリティを大幅に向上させ、ネットワークの混雑や高額な手数料の問題を回避します。### コンセンサスメカニズムAleoはAleoBFTを導入しました。これは、検証者の即時最終性と証明者の計算能力を組み合わせたハイブリッドアーキテクチャのコンセンサスメカニズムです。AleoBFTは、ネットワークの分散化の程度を高めるだけでなく、性能と安全性も向上させます。1. ブロックの迅速な最終性: 各ブロックが生成された後、即座に確認されることを保証します。2. 分散型保障: ブロック生成とcoinbase生成を分離することで、少数のエンティティによるネットワークの独占を防ぐ。3. インセンティブメカニズム: バリデーターとプロバーはブロック報酬を共有し、プロバーがトークンをステーキングしてバリデーターになることを奨励します。Aleoは開発者がガス制限なしでアプリケーションを作成できるため、特に長時間実行される機械学習などのアプリケーションに適しています。## 最新の開発Aleoは7月1日にインセンティブテストネットを開始します。以下はいくつかの重要な最新情報です:1. ARC-100投票が承認されました: 合規の側面、ネット上の資金のロックおよび遅延到着などの安全対策に関する提案が承認されました。2. バリデーターインセンティブプログラム: 7月1日に開始され、新しいパズルメカニズムを検証することを目的としています。プログラムは7月15日まで実施され、その期間中に100万Aleoポイントが報酬として配布されます。3. トークン供給: 初期供給量は15億トークンで、初期流通供給量は約10%です。4. Testnet Betaリセット:これは最後のネットワークリセットであり、完了後は新機能が追加されることはありません。5. コードの凍結: 一週間前に完了しました。6. バリデーターノード拡張計画: 初期のバリデーターノードの数は15個で、目標は年内に50個に増やし、最終的には500個に達することです。## Synthesis Puzzle アルゴリズムの解析Aleoの最新のpuzzleアルゴリズムのコアはSynthesis Puzzleと呼ばれ、各epochごとに固定された共通のEpochProgramを生成することに重点を置いています。入力とEpochProgramのためにR1CS証明回路を構築し、対応するR1CSアサインメントを生成し、それをMerkleツリーの葉ノードとして使用します。すべての葉ノードを計算した後、Merkleルートを生成し、それをsolutionのproof_targetに変換します。### アルゴリズムフロー1. 各puzzleの計算はnonceと呼ばれ、報酬を受け取るアドレス、epoch_hash、およびランダム数counterによって構築されます。2. 各エポックにおいて、すべてのプロバーが計算するEpochProgramは同じであり、現在のepoch_hashから生成された乱数が命令セットからサンプリングされます。3. nonceをランダム数シードとして使用してEpochProgramの入力を生成します。4. EpochProgramに対応するR1CSと入力を集約し、witness計算を行います。5. すべてのwitnessを計算した後、それをMerkle treeの葉ノードのシーケンスに変換します。6. メルクルルートを計算し、ソリューションのproof_targetに変換し、現在のエポックのlatest_proof_targetを満たしているかどうかを判断します。7. 同一epoch内でイテレーションカウンターを介してEpochProgramの入力を更新することで、複数回のソリューション計算が可能です。! [Aleoの最新アルゴリズム合成パズルの解釈:Web3プライバシー革命をリードする]###https://img-cdn.gateio.im/social/moments-fd98786228320367ac6fe8f41a965499() マイニングの変化と影響新しいアルゴリズムは、puzzleをproofの生成からwitnessの生成に変え、各epoch内のすべてのsolutionの計算ロジックは一貫していますが、異なるepoch間で計算ロジックの差異は大きいです。この変化は、以前のMSMおよびNTT計算の最適化を放棄しました。また、witness生成プロセスにおいて直列実行の依存性が存在するため、並列化の実現は大きな課題となっています。! [Aleoの最新アルゴリズムSynthesis Puzzleの解釈:Web3プライバシー革命をリードする]###https://img-cdn.gateio.im/social/moments-248292393dc48af499b670cbe18d5eaf(
Aleo:ゼロ知識プライバシーブロックチェーンが間もなくインセンティブテストネットを迎える
Aleo:zk-SNARKs技術駆動のプライバシー保護ブロックチェーン
Aleoはプライバシー保護に焦点を当てたブロックチェーンプロジェクトで、zk-SNARKs技術を通じてより高いレベルのプライバシーとスケーラビリティを実現します。このプロジェクトの核心理念は、ユーザーが個人情報を漏らすことなく、アイデンティティの検証とデータ処理を行えるようにすることです。
プロジェクト概要
プライバシー
Aleoの核心はzk-SNARKs(技術であり、取引とスマートコントラクトがプライバシーを保護しながら実行できるようにします。ユーザーの取引詳細はデフォルトで非表示ですが、必要に応じて選択的開示を許可するこの特性は、DeFiアプリケーションの発展に非常に適しています。主なコンポーネントは次のとおりです:
Leoコンパイラ言語: ゼロ知識アプリ)ZKApps(の開発に特化した言語で、開発者の暗号学知識の要求を低減します。
snarkVMとsnarkOS:前者はオフチェーンでの計算を許可し、後者はデータと計算の安全性を確保します。
zkCloud:安全でプライベートなオフチェーン計算環境を提供します。
Aleoは、統合開発環境とソフトウェア開発キットを提供し、開発者がアプリを迅速に作成および公開できるようにサポートしています。
)スケーラビリティ
Aleoはオフチェーン処理方式を採用しており、取引はまずユーザーのデバイス上で証明を計算し、その後検証結果のみをブロックチェーンにアップロードします。この方式は取引処理速度とシステムのスケーラビリティを大幅に向上させ、ネットワークの混雑や高額な手数料の問題を回避します。
コンセンサスメカニズム
AleoはAleoBFTを導入しました。これは、検証者の即時最終性と証明者の計算能力を組み合わせたハイブリッドアーキテクチャのコンセンサスメカニズムです。AleoBFTは、ネットワークの分散化の程度を高めるだけでなく、性能と安全性も向上させます。
ブロックの迅速な最終性: 各ブロックが生成された後、即座に確認されることを保証します。
分散型保障: ブロック生成とcoinbase生成を分離することで、少数のエンティティによるネットワークの独占を防ぐ。
インセンティブメカニズム: バリデーターとプロバーはブロック報酬を共有し、プロバーがトークンをステーキングしてバリデーターになることを奨励します。
Aleoは開発者がガス制限なしでアプリケーションを作成できるため、特に長時間実行される機械学習などのアプリケーションに適しています。
最新の開発
Aleoは7月1日にインセンティブテストネットを開始します。以下はいくつかの重要な最新情報です:
ARC-100投票が承認されました: 合規の側面、ネット上の資金のロックおよび遅延到着などの安全対策に関する提案が承認されました。
バリデーターインセンティブプログラム: 7月1日に開始され、新しいパズルメカニズムを検証することを目的としています。プログラムは7月15日まで実施され、その期間中に100万Aleoポイントが報酬として配布されます。
トークン供給: 初期供給量は15億トークンで、初期流通供給量は約10%です。
Testnet Betaリセット:これは最後のネットワークリセットであり、完了後は新機能が追加されることはありません。
コードの凍結: 一週間前に完了しました。
バリデーターノード拡張計画: 初期のバリデーターノードの数は15個で、目標は年内に50個に増やし、最終的には500個に達することです。
Synthesis Puzzle アルゴリズムの解析
Aleoの最新のpuzzleアルゴリズムのコアはSynthesis Puzzleと呼ばれ、各epochごとに固定された共通のEpochProgramを生成することに重点を置いています。入力とEpochProgramのためにR1CS証明回路を構築し、対応するR1CSアサインメントを生成し、それをMerkleツリーの葉ノードとして使用します。すべての葉ノードを計算した後、Merkleルートを生成し、それをsolutionのproof_targetに変換します。
アルゴリズムフロー
各puzzleの計算はnonceと呼ばれ、報酬を受け取るアドレス、epoch_hash、およびランダム数counterによって構築されます。
各エポックにおいて、すべてのプロバーが計算するEpochProgramは同じであり、現在のepoch_hashから生成された乱数が命令セットからサンプリングされます。
nonceをランダム数シードとして使用してEpochProgramの入力を生成します。
EpochProgramに対応するR1CSと入力を集約し、witness計算を行います。
すべてのwitnessを計算した後、それをMerkle treeの葉ノードのシーケンスに変換します。
メルクルルートを計算し、ソリューションのproof_targetに変換し、現在のエポックのlatest_proof_targetを満たしているかどうかを判断します。
同一epoch内でイテレーションカウンターを介してEpochProgramの入力を更新することで、複数回のソリューション計算が可能です。
! [Aleoの最新アルゴリズム合成パズルの解釈:Web3プライバシー革命をリードする]###https://img-cdn.gateio.im/webp-social/moments-fd98786228320367ac6fe8f41a965499.webp(
) マイニングの変化と影響
新しいアルゴリズムは、puzzleをproofの生成からwitnessの生成に変え、各epoch内のすべてのsolutionの計算ロジックは一貫していますが、異なるepoch間で計算ロジックの差異は大きいです。この変化は、以前のMSMおよびNTT計算の最適化を放棄しました。また、witness生成プロセスにおいて直列実行の依存性が存在するため、並列化の実現は大きな課題となっています。
! [Aleoの最新アルゴリズムSynthesis Puzzleの解釈:Web3プライバシー革命をリードする]###https://img-cdn.gateio.im/webp-social/moments-248292393dc48af499b670cbe18d5eaf.webp(