Anomaによるプライバシー計算の暗号技術アーキテクチャの再構築（知識共有2）

今日はanomaに関するいくつかの内容を引き続き共有します。

ブロックチェーンの透明性主導のパラダイムの下、Anomaはより困難であるが必要な道を選択しました——それは完全同態暗号（FHE）と意図中心のインタラクションモデルを通じてプライバシーインフラストラクチャを構築しています。その本質は新しいタイプの状態機械を創造することです：データは常に暗号化された状態にありますが、計算の正確性が検証可能です。この能力は三重の技術的支柱に依存しています：

1. 同態暗号実行レイヤー：暗号文内でチューリング完全計算を実行する
AnomaはCKKS方式を採用して全同態暗号を実現し、暗号文に対して直接演算を行うことを可能にします。例えば、ユーザーAが転送金額[X]を暗号化し、ユーザーBが金額[Y]を暗号化する場合、検証ノードは復号することなく比較操作[X] > [Y]や算術演算[X] - [Y] = [Z]を実行できます。これは、従来のプライバシーソリューション（例えばZcashのzk-SNARKs）が検証のみ可能で計算できないという欠陥を解決します。FHEの性能ボトルネックを打破するために、AnomaはGPU加速数論変換（NTT）と疎暗号文圧縮技術を導入し、単一取引の遅延を分単位から秒単位に圧縮しました。

2. 意図伝播メカニズム：宣言的インタラクションの革命
ユーザーはもはや契約を直接呼び出すのではなく、プライバシー制約のある意図声明をブロードキャストします。例えば："≤1%のスリッページで隠された数量のETHを購入し、受取アドレスを暗号化する"。ネットワーク内のソルバー（Solvers）は、安全なマルチパーティ計算（SMPC）を通じて、暗号文の状態で需給をマッチングします。MEV操作を防ぐために、Anomaは遅延開示ゲームメカニズムを設計しています：ソルバーはトークンをステーキングしてシール入札に参加する必要があり、不正行為は没収されます。このパラダイムは、DeFiを能動的に実行される"プッシュモデル"から、需要を宣言する"プルモデル"へと変えます。

3. 分散型検証によるクロスチェーンプライバシー
Anomaの検証レイヤーは改良版のTendermint PBFTコンセンサスを採用していますが、重要な革新は検証ノードがゼロ知識証明仮想マシン（zkVM）を実行することです。クロスチェーン取引を処理する際（例えば、ビットコインをプライバシー保護されたETHに交換する場合）、ノードはビットコインライトクライアントのzkProofを生成し、それをAnomaネットワークに中継します。全体のプロセスでは、検証者は証明の正確性のみをチェックし、元のチェーンデータを解除せず、本当に検証可能なプライバシークロスチェーンを実現します。ビットコインスクリプトがFHEをサポートしていないという課題に直面し、Anomaは最適証明+72時間のチャレンジ期間のソリューションを採用しています：詐欺が検出された場合、参加者はzkProofを提出して資産のロールバックをトリガーできます。

エンジニアリング実践とエコロジーの突破
開発者は Taiga SDK を使用してプライバシー強化型 DApp を作成できます。たとえば、プライバシー安定コインの貸付プロトコルを構築する際に、同型命令 fhe_gt! を使用して暗号担保率が 150% を超えているかどうかを直接検証し、zk_proof! マクロを通じて返済のゼロ知識証明を生成します。この能力は新しいユースケースを生み出しています：

Namada（初のAnoma分形インスタンス）はマルチアセットプライバシープールを実現し、TVLは3.4億ドルに達しました

FhenixはEthereum L2とAnomaのFHE層を統合し、1日あたり12万件のプライバシートランザクションを処理します。
テストネットのデータによると、FHE取引の平均TPSは52で、クロスチェーンの遅延は90秒以内に制御されています。性能は依然として同態計算に制約されていますが、zkFHE融合証明（FHE計算をzk-SNARKに圧縮すること）がロードマップに含まれ、2026年には100倍のスピードアップを目指しています。

プライバシーとコンプライアンスの共生の道