今日は最近急成長したプロジェクトを見ていきます。最近3-4倍に翻倍しましたが、プライバシー分野の選手でもあります。以前に多くのプライバシー関連のプロジェクト（XMR, ZEC, DASH, OASIS, BELDEXなど）について話したことがありますが、最近プライバシー分野が再び上昇しているようです。そして、仲間がこのプロジェクトについて問い合わせてきたので、今日はこのプロジェクトを見てみます。なぜなら、これはすでに200位にランクインしているからです。プロジェクトの基本面を見て、それが何をしているのかを確認しましょう。
一．イントロダクション
Horizen は最初に Horizen ネットワークを構築し、ユーザーがプライバシー取引を行えるようにしました。その後、Zendoo に基づくサイドチェーンネットワークが開発され、ゼロ知識証明証明書を使用してサイドチェーンとメインチェーン間で取引を束ねることでスループットを向上させました。
プロジェクトは現在2.0に更新されており、Horizen 2.0 はプレコンパイル拡張を持つ EVM（ゼロ知識 (ZK) dApps 用にカスタマイズされた EVM チェーン）であり、最先端のゼロ知識証明をサポートし、迅速かつ低コストの証明検証を実現します。この設計は、既存のネットワークにおけるゼロ知識能力の制限を克服し、コスト効率、パフォーマンス、信頼性の向上を目指しています。
二．アーキテクチャ - Horizen 2.0 アーキテクチャ
2.1 概要
Horizen 2.0 は、ゼロ知識証明 (ZK) 検証のために特別に設計されたプロフェッショナルな EVM ブロックチェーンであり、内蔵プレコンパイルコントラクトは EVM に直接統合されています。これは、ZK dApp の専用プラットフォームであり、ZK dApp はゼロ知識証明を生成、使用、および/または検証する分散型アプリケーションとして定義されます。
ZK dApp の開発者は、検証契約を書いたり監査したりする際の困難にしばしば直面します。検証契約は ZK 証明を検証するための核心です。より簡素化された安全な解決策を提供するために、Horizen 2.0 は証明検証を処理するための内蔵プレコンパイルコントラクトを提供し、開発負担を軽減し、安全性を強化します。
これらのプレコンパイルには、Groth16、Fonk、RiscZero、UltraPlonk など、さまざまな ZK 証明システムに対応する検証者が含まれています。各プレコンパイルコントラクトは、楕円曲線操作、ハッシュ関数、およびペアリングベースの暗号学を含む必要な暗号操作をカプセル化しています。
2.2 主要コンポーネント
2.2.1 ノードアーキテクチャ
Horizen 2.0 は Substrate フレームワークを使用し、ノードアーキテクチャを2つの主要なコンポーネントに分けています：コアクライアント (Core Client) と WebAssembly (Wasm) ランタイム。この設計はモジュール化と効率化を実現し、それぞれの役割を明確に区別します：
1. コアクライアント (Core Client)
- 基盤層として、ノードの発見、取引リクエストの管理、他のノードとの合意形成、RPC 呼び出しへの応答を含むネットワーク活動を処理します。
2. Horizen ランタイム (Horizen Runtime)
- ブロックチェーン状態遷移関数を実行するためのすべてのビジネスロジックを含みます。これは、新しいモジュール（Substrate 用語で「パレット」と呼ばれる）を作成し、それを組み込みモジュールと統合することを含みます。
2.2.2 Horizen ランタイム (Horizen Runtime)
Horizen ランタイムは、高度に構成可能な WebAssembly (Wasm) ランタイムであり、Substrate の FRAME（モジュール化エンティティ集約フレームワーク）に基づいて構築されています。FRAME は、開発者が「パレット」と呼ばれるモジュール化、再利用可能、かつ組み合わせ可能なランタイムコンポーネントを作成できるようにします。
Horizen ランタイムのコアは、ゼロ知識証明の検証のために特別に設計されたプローフ検証パレットです。これらの専用パレットは、ZK 証明の検証に注力しています：
- EVM プレコンパイルインターフェースを通じて機能を提供し、ZK dApp 開発者が同期的に検証機能にアクセスできるようにします。
このアーキテクチャは、ランタイムの柔軟性を保証するだけでなく、ZK アプリケーションの開発に対して直接的かつ効率的なサポートを提供します。
各プレコンパイルコントラクトは最適化されており、ミリ秒単位で（特定の証明タイプに対して）迅速かつ同期的な証明検証を実現し、コスト効率に重点を置いています。
2.2.3 一般的な検証者
一般的な検証者は、zkVerify の統合検証フレームワークの能力を直接利用するユニークなプレコンパイルコントラクトであり、これにより、Horizen 2.0 のプレコンパイルにまだ実装されていない最新の検証者にアクセスできます。開発者は、証明タイプの名前と対応する検証キーを渡すことで、zkVerify 上で広く利用可能な検証者を使用できます。
この統合は、Horizen 2.0 が zkVerify リレーチェーンのパラレルチェーンとして密接に関連していることに起因しています。クロスコンセンサスメッセージ (XCM) を使用することで、一般的な検証者は非同期証明検証をサポートし、検証プロセスの複雑さを抽象化します。この設計は統合を簡素化し、ZK dApps がサポートする暗号プロトコルの範囲を拡大します。zkVerify が新しい検証者を追加すると、Horizen 2.0 の開発者はこれらの検証者を即座に使用できます。
一般的な検証者の重要な特徴の1つは、その非同期の特性です。他の即時同期検証を実行するプレコンパイルコントラクトとは異なり、一般的な検証者は他の操作から独立した検証プロセスを許可します。この柔軟性により、開発者は zkVerify の完全な検証機能を、即時の検証を必要としない ZK dApps に統合でき、より効率的かつスケーラブルなアプリケーションを実現します。
2.3 DPoS コンセンサスメカニズム
委任証明（Delegated Proof of Stake, DPoS）は、証明ステーキングのプロセスに委任層を導入することでブロックチェーンネットワークの効率とスケーラビリティを向上させるコンセンサスメカニズムです。DPoS では、トークン保有者が少数の代表（委任者）を投票で選出し、ブロック生成とネットワークの運営を担当させます。DPoS は現在 EON のコンセンサスメカニズムであり、Horizen 2.0 でも継続して使用され、一貫性と安定性を確保します。新しいアーキテクチャでは、EON のブロック生成者は Collator（整理者）と呼ばれ、その役割を反映します。
Horizen 2.0 は、Moonbeam に触発されたハイブリッドコンセンサスモデルを採用します。このモデルは DPoS を通じて高性能とスケーラビリティを実現しました。したがって、Horizen 2.0 では、整理者を選択するために Nimbus フレームワークを使用し、複雑で公平なプロセスを確保します。選ばれたブロックは、zkVerify のリレーチェーン検証者によって BABE（Blind Assignment for Blockchain Extension）を使用してブロック生成され、GRANDPA（GHOST ベースの再帰的祖先接頭辞プロトコル）を通じてブロック最終化されます。
整理者の選択は、以下のフィルターとランダム性のソースを利用して公平性と効率を確保する複雑なプロセスです：
1. ステーキングフィルター（Staking Filter）
- 候補整理者のステーキング額に基づいて、その資格を決定します。資格のある参加者のみがブロック生成とネットワーク維持に参加でき、ネットワークの信頼性が向上します。
2. 固定サイズサブセットフィルター（Fixed Size Subset Filter）
- 候補整理者プールを各ブロック生成の時間帯に対して管理可能な数にさらに絞り込みます。これにより、選ばれた整理者の数が分散化と効率のバランスを取ることが保証されます。
3. ランダム性のソース（Entropy Source）
- 詐欺を防ぎ、検証責任の公正な分配を確保するために、安全で予測不可能なランダム要素を導入します。
アプリケーションの例：
トークン経済
プロジェクトの初回発行は2017年で、トークンの最大供給量は21,000,000、実際の流通量は約1500万です。時価総額は8.8億ドルで、最高値は2021年に168ドル、熊市の最低は5ドル、現在は42ドルです。新しいチェーンに移行したため、パラレルチェーンの導入後、以前の40%のトークンはコインベースに残され、残りの60%のうち、財団が32.5%、DAO財政庫が27.5%です。
最後にまとめると、このプロジェクトの最近の急騰の理由は、グレースケールが大規模に購入したことです。おおよそ30万枚を購入し、一気に価格を引き上げました。なぜグレースケールが購入したのかはあまり分かりません。技術面から見ると、彼が2.0の更新をしたからといって、実際にはプライバシーの分野に私はあまり期待していません。この分野は少し偽需要のように感じます。底から約8倍も上昇しましたが、もしグレースケールによる購入がなければ、まだ沈滞していたかもしれません。そして、現在は牛市の中期に入っており、この位置まで反発したのは実際には非常に弱いパフォーマンスです。