ブロックチェーン・プライバシー

article technology medium #privacy#blockchain#zero-knowledge#aztec#zcash#tornado-cash#ofac#fhe#mpc#zk-snark#mixer
Created: 2026-06-07 Updated:

ZK プライバシー(Aztec・Zcash・shielded pool)、ミキサー(Tornado Cash と OFAC 制裁)、プライバシー L2、FHE・MPC の応用を網羅。規制コンプライアンスとの緊張関係を含む包括的な解説。

ブロックチェーン・プライバシー

パブリックブロックチェーンはデフォルトで「完全透明」である。すべてのトランザクション・残高・コントラクト呼び出しが誰でも閲覧可能であり、これは監査可能性という利点の反面、ユーザーのプライバシーを大幅に制限する。ブロックチェーン・プライバシー技術は「完全透明から脱却しながら、正当性の検証可能性を保つ」という困難な設計問題を扱う。情報カットオフ ~2025-08、confidence: medium 固定(2026-06 時点での外部再検証は未実施)。

なぜプライバシーが必要か

パブリックブロックチェーンの透明性は以下の問題をもたらす。

MEV とフロントランニング: Mempool にブロードキャストされたトランザクションを観測し、より高いガス代で先行実行(フロントラン)することで利益を奪われる。プライバシーはこれを防ぐ。

ウォレット・ドクシング: アドレスと現実の個人・企業が一度紐付けられると、すべての取引履歴が晒される。企業の購買行動・競合分析・給与情報が公開されることへの懸念は大きい。

国家・制度的監視: 権威主義的政府や悪意ある追跡者による資産凍結・差押えのリスク。

コンプライアンスの逆説: 企業は KYC/AML 義務を果たすために顧客取引を管理する必要があるが、パブリックチェーンの透明性は競合他社にも情報を開示してしまう。

ZK プライバシー — ゼロ知識証明による秘匿

**ゼロ知識証明(ZKP — Zero-Knowledge Proof)**は「命題が真であることを、命題の根拠情報を一切開示せずに証明する」暗号技術である(tech-209 参照)。ZKP は以下のプライバシー・プリミティブを実現する。

シールドプール(Shielded Pool / Shielded Transaction): ユーザーがパブリックな資産を「シールドプール」に預け入れると、残高・送金先がオフチェーンに隠蔽される。証明者(ユーザー)はプールから正当に引き出す権利を ZKP で証明する。

Zcash — 最初のシールドプール実装

Zcash(2016 年ローンチ、Zcash Foundation と ECC が開発)は ZKP を使ったプライバシーコインの先駆けである。Sapling・Orchard プロトコルにより「シールドアドレス(z-address)」を導入し、groth16 / PLONK ベースの zk-SNARK で送金額・送金先を秘匿する。

Zcash の現実的課題は「大部分のトランザクションが透明アドレス(t-address)で行われる」ことだ(取引所がシールド対応していないことが主因)。プライバシーのアノニミティセットが小さいと、シールドプールを使うこと自体が「隠したい何かがある」というシグナルになる逆説がある。

Aztec — Ethereum 上のプライバシー L2

Aztec(現在 Aztec Network として開発中)は Ethereum 上のプライバシー特化 L2 である。PLONK ベースの ZK-SNARK(plonkup / UltraHonk)を使い、スマートコントラクトのプライベート状態と公開状態を分離して実行できる「プライベートスマートコントラクト」を実現する。

Aztec の開発言語 Noir は、プライベートロジックを記述するための ZK 特化 DSL であり、Rust に近い構文を持つ。開発者がシールドプールだけでなく任意のプライベートロジックを実装できる点が従来のプライバシーコインと異なる。

2024〜2025 年にかけてテストネット・バリデータ網の構築が進んでいる段階(情報カットオフ ~2025-08 時点での外部検証は未実施)。

Monero — リング署名とステルスアドレス

**Monero(XMR)**は ZKP を使わず、リング署名(送金者を複数のデコイと混合して隠す)・ステルスアドレス(受取人ごとに使い捨てアドレスを生成)・RingCT(Confidential Transactions、送金額を隠す Pedersen コミットメント)の組み合わせでプライバシーを実現する。すべてのトランザクションがデフォルトでプライベートになる設計はアノニミティセットの問題を根本的に回避している。

規制当局はモネロの追跡困難性を問題視し、多くの中央集権取引所が上場廃止している(Kraken 欧州は 2024 年に上場廃止)。

ミキサーと規制:Tornado Cash 事例

**ミキサー(Mixer / Tumbler)**は複数ユーザーの入金を混合して出金することで、資金の出所を追跡困難にするプライバシーツールである。

Tornado Cash と OFAC 制裁

Tornado Cashは Ethereum 上の ZK ベースのミキサープロトコルである。ユーザーが資産を預けると、一定量の同一額コミットメントが混合された後、ZKP を用いてオリジナルの入金とリンクせずに引き出せる。

2022 年 8 月、米国財務省 OFAC(海外資産管理局)は Tornado Cash のスマートコントラクト・アドレスをSDN(Specially Designated Nationals)リストに追加した。これはスマートコントラクト自体の制裁という前例のない措置であった。主な制裁理由は「北朝鮮 Lazarus Group が Ronin Bridge ハック資金($625M)の洗浄に使用した」ことである。

法的論争: Coinbase が支援する訴訟(Van Loon v. OFAC)では「不変のスマートコントラクトは財産か」が争点となり、地裁・控訴審で判断が分かれた。2024 年第 5 巡回控訴裁判所は「イミュータブルなスマートコントラクトは OFAC の制裁対象たる財産に該当しない」と判示した(ただし開発者個人の起訴は別途進行中)。

開発者起訴: Tornado Cash の主要開発者 Roman Storm は 2023 年に米国で逮捕・起訴された(マネーロンダリング共謀罪等)。Roman Semenov はロシアから起訴状が送付されている。

プライバシーとコンプライアンスの設計解

OFAC 制裁後、プライバシー技術の設計者は「コンプライアンスと両立するプライバシー」を模索している。

Selective Disclosure(選択的開示): ユーザーが規制当局や取引所に対してのみ取引の詳細を開示できる鍵(View Key)を共有する。Zcash のビューキー・Aztec の暗号化メモがこの実装例。

コンプライアンス対応プール: Chainalysis・Elliptic などのブロックチェーン分析会社が承認したアドレスのみが入出金できる「許可制シールドプール」。完全なプライバシーは犠牲にするが、規制準拠のユースケースに対応。

zk-KYC: ユーザーが KYC 済みであることを証明する ZKP を生成し、個人情報を開示せずに AML 要件を満たす。zkID・Holonym・Polygon ID などが研究・実装を進めている。

プライバシー L2

プライバシーは L1 だけでなく L2 レイヤーでも実装されている。

Aztec(前述)はプライバシー特化型の ZK L2 である。

Polygon Midenは STARKs ベースのクライアントサイド証明を使い、トランザクションをユーザーのデバイスでプルーブしてから L1 に提出する。アカウント状態とトランザクションの詳細を L1 に公開しないことでプライバシーを実現する。

Scroll・StarkNet の FHE 統合実験: 完全準同型暗号(FHE)を使って暗号化されたままの状態でスマートコントラクトを実行する研究が進んでいる。

FHE と MPC の応用

**FHE(Fully Homomorphic Encryption / 完全準同型暗号)**は「暗号化されたまま演算できる」技術であり、「秘密にしたままスマートコントラクトを実行できる」という理想に最も近い。現在は計算コストが通常の数千〜数万倍と実用上困難だが、Zama 社の fhEVM 等が Ethereum 互換のプライベートスマートコントラクト実行を研究中である。

**MPC(Multi-Party Computation / 秘密計算)**は複数の参加者が各自の入力を秘密にしたまま計算結果のみを得る技術。NEAR の Chain Signatures(前述)や Privy・Lit Protocol のウォレット管理に活用されている。ZK ほど汎用的ではないが、特定ユースケース(閾値署名・秘密鍵管理)で実用済みである。

技術成熟度主なユースケース計算オーバーヘッド
ZK-SNARK/STARK商用実用段階シールドプール・プライバシー L2証明生成に数秒〜数分
MPC 閾値署名商用実用段階秘密鍵管理・チェーン署名実用的(ミリ秒〜秒)
FHE研究〜初期実装プライベートスマートコントラクト数千〜万倍のオーバーヘッド

Local graph