Tornado Cash: 40 tháng tranh cãi về việc chính phủ có thể trừng phạt một đoạn mã như trừng phạt con người hay không

Ngày mã nguồn bị đưa vào danh sách trừng phạt

Ngày 8/8/2022, Văn phòng Kiểm soát Tài sản Nước ngoài (OFAC) thuộc Bộ Tài chính Mỹ làm điều chưa từng có tiền lệ. Họ đưa hàng loạt địa chỉ hợp đồng thông minh Ethereum vào danh sách Cá nhân và Tổ chức Bị chỉ định Đặc biệt (SDN). Không phải một cá nhân, không phải một công ty, không phải quỹ hay ví do người vận hành đã biết kiểm soát, mà là phần mềm đã triển khai, không thể thay đổi, mang tên Tornado Cash. Từ sáng hôm đó, bất kỳ người Mỹ nào tương tác với các hợp đồng này về lý thuyết đều đối mặt chế độ trừng phạt thứ cấp, tương tự như dùng để chống buôn bán vũ khí và các quốc gia bảo trợ khủng bố. Lý do được đưa ra, theo số liệu của chính Bộ Tài chính, Tornado Cash đã rửa hơn 7 tỷ USD từ năm 2019, trong đó khoảng 455 triệu USD bị nhóm Lazarus của Triều Tiên đánh cắp. Biện pháp khắc phục, đơn giản là coi chính mã nguồn như thực thể bị trừng phạt.

Tiếp theo là cuộc tranh luận kéo dài 40 tháng, diễn ra đồng thời tại hai tòa án liên bang Mỹ, một tòa hình sự Hà Lan, cùng hàng loạt bình luận trên các blog chính sách tiền mã hóa còn hoạt động, về câu hỏi chưa từng cần trả lời trước đây: liệu chính phủ có thể trừng phạt phần mềm như cách nó trừng phạt một con người hay không.

OFAC thực sự đã làm gì

Quyết định chỉ định ban đầu liệt kê hàng chục địa chỉ hợp đồng và ba tên miền liên quan. Trong vài giờ, các hệ thống tuân thủ lớn của Mỹ đã phản ứng. Circle đóng băng khoảng 75.000 USDC tại các địa chỉ bị trừng phạt ngay trong ngày. GitHub vô hiệu hóa kho lưu trữ của người duy trì Tornado Cash, kể cả tài khoản cá nhân Roman Semenov. Infura và Alchemy chặn truy cập RPC đến các địa chỉ hợp đồng. Coinbase, vốn âm thầm tài trợ một phần vụ kiện sau này của Coin Center thách thức hành động này, giữ thái độ thận trọng hơn, và một số người dùng của họ trở thành nguyên đơn trong vụ kiện sau này mang tên Van Loon v. Treasury.

Tác động thực tế đến người dùng bình thường vừa lạ vừa lớn. Bất kỳ ai từng gửi tiền vào Tornado Cash, kể cả nhiều năm trước bất kỳ vụ hack Triều Tiên nào, thức dậy ngày 9/8 thấy ví của mình có khả năng bị phơi bày. Một số kẻ thích đùa gửi lượng nhỏ ETH đã trộn đến địa chỉ người nổi tiếng để thử xem lệnh trừng phạt có thể tự vũ khí hóa qua giao dịch không được yêu cầu hay không. Về mặt truy tố, điều này không thể, nhưng hiệu ứng răn đe là tức thì. Quyền riêng tư trên Ethereum, đối với người bình thường dùng giao thức vì lý do phi hình sự, trở thành thứ phải nhờ luật sư mới thoát khỏi được.

Vụ án Pertsev

Hai ngày sau quyết định chỉ định SDN, ngày 10/8/2022, Cơ quan Thông tin và Điều tra Tài chính Hà Lan bắt Alexey Pertsev tại nhà riêng ngoại ô Amsterdam. Pertsev là một trong những nhà phát triển được nêu tên của giao thức, tham gia từ khi triển khai năm 2019. Ông trải qua phần lớn 20 tháng tiếp theo trong giam giữ trước xét xử.

Ngày 27/4/2024, Tòa án Quận East Brabant tại 's-Hertogenbosch kết tội ông rửa tiền và tuyên án 5 năm 4 tháng tù. Lý luận của tòa án Hà Lan đáng đọc kỹ, vì hoàn toàn không dựa trên luật trừng phạt của Mỹ. Tòa phát hiện Pertsev tiếp tục duy trì, cập nhật và quảng bá giao thức sau khi đã rõ một phần đáng kể lưu lượng là tiền bị đánh cắp, và việc duy trì chủ động này cấu thành hoạt động rửa tiền theo bộ luật hình sự Hà Lan. Phán quyết không nói viết giao thức là bất hợp pháp. Phán quyết nói vận hành giao thức khi đã biết là bất hợp pháp.

Tiến trình tại Mỹ

