Công tố Hoa Kỳ phản bác mạnh mẽ nỗ lực hủy án của Roman Storm, khẳng định Tornado Cash không chỉ là “mã nguồn mở” và dẫn chứng dòng tiền từ vụ hack Ronin do Lazarus Group thực hiện.
Sau phiên tòa kéo dài bốn tuần, Storm bị kết tội âm mưu vận hành doanh nghiệp chuyển tiền không phép; phản hồi 113 trang của công tố gọi lập luận bào chữa là vô căn cứ và trái ngược với chứng cứ tại tòa.
- Hồ sơ 113 trang của công tố cho rằng lập luận “chỉ là mã” bị bác bỏ bởi lời khai và chứng cứ kỹ thuật.
- Bằng chứng về 12 triệu USD lợi nhuận ẩn, sử dụng bí danh và tài khoản nước ngoài, làm suy yếu luận điểm thiện chí.
- Dòng tiền từ vụ hack Ronin và vi phạm trừng phạt Lazarus Group củng cố cáo buộc vận hành hệ thống trộn tiền phục vụ tội phạm.
Tóm tắt nhanh vụ việc
Các diễn biến mới cho thấy nỗ lực của Roman Storm nhằm hủy án gặp phản ứng gay gắt từ phía công tố, với lập luận cốt lõi xoay quanh tính kiểm soát và mục đích vận hành Tornado Cash.
Roman Storm đang tìm cách gì?
Storm đã nộp đơn đề nghị tuyên trắng án sau khi bị kết tội vì âm mưu vận hành doanh nghiệp chuyển tiền không phép, bị cáo buộc xử lý nguồn tiền phạm tội.
Động thái này nhằm đảo ngược phán quyết của bồi thẩm đoàn sau phiên xử kéo dài bốn tuần. Hồ sơ phản hồi của công tố mô tả yêu cầu của Storm là thiếu cơ sở pháp lý khi đối chiếu với chứng cứ đã xuất trình tại tòa.
Chính phủ nói gì về lập luận bào chữa?
Công tố bác bỏ quan điểm rằng Tornado Cash “chỉ là mã phi tập trung”, nhấn mạnh bằng chứng cho thấy tồn tại các điểm kiểm soát tập trung và phối hợp vận hành.
Theo phản hồi, các bằng chứng kỹ thuật và trao đổi riêng tư cho thấy câu chuyện “phi tập trung” dùng để công khai không phản ánh thực tế kiểm soát. Các phần hệ thống ăn khớp với nhau vượt ra ngoài các smart contract bất biến.
Chính phủ Hoa Kỳ bác bỏ lập luận “chỉ là mã nguồn” bằng chứng cứ kỹ thuật
Công tố lập luận Tornado Cash không chỉ gồm smart contract bất biến mà là hệ thống với nhiều bộ phận liên kết, có các điểm kiểm soát và vai trò vận hành cụ thể.
Ngay cả chuyên gia phía bị cáo cũng thừa nhận cấu trúc “nhiều phần liên kết” vượt khỏi phạm vi chỉ là mã mở. Tin nhắn riêng tư cho thấy nhóm sáng lập hiểu hạn chế của câu chuyện “phi tập trung”, trái với tuyên bố trước công chúng.
Lập luận này đặt trọng tâm vào yếu tố “kiểm soát” và “vận hành”, tách biệt với quyền tự do viết phần mềm. Theo công tố, bằng chứng tại tòa đủ để bác bỏ luận điểm rằng nhà phát triển không chịu trách nhiệm với cách thức hệ thống được dùng.
Bằng chứng tại tòa thể hiện sức nặng: 21 nhân chứng và hơn 400 tài liệu
Bồi thẩm đoàn đã nghe lời khai của 21 nhân chứng và xem xét hơn 400 chứng cứ do chính phủ xuất trình.
Khối lượng chứng cứ bao gồm tài liệu kỹ thuật, nhật ký giao dịch và thông tin liên lạc nội bộ, nhằm kết nối Storm với hoạt động trộn tiền quy mô lớn, xử lý hàng tỷ USD giá trị tiền điện tử.
Theo công tố, tập chứng cứ này cho thấy mô hình phối hợp nhằm vận hành hệ thống trộn tiền, không phải chỉ là code thả nổi. Cách trình bày tại tòa củng cố quan điểm về sự chủ động kiểm soát trong các mắt xích hạ tầng.
Lợi nhuận ẩn 12 triệu USD làm suy yếu luận điểm “dự án thiện chí”
Công tố cho rằng Storm đã nỗ lực che giấu lợi nhuận, bao gồm việc rút hơn 12 triệu USD từ Token quản trị TORN qua tài khoản đăng ký dưới tên công dân nước ngoài và dùng bí danh.
Những động thái này, theo công tố, mâu thuẫn với hình ảnh dự án nguồn mở vì cộng đồng. Việc sử dụng danh tính che chắn và kênh rút tiền gián tiếp làm nổi bật động cơ lợi nhuận.
Công tố nhấn mạnh các giao dịch phạm pháp chiếm tỉ trọng đáng kể trong hoạt động dịch vụ, và lợi nhuận rút ra dưới bí danh là chỉ dấu về ý chí phạm tội, không phải vô tình hay ngoài tầm kiểm soát.
Dòng tiền từ vụ hack Ronin củng cố cáo buộc về vi phạm trừng phạt
Hồ sơ cho biết Tornado Cash đã xử lý hàng trăm triệu USD liên quan đến vụ hack cầu Ronin, trong đó có dòng tiền gắn với Lazarus Group bị trừng phạt bởi Hoa Kỳ.
Công tố lập luận Storm duy trì “hệ thống relayer” phục vụ các giao dịch này dù đã được cảnh báo về người dùng bị trừng phạt. Đây là trọng tâm kết nối yếu tố trừng phạt và rửa tiền.
Vụ Ronin được FBI quy kết cho Lazarus Group, làm nổi bật rủi ro an ninh quốc gia khi các mixer bị lợi dụng. Điều này tạo bối cảnh cho cách công tố nhìn nhận mức độ nghiêm trọng của hành vi bị cáo buộc.
“FBI, phối hợp với Bộ Ngân khố và các đối tác Hoa Kỳ, xác nhận Lazarus Group (còn gọi APT38) chịu trách nhiệm cho vụ trộm 620 triệu USD từ cầu Ronin.”
– FBI, Thông cáo về quy kết hoạt động mạng độc hại của CHDCND Triều Tiên, 14/04/2022, fbi.gov
“Bất chấp các cam kết công khai, Tornado Cash đã nhiều lần thất bại trong việc áp đặt kiểm soát hiệu quả để ngăn chặn rửa tiền cho các tác nhân mạng độc hại, bao gồm những kẻ do nhà nước bảo trợ.”
– Brian E. Nelson, Thứ trưởng phụ trách Khủng bố và Tình báo Tài chính, Bộ Ngân khố Hoa Kỳ, 08/08/2022, home.treasury.gov
Kết quả bồi thẩm đoàn và các điểm chưa đạt đồng thuận
Storm bị kết tội âm mưu vận hành doanh nghiệp chuyển tiền không phép, song bồi thẩm đoàn bất đồng ở hai tội danh khác.
Hai cáo buộc còn lại gồm âm mưu rửa tiền và vi phạm trừng phạt chưa đạt phán quyết do bồi thẩm đoàn không thể đồng thuận. Công tố cho rằng chứng cứ đủ mạnh cho tất cả cáo buộc, nhưng tôn trọng kết quả bất đồng.
Với đơn xin trắng án của Storm, phản hồi của công tố khẳng định bản án hiện có dựa trên chứng cứ chặt chẽ. Các bước pháp lý tiếp theo sẽ quyết định việc giữ nguyên hay thay đổi phán quyết.
Phản hồi 113 trang nhấn mạnh yếu tố kiểm soát và chủ ý vận hành
Phản hồi của công tố mô tả lập luận bào chữa là vô căn cứ, mâu thuẫn với “bằng chứng áp đảo” tại tòa.
Trọng tâm là yếu tố con người trong thiết kế, điều phối hệ thống, và cách thức phản ứng trước cảnh báo về người dùng bị trừng phạt. Câu chuyện “chỉ là mã” bị đặt cạnh toàn bộ dữ kiện vận hành.
Cách tiếp cận này phù hợp với bức tranh thực tiễn: dịch vụ trộn tiền có thể là thuật toán, nhưng chuỗi công năng và relayer, giao diện, kiểm soát quyền truy cập có thể phản ánh quản trị tập trung.
Bảng đối chiếu lập luận hai bên
Bảng dưới đây tóm tắt những điểm mấu chốt giữa lập luận bào chữa và quan điểm công tố, dựa trên nội dung được trình bày trong hồ sơ và tại tòa.
| Khía cạnh | Lập luận bào chữa | Quan điểm công tố |
|---|---|---|
| Bản chất Tornado Cash | Mã nguồn mở, phi tập trung, tác giả không kiểm soát người dùng | Hệ thống nhiều phần liên kết, có điểm kiểm soát và vận hành |
| Kiểm soát vận hành | Không can thiệp, không điều phối giao dịch | Relayer và các thành phần phụ trợ được duy trì, kể cả sau cảnh báo |
| Lợi nhuận | Không nhằm trục lợi bất chính | Rút 12 triệu USD qua danh tính che chắn, thể hiện động cơ |
| Tuân thủ trừng phạt | Không cố tình vi phạm | Dòng tiền từ vụ Ronin, liên quan Lazarus, vi phạm trừng phạt |
| Chứng cứ tại tòa | Nhấn mạnh tính mở, bất biến của smart contract | 21 nhân chứng, 400+ tài liệu củng cố cáo buộc vận hành |
Tác động rộng hơn: ranh giới pháp lý với dịch vụ trộn tiền ngày càng rõ
Vụ việc củng cố quan điểm rằng yếu tố “kiểm soát và vận hành” là then chốt khi đánh giá trách nhiệm pháp lý với dịch vụ trộn tiền.
Dù phần mềm là mã nguồn, việc thiết kế mô hình phối hợp, thu lợi, phản ứng trước cảnh báo và duy trì hạ tầng phụ trợ đều có thể trở thành căn cứ pháp lý.
Trong bối cảnh các nhóm bị trừng phạt như Lazarus lợi dụng mixer, xu hướng cưỡng chế sẽ tiếp tục nhắm vào thực thể và cá nhân có vai trò điều phối, thay vì chỉ dừng ở tầng mã.
Câu hỏi thường gặp
Roman Storm là ai?
Anh là nhà phát triển Tornado Cash, bị kết tội âm mưu vận hành doanh nghiệp chuyển tiền không phép sau phiên tòa bốn tuần tại New York.
Tornado Cash là gì?
Đó là dịch vụ trộn tiền điện tử giúp che giấu nguồn gốc giao dịch. Công tố cáo buộc hệ thống có các điểm kiểm soát ngoài smart contract.
Vì sao vụ hack Ronin liên quan đến vụ án?
Công tố cho rằng Tornado Cash xử lý dòng tiền lớn từ vụ Ronin do Lazarus Group thực hiện, vi phạm lệnh trừng phạt của Hoa Kỳ.
12 triệu USD lợi nhuận ẩn nói lên điều gì?
Công tố xem đây là bằng chứng về động cơ, mâu thuẫn với hình ảnh dự án mã nguồn mở thiện chí vì cộng đồng.
Các cáo buộc nào chưa có phán quyết?
Bồi thẩm đoàn bất đồng ở hai cáo buộc: âm mưu rửa tiền và vi phạm trừng phạt, nên chưa đưa ra phán quyết cuối cùng cho hai tội danh này.
