Dịch vụ trộn tiền mã hóa là gì? Bài học từ vụ Tornado Cash

Dịch vụ trộn tiền mã hóa (mixer) là công cụ gom tiền của nhiều người vào chung một chỗ rồi trả lại cho từng người ở địa chỉ mới, nhằm cắt đứt mối liên hệ giữa nơi gửi và nơi nhận trên sổ cái công khai. Vì đặc tính đó, mixer vừa được người dùng coi trọng quyền riêng tư sử dụng, vừa trở thành mắt xích quen thuộc trong các vụ rửa tiền lớn. Tornado Cash là trường hợp điển hình nhất: bị Mỹ trừng phạt năm 2022, được gỡ trừng phạt năm 2025 sau một phán quyết của tòa phúc thẩm, trong khi một nhà phát triển của nó vẫn bị đưa ra xét xử.

Bài viết mang tính giáo dục và phân tích pháp lý, không hướng dẫn sử dụng bất kỳ dịch vụ trộn nào và không phải lời khuyên đầu tư.

Mixer hoạt động theo nguyên lý nào

Trên Bitcoin hay Ethereum, mọi giao dịch đều hiện rõ trên chuỗi khối: tiền đi từ địa chỉ A sang địa chỉ B, bao nhiêu, lúc nào. Như bài bản chất ẩn danh của tiền mã hóa đã phân tích, đây là "bút danh" chứ không phải ẩn danh. Mixer ra đời để làm mờ đường đi ấy.

Mixer tập trung

Dạng lâu đời nhất là một dịch vụ do một nhóm người vận hành. Người dùng gửi tiền vào, dịch vụ trộn lẫn với tiền của người khác, giữ lại một khoản phí và trả số còn lại về địa chỉ mới, thường chia nhỏ và trễ thời gian. Điểm yếu là người dùng phải tin bên vận hành, và bên vận hành có thể lưu nhật ký. Khi dịch vụ bị tịch thu, những nhật ký đó trở thành bằng chứng.

Mixer phi tập trung dựa trên hợp đồng thông minh

Tornado Cash, ra đời năm 2019 trên Ethereum, đi theo hướng khác. Thay vì một công ty giữ tiền, việc trộn do các hợp đồng thông minh đảm nhận. Người dùng nạp một lượng tiền theo các mệnh giá cố định vào một "bể" chung và nhận một mã bí mật. Sau đó, từ một địa chỉ khác, họ dùng bằng chứng không tiết lộ (zero-knowledge proof) để chứng minh mình có quyền rút một phần trong bể mà không cần chỉ ra mình là người nạp nào. Không có ai đứng giữa để giữ tiền hay ghi chép, và một số hợp đồng cốt lõi được thiết kế để không ai, kể cả nhà phát triển, có thể sửa đổi hay tắt.

Vì sao mixer trở thành công cụ rửa tiền

Rửa tiền truyền thống có ba bước: đưa tiền bẩn vào hệ thống, làm rối dấu vết qua nhiều lớp giao dịch, rồi đưa trở lại dưới vỏ bọc hợp pháp. Với tiền mã hóa bị đánh cắp hay thu từ tống tiền, bước khó nhất là cuối cùng: đổi ra tiền pháp định qua sàn giao dịch, nơi có quy trình xác minh khách hàng và hệ thống cảnh báo địa chỉ bẩn. Mixer phục vụ bước giữa, làm cho đồng tiền đi ra trông như không liên quan tới vụ trộm.

Các băng nhóm ransomware, những kẻ trộm từ các vụ tấn công sàn và cầu nối chuỗi khối, và chợ đen đều từng được ghi nhận sử dụng mixer. Mô hình kinh doanh của tống tiền mã hóa được phân tích trong bài ransomware dạng dịch vụ và nền kinh tế ngầm. Trường hợp gây chú ý nhất với Tornado Cash là tiền từ vụ hack Ronin Network năm 2022, được Mỹ quy cho nhóm Lazarus của Triều Tiên.

Tuy vậy, người dùng mixer không chỉ có tội phạm. Một người ủng hộ tài chính cho tổ chức nhân đạo ở vùng xung đột, một nhà báo nhận tiền tài trợ, hay đơn giản là ai đó không muốn người lạ xem toàn bộ tài sản của mình qua một địa chỉ ví, đều có lý do chính đáng để cần quyền riêng tư tài chính. Đó là gốc rễ của mọi tranh luận về sau.

Phân tích chuỗi khối lần theo dòng tiền ra sao

Phân tích chuỗi khối (blockchain analytics) là ngành dùng dữ liệu công khai trên sổ cái, kết hợp thông tin bên ngoài, để gán nhãn và lần theo dòng tiền. Các công ty trong lĩnh vực này cung cấp công cụ cho sàn giao dịch, ngân hàng và cơ quan điều tra. Một số kỹ thuật cơ bản, ở mức khái niệm:

• Gom cụm địa chỉ: các địa chỉ thường xuyên được dùng chung trong một giao dịch có khả năng thuộc cùng một chủ, cho phép gộp hàng nghìn địa chỉ thành một thực thể.
• Gán nhãn: địa chỉ của sàn, dịch vụ, chợ đen hay ví của kẻ tấn công được đánh dấu từ dữ liệu tịch thu, báo cáo nạn nhân và nguồn công khai.
• Tương quan thời gian và số tiền: nếu một người nạp vào bể rồi rút ra ngay sau đó, với cùng mệnh giá và ít người dùng khác trong khoảng thời gian ấy, tập ẩn danh thực tế nhỏ hơn nhiều so với lý thuyết.
• Điểm ra: dù dòng tiền bị làm rối đến đâu, đến lúc đổi sang tiền pháp định nó thường phải chạm vào một sàn có xác minh danh tính.

Mixer không làm cho việc lần theo bất khả thi, mà làm nó tốn kém và mang tính xác suất hơn. Đó cũng là lý do một số người chuyển sang đồng tiền che giấu thông tin ngay ở cấp giao thức, như phân tích trong bài vì sao Monero được xem là đồng tiền bảo mật.

Tornado Cash qua các mốc pháp lý

Lệnh trừng phạt và phán quyết về mã bất biến

Quyết định của OFAC tháng 8/2022 là lần đầu một cơ quan Mỹ trừng phạt một hệ thống phần mềm phi tập trung thay vì một công ty hay cá nhân. Hệ quả là công dân và doanh nghiệp Mỹ bị cấm tương tác với các địa chỉ hợp đồng của Tornado Cash. Một số dịch vụ chặn người dùng từng tương tác với nó, kể cả người vô tình nhận tiền từ Tornado Cash.

Một nhóm người dùng, được hậu thuẫn bởi các tổ chức trong ngành, khởi kiện Bộ Tài chính. Tháng 11/2024, Tòa phúc thẩm khu vực 5 của Mỹ phán quyết rằng các hợp đồng thông minh bất biến, thứ không ai sở hữu hay kiểm soát được, không phải là "tài sản" theo nghĩa của luật trừng phạt mà OFAC dựa vào. Vì vậy, OFAC đã vượt quá thẩm quyền khi trừng phạt chúng. Phán quyết không nói rằng rửa tiền qua Tornado Cash là hợp pháp, mà chỉ giới hạn công cụ pháp lý cơ quan này được dùng. Tháng 3/2025, OFAC gỡ Tornado Cash khỏi danh sách trừng phạt.

Phiên tòa của Roman Storm

Việc gỡ trừng phạt không chấm dứt trách nhiệm hình sự của những người tạo ra dịch vụ. Roman Storm bị truy tố với các cáo buộc âm mưu rửa tiền, âm mưu vi phạm lệnh trừng phạt và âm mưu vận hành dịch vụ chuyển tiền không có giấy phép. Phiên tòa diễn ra tại New York vào mùa hè năm 2025. Theo các tường thuật báo chí, bồi thẩm đoàn kết luận Storm có tội ở cáo buộc liên quan đến chuyển tiền không phép, nhưng không đạt được đồng thuận ở hai cáo buộc nghiêm trọng hơn. Các thủ tục pháp lý sau phiên tòa vẫn được giới công nghệ theo dõi sát, vì kết quả cuối cùng có thể định hình trách nhiệm của người viết phần mềm.

Ở Hà Lan, Alexey Pertsev bị kết án tù vì rửa tiền vào tháng 5/2024. Tòa cho rằng nhóm phát triển biết dịch vụ bị lạm dụng mà không đưa ra biện pháp ngăn chặn hiệu quả. Phía bào chữa lập luận rằng họ chỉ viết mã nguồn mở và không kiểm soát tiền của ai.

Quyền riêng tư hay trách nhiệm

Vụ Tornado Cash buộc các bên đối diện câu hỏi khó: viết phần mềm có phải là một dạng biểu đạt cần được bảo vệ, hay là cung cấp công cụ mà người viết phải chịu trách nhiệm khi bị lạm dụng?

• Phía ủng hộ quyền riêng tư cho rằng một sổ cái hoàn toàn minh bạch khiến mọi người dùng phơi bày tài chính trước bất kỳ ai, và phạt người viết mã là đe dọa toàn bộ ngành phần mềm nguồn mở.
• Phía cơ quan thực thi chỉ ra rằng khối lượng tiền bẩn đi qua mixer là có thật, trong đó theo phía Mỹ có tiền của nhóm tin tặc được nhà nước hậu thuẫn, và cho rằng nhóm phát triển hưởng lợi trong khi biết dịch vụ đang bị lạm dụng.

Giữa hai thái cực là các đề xuất như cho phép người dùng tự chứng minh tiền của mình không đến từ địa chỉ bị gắn cờ mà không tiết lộ toàn bộ lịch sử. Chưa có mô hình nào được chấp nhận rộng rãi.

Điều người dùng bình thường nên biết

Với đa số người dùng, bài học thực tế đơn giản hơn tranh luận pháp lý. Tiền mã hóa từng đi qua mixer có thể bị sàn giao dịch đánh dấu, tạm giữ hoặc yêu cầu giải trình nguồn gốc. Nhận tiền từ người lạ có thể kéo theo những liên kết mà bạn không mong muốn. Quy định về tiền mã hóa khác nhau giữa các nước và thay đổi nhanh, nên trước mọi quyết định liên quan cần tìm hiểu kỹ quy định nơi mình sinh sống và chấp nhận rằng rủi ro pháp lý là có thật.