Vụ án tại Mỹ diễn biến khác. Sáu người dùng Tornado Cash, được tổ chức và tài trợ một phần bởi Coin Center và Blockchain Association, kiện Bộ Tài chính tại Texas. Họ thua ở tòa quận. Họ kháng cáo lên Tòa phúc thẩm Khu vực thứ Năm. Ngày 26/8/2024, hội đồng ba thẩm phán đảo ngược phán quyết.

Ý kiến do Thẩm phán Don Willett viết, không đi đến câu hỏi Tu chính án Thứ nhất mà các bản tóm tắt tư pháp từ EFF, a16z, Coin Center, và Blockchain Association thúc đẩy suốt nhiều năm. Thay vào đó, phán quyết trên cơ sở pháp lý hẹp hơn và tàn phá hơn, Đạo luật Quyền Lực Kinh tế Khẩn cấp Quốc tế (IEEPA) đơn giản không cho phép những gì OFAC đã làm. Vấn đề nằm ở định nghĩa. IEEPA cho Tổng thống quyền phong tỏa "tài sản" mà công dân nước ngoài có lợi ích. Các hợp đồng thông minh không thể thay đổi của Tornado Cash, tòa phát hiện, không phải tài sản. Chúng không thể sở hữu, chuyển nhượng, hay kiểm soát bởi bất kỳ ai, kể cả người triển khai ban đầu. Như hội đồng diễn đạt, OFAC đã vượt qua văn bản đạt luật và cố gắng trừng phạt trực tiếp phần mềm, "thay vì những kẻ côn đồ và thực thể lạm dụng nó."

Những gì tòa tường minh không quyết định cũng quan trọng không kém những gì đã quyết định. Tòa không quyết định liệu mã nguồn có phải ngôn luận theo Tu chính án Thứ nhất hay không. Tòa không quyết định liệu Bộ Tài chính có thể trừng phạt hợp đồng thông minh có thể nâng cấp, giao thức được kiểm soát bởi đa chữ ký, hay DAO có token quản trị hoạt động hay không. Tòa không quyết định liệu Roman Storm, khi đó đang chờ xét xử tại SDNY về các cáo buộc âm mưu, có chịu trách nhiệm hình sự vì viết cùng đoạn mã đó hay không. Phán quyết là chiến thắng pháp lý sạch sẽ trên câu hỏi hẹp, chính xác là loại phán quyết sống sót qua xem xét toàn hội đồng và sự chú ý của Tòa án Tối cao.

Việc xóa tên và hướng dẫn tháng 11/2025

OFAC mất 7 tháng để hành động theo phán quyết. Ngày 21/3/2025, Bộ Tài chính xóa Tornado Cash khỏi danh sách SDN và âm thầm lưu ý sẽ tiếp tục giám sát các giao dịch có thể có lợi cho tác nhân mạng độc hại. Việc xóa tên không phải thừa nhận sai lầm. Đó là dọn dẹp hành chính.

Sự đảo ngược thực sự đến 8 tháng sau. Ngày 18/11/2025, Bộ Tài chính ban hành hướng dẫn giải thích chính thức, nêu rõ các hợp đồng thông minh không thể thay đổi, được định nghĩa là hợp đồng thông minh mã nguồn không thể sửa đổi bởi bất kỳ bên nào, không phải "tài sản" theo nghĩa IEEPA và do đó không thể bị trừng phạt như vậy. Hướng dẫn áp dụng lý luận Van Loon có hiệu lực tương lai lên tất cả chương trình OFAC, không chỉ hồ sơ Tornado Cash. Nó không động đến thẩm quyền cơ quan đối với hợp đồng có thể nâng cấp, khóa ký, giao diện người dùng, địa chỉ người triển khai, và bất kỳ tác nhân con người nào liên quan đến giao thức.

Với các tác giả mã nguồn viết phần mềm riêng tư, thay đổi này có ý nghĩa. Với người dùng bất kỳ bộ trộn cụ thể nào, nó nhỏ hơn nhiều. Bản án Pertsev vẫn đứng vững tại Hà Lan. Vụ truy tố Roman Storm, kết thúc bằng bồi thẩm đoàn treo và tuyên bố bế tắc ngày 7/8/2025, có thể được xét xử lại, và Bộ Tư pháp đã tín hiệu ý định làm vậy. Bất kỳ ai dùng Tornado Cash ngày nay vẫn phải tuân thủ báo cáo bí mật ngân hàng, cờ hoạt động đáng ngờ từ mọi sàn giao dịch lớn, và định kiến xã hội còn sót lại rằng ETH đã trộn là ETH bẩn.

Các mốc thời gian quan trọng

• 8/8/2022: OFAC thêm địa chỉ hợp đồng Tornado Cash vào danh sách SDN
• 10/8/2022: Alexey Pertsev bị bắt tại Hà Lan
• 27/4/2024: Pertsev bị kết tội rửa tiền bởi Tòa án Quận East Brabant
• 26/8/2024: Tòa phúc thẩm Khu vực thứ Năm phán quyết Van Loon v. Treasury
• 21/3/2025: OFAC xóa Tornado Cash khỏi danh sách SDN
• 7/8/2025: Phiên tòa Roman Storm kết thúc bằng tuyên bố bế tắc tại SDNY
• 18/11/2025: Bộ Tài chính ban hành hướng dẫn chính thức rằng hợp đồng thông minh không thể thay đổi không phải tài sản có thể bị trừng phạt

Điều này thay đổi gì cho Danh mục

Tornado Cash bản thân không có trong danh mục của chúng tôi, và hướng dẫn tháng 11/2025 không thay đổi điều đó. Chúng tôi liệt kê các dịch vụ có thể đánh giá, liên hệ, và giữ theo tiêu chuẩn vận hành được ghi nhận. Giao thức không có người vận hành và không có bộ phận hỗ trợ không phải thứ chúng tôi có thể xác minh, bất kể tình trạng pháp lý. Điều thay đổi là khung biên tập.

Trong 4 năm, giả định thống trị trong công cụ riêng tư là bất kỳ dự án nào cơ quan quản lý không thích đủ đều có thể bị xóa khỏi internet bằng một nét bút OFAC, và việc xóa này là thực tế kiến trúc vĩnh viễn phải thiết kế xung quanh. Van Loon và hướng dẫn tháng 11 biến giả định đó thành thứ gì đó ít chết chóc hơn. Các lệnh trừng phạt đối với mã nguồn có thể bị thách thức, thu hẹp, và đảo ngược qua kiện tụng pháp lý thông thường, trong khung thời gian khoảng 3 năm, mà không cần thắng được lập luận Tu chính án Thứ nhất. Đó là mô hình đe dọa khác. Nó gần hơn với tư thế tuân thủ thương mại mà các nhà xuất khẩu phần mềm thông thường đã sống dưới đó 30 năm qua, và xa hơn khung tồn tại mà cộng đồng riêng tư đã dùng từ năm 2022. Chúng tôi sẽ viết phù hợp. Vụ án Pertsev, trong khi đó, vẫn là cảnh báo vận hành. Duy trì giao thức sau khi nó bị chiếm đóng đáng kể bởi các tác nhân bị trừng phạt là rủi ro hình sự cá nhân tại các khu vực pháp lý không cần thắng được lập luận tài sản để thắng được lập luận duy trì.

Nguồn

• Thông cáo báo chí JY0916 của Bộ Tài chính Mỹ, lệnh trừng phạt Tornado Cash (8/8/2022)
• Van Loon v. Department of the Treasury, Tòa phúc thẩm Khu vực thứ Năm (26/8/2024)
• Coin Center, kiện tụng và chính sách Tornado Cash
• Electronic Frontier Foundation, phạm vi bao quát mã nguồn-là-ngôn luận
• Chainalysis, phân tích lệnh trừng phạt Tornado Cash

Nhật ký chỉnh sửa

• 2025-11-25 : Bản thảo đầu tiên sau khi hướng dẫn ngày 18/11 của Bộ Tài chính được lưu hành. Trích dẫn nguyên văn ngôn ngữ ý kiến Willett từ bản án slip thay vì phạm vi thứ cấp để tránh lệch lạc diễn giải thông thường. Cắt phần dự kiến về Samourai Wallet vì xứng đáng có bài riêng.
• 2025-12-02 : Thêm chi tiết đóng băng USDC của Circle sau khi độc giả chỉ ra chúng tôi đã bỏ qua phản ứng tuân thủ on-chain từ tháng 8/2022. Chỉnh sửa lại phần Pertsev để làm rõ lý thuyết Hà Lan là duy trì, không phải tác quyền, đây là phần hầu hết độc giả Mỹ hiểu sai.
• 2025-12-09 : Cắt giảm khoảng 180 từ từ phần Van Loon sau khi rà soát pháp lý cảnh báo chúng tôi đang lạc sang lãnh thổ Tu chính án Thứ nhất mà tòa tường minh tránh. Thay bằng trích dẫn nguyên văn "những kẻ côn đồ và thực thể lạm dụng nó."
• 2025-12-14 : Thêm tín hiệu xét xử lại Roman Storm sau hồ sơ phiên họp tình trạng ngày 11/12 của DOJ. Tạm hoãn đặt tên công tố viên vì hồ sơ vẫn đang di chuyển.
• 2025-12-18 : Lượt cuối phần Danh mục. Làm sắc nét đoạn mô hình đe dọa sau khi có bất đồng nội bộ về việc gọi tư thế mới là "tuân thủ thương mại" hay "rủi ro trừng phạt." Giữ tuân thủ thương mại vì chính xác hơn và ít báo động hơn, đây là lập trường biên tập chúng tôi muốn giữ về sau.