要約：
- Aztecは、Ethereum上に分散型レイヤー2ネットワークとして、プログラム可能なプライバシーを提供するために、4層のテクノロジースタックを導入しました。
- Aztecが開発したNoir言語は、暗号学の専門知識がなくても開発者がプライバシーをデフォルトで有効化したゼロ知識プログラムを記述できるようにします。
- 現在、ネットワークのAlphaネットワークには3,500以上のアクティブなシーケンサーが存在し、シーケンサーおよびプローバーの役割は完全に許可不要です。
Aztecは、そのアーキテクチャの詳細な技術的説明を「The Aztec Stack」として公開し、Ethereum上のL2ネットワークがスマートコントラクト開発者向けにエンドツーエンドのプライバシーを可能にする方法を説明しました。
アズテックの四層
システムは4つのレイヤーで構成されています。最初のレイヤーはNoirで、Rustに似た構文を持つゼロ知識（zk）回路用のドメイン特化言語です。Noirは、ACIRと呼ばれる中間表現を通じてコードを自動的にzk回路にコンパイルし、独自のシステムBarretenbergを含む複数の証明バックエンドと互換性があります。プライバシーはデフォルトの動作であり、開発者が`pub`属性を明示的に使用して他の指定をしない限り、すべての変数と関数はプライベートです。
シャードトランザクションを超えて
第二層は、Aztec.nrフレームワークで記述されたスマートコントラクトで構成され、これはNoirを拡張してオンチェーン上で公開状態と非公開状態を管理します。単一のスマートコントラクトは、ユーザーのデバイス上で非公開関数を実行し、ネットワーク上で公開関数を実行して、それらを透明に統合できます。アカウントコントラクトはアカウント抽象化を実装し、ソーシャルアカウント復元、マルチファクタ認証、規制準拠や税務報告に役立つ細粒度のアクセス制御を可能にします。
第三層はネットワークそのものです。プライベート関数はユーザーのデバイス上のプライベート実行環境（PXE）で実行され、入力、出力、または識別情報を一切開示しないzk証明を生成します。パブリック関数はシーケンサーによって処理され、シーケンサーはプライベート証明を検証し、パブリックステートを実行して、ステートの差分をEthereumのL1に公開します。各エポック（32個のL2ブロックの系列として定義されます）には、分散型プロバーネットワークによって生成され、オンチェーンに公開される最終証明が付与されます。
Noirはすでにデプロイされています
第4層はEthereumであり、決済層として機能します：ロールアップの証明はL1にアーチャリングされ、その経済的セキュリティを継承します。プライベートステートモデルはUTXOを使用し、パブリックステートはEthereumの口座モデルを複製します。
Noirは、Base、Scroll、およびStarknet上で構築されるプロジェクトによって、Aztecエコシステムの外でもすでに使用されており、ゼロ知識アプリケーションの標準言語としての重要性を示しています。