MSTR Cat

暗号資産法/レベル V · 開発者と発行者/5.2 資金に関するルール/レッスン 6

トルネード・キャッシュ：コードに対する制裁

米国がスマートコントラクトに制裁を科した経緯、なぜ第5巡回区裁判所は変更不可能なコードは差し止めることのできる財産ではないと判断したのか、そしてその判決が開発者たちにどのような可能性を残すのか。

本コースは教育を目的としたものであり、法律・税務・投資に関する助言ではありません。暗号資産に関する法律は国や州によって異なり、頻繁に変わります。行動する前に、お住まいの地域の現行ルールを資格のある弁護士または税理士にご確認ください。

最小コストの道

法律が認める範囲で、最も安く、税負担が最も軽く、最も簡単で、最もプライバシーを守れる方法を、優先順に示します。各ステップには根拠となるルールと、合法であり続けるための条件を記しています。

  1. Tornado Cashのコードを読む、複製する、公開し、教授することは、OFACの2022年のFAQによって一度も禁止されたことはありません。制裁対象者との取引を行わない限り、オープンソースコードの共有は自由であり、合法です。
  2. Van Loon事件（第5巡回区連邦控訴裁判所、2024年11月26日）では、誰も所有していない不変なコントラクトは差し押さえ可能な財産ではないと判断されました。この判例の拘束力はテキサス州、ルイジアナ州、ミシシッピ州に限られ、Tornado Cashは2025年3月21日に上場廃止となりました。
  3. 変更可能なコントラクト、管理者鍵（アドミンキー）、フロントエンド、リレーヤーおよび企業はいまだに制裁の対象となり得るため、これらを持つ場合はSDNリストとの照合（スクリーニング）を行ってください。Blender.ioやSinbadのような運営者によるミキサーはリストに掲載されました。
  4. 制裁対象アドレスからダスト（微量の暗号資産）を受け取った場合は、OFACに報告してください。OFACは、他の制裁関連がなく、遅れて報告した米国居住者に対しては執行を優先しないとする見解を示していますが、いずれにせよ速やかに報告してください。
  5. コードを不変にする（イミュータブルにする）ことは制裁の適用範囲を制限する可能性がある一方で、誤用を止める手段もすべて失うことになり、オランダの裁判所はPertsev事件でこれを認定しました。デプロイ前にこのトレードオフについて判断してください。

用意するもの財務省プレスリリースjy0916、「米国財務省、悪名高き仮想通貨ミキサー『Tornado Cash』に制裁を科す」（2022年8月8日）ヴァン・ルーン対財務省、事件番号23-50669（第5巡回区、2024年11月26日）Van Loon事件の修正後最終判決、No. 1:23-CV-312-RP（テキサス西部地区、2025年4月28日）財務省の「トルネード・キャッシュの上場廃止」に関する声明（2025年3月21日）

問い

  1. 誰も使わないソフトウェアに、政府はどうやって制裁を科すのか？
  2. ヴァン・ルーンの後、スマートコントラクトがSDNリストに載ることはあるのでしょうか？
  3. Tornado Cashのコードを読んだり公開したりすることは、かつて違法だったことがあるのでしょうか？

探究

  1. 2019年に作られたTornado Cashは、イーサリアム上の「ミキサー」です。ユーザーはプールスマートコントラクトに一定額を預け、後に暗号学的証明を提示することで別のアドレスに資金を引き出し、これによって送信者と受取人の間の目に見える関連性が断たれます。第5巡回区裁判所によると、当初はプールコントラクトは変更可能（「mutable」）だったが、2020年に開発者らによって不可逆的に「immutable」なものに変更され、作成者を含む誰もそれらを修正したり削除したりすることはできなくなった。一方で、TORNトークンのホルダーが管理するガバナンスコントラクトや、ユーザーに代わって引き出し処理を行う第三者「リレーヤー」の登録簿など、他の部分は依然として変更可能な状態が続いている。このように制御可能な部分と制御不可能な部分が混在する構造が、法的争議の形を決定づけました。
  2. 2022年8月8日、OFACはサイバー犯罪制裁命令である大統領令13694に基づき、Tornado CashをSDNリストに追加した。財務省によると、このミキサーは2019年以降、70億ドル以上の資金洗浄に利用されており、その中には北朝鮮のLazarus Groupが盗んだ4億5,500万ドル以上、2022年6月のHarmonyブリッジハックで奪われた9,600万ドル以上、そして2022年8月のNomadハックで奪われた少なくとも780万ドルが含まれている。このリストではスマートコントラクトのイーサリアムアドレスが識別子として記載されており、これらに送金したり受け取ったりする米国人は規制違反のリスクに直面する。2022年11月8日、OFACはTornado Cashを再指定し、北朝鮮関連の当局も追加した。
  3. 2022年9月、OFACはこの指定に関する4つのFAQを発表した。同機関によると、他に何ら問題がない限り、米国人がオープンソースコードをコピーしてインターネット上に公開したり、教科書などの出版物でそれについて議論したり、説明したり、掲載したりすることは禁止されていない。プールに滞留している取引を持つユーザーは、それらを完了させるための特定のライセンスを申請できる。「ダストィング」とは、Tornado Cashから見知らぬ人のアドレスにわずかな金額を無断で送信する行為であり、OFACは他の制裁との関連性がない場合、遅れて報告した米国人に対しても優先的に措置を取ることはないと述べた。これらのFAQでは、コードを情報として扱うことと、そのコードを用いた取引との間に明確な線を引いている。
  4. テキサス州で6人のTornado Cash利用者が訴えを起こした。地方裁判所は財務省の側に立ったが、2024年11月26日、第5巡回区控訴裁判所は「Van Loon v. Department of the Treasury」の判決でこれを覆した。パネルを代表してウィレット判事は、変更不可能なスマートコントラクトは『国際緊急経済権限法』に基づき外国人や法人の「財産」とはみなされないと述べた。なぜなら「財産」とは所有可能なものを指すからであり、したがってそれらをブロックすることはできず、OFACは権限を超えて行動したというのだ。裁判所は、ミキサーのような技術に対応するために議会が1977年の法律を改正できる可能性があると示唆した。同様の訴訟を起こした活動団体Coin Centerの訴えはフロリダ州の地方裁判所で敗訴し、現在控訴中である。
  5. 2025年3月21日、財務省は新たな法的・政策的課題を検討した結果「裁量権を行使した」としてトルネード・キャッシュをSDNリストから除外したが、北朝鮮によるハッキングやマネーロンダリングについては引き続き「深刻な懸念」を示した。2025年4月28日、テキサス州の地方裁判所は修正された最終判決を下し、OFACの措置が違法であると判断してそれを無効とし、財務省による同措置の実施を永久に禁止した。2025年7月、第11巡回区裁判所は共同の申し立てに基づきフロリダ州の判決を取り消し、コイン・センター関連の訴訟を棄却するよう命じた。これらの契約に関する制裁問題は解決されたが、開発者らを対象とした刑事訴訟は別途続行されている（レッスン5.2.7）。
  6. その適用範囲は狭い。それは誰も所有し制御できない不変のコードに関するもので、連邦裁判所の拘束力はテキサス州、ルイジアナ州、ミシシッピ州に限られる。管理用キーを持つ可変型コントラクトやフロントエンドウェブサイト、リレーヤー、企業、制御権を行使するDAO、そしてそれらの背後にいる人々は依然として制裁の対象となり得る。OFACは2022年5月にBlender.ioのような運営者が管理するミキサーサービスを、2023年11月にはSinbadを既にリストアップしている。開発者にとって、不変性は制裁の及ぶ範囲を限定するかもしれないが、悪用を防ぐ手段もなくす。これはアレクセイ・ペルツェフの事件でオランダ裁判所が彼に不利な判決を下した点でもある（レッスン5.2.7）。実用的なチェックとして、システム内で誰かがまだアップグレードや一時停止、停止が可能な各コンポーネントをリストアップしてみよう。

重要な事実

  • OFACは2022年8月8日、大統領令第13694号に基づきTornado Cashを指定した。
  • 財務省によると、2019年以降、Tornado Cashは70億ドル以上の資金洗浄に利用されており、その中にはラザルス・グループが盗んだ4億5500万ドル以上も含まれている。
  • 2024年11月26日、第5巡回区裁判所はVan Loon対財務省の訴訟において、Tornado Cashの変更不可能なスマートコントラクトはIEEPAの下では財産に該当しないと判示した。
  • 財務省は2025年3月21日にTornado CashをSDNリストから除外した。
  • 2025年4月28日、テキサス州西部地方裁判所はOFACの「トルネード・キャッシュ」措置を無効とし、その実施を恒久的に禁止する判決を下した。
  • OFACによる仮想通貨ミキサーへの初の制裁は、2022年5月にBlender.ioを対象として行われた。

演習 九・六・三・一

9集める現在利用している、または開発中のスマートコントラクトシステムの構成要素を9つまで挙げてください。例えば、コアコントラクト、アップグレードプロキシ、管理者用または一時停止用キー、ガバナンストークン、ウェブサイト、リレーヤーやインデクサーなどです（リストの長さは様々です）。
6まとめるそれらを、不変なコード、アップグレード可能なコード、個人が保持するキー、DAOが保持するキー、誰かが運用するオフチェーンサービス、そして制御権が不明な部分の6つのカテゴリーに分類してください。
3絞り込む6つを3つのグループに分ける：ヴァン・ルーンの論理が対象とする部分、誰かが所有または管理している部分、そして調査が必要な部分。
1結晶化するヴァン・ルーンの判決は、変更不可能なスマートコントラクトについて何を判断したか、そして何を判断しなかったかを1文で述べています。

事実確認

日付、数字、主張は、下記に記載された公表資料と照合して確認しました。

インタラクティブ版で開く →

EN PT ES ZH KO RU DE FR MS