Lập trình viên Tornado Cash bị tuyên án, "Code là ngôn ngữ" đã chết?
Tuyển chọn TechFlowTuyển chọn TechFlow
Lập trình viên Tornado Cash bị tuyên án, "Code là ngôn ngữ" đã chết?
Về mặt pháp lý, vụ án của Alexey Pertsev quan trọng hơn đối với tương lai của DeFi so với các vụ gian lận chống lại SBF và Do Kwon hay vi phạm chống rửa tiền của Zhao Changpeng.
Chuyên sâu báo cáo Web3Tác giả: Niàn Qīng, ChainCatcher
Hôm qua, nhà phát triển Tornado Cash, công dân Nga 31 tuổi Alexey Pertsev đã bị kết án 5 năm 4 tháng tù tại Hà Lan vì rửa tiền 2,2 tỷ USD trên nền tảng trộn tiền mã hóa. Trước đó, Pertsev đã bị giam giữ trong tám tháng. Thời gian này sẽ được trừ vào bản án, còn lại bốn năm rưỡi tù. Luật sư của Pertsev có 14 ngày để kháng cáo quyết định của tòa án.
Trong ngành, vụ việc này được xem không chỉ là bước ngoặt về quản lý DeFi mà còn làm thay đổi tiến trình quyền riêng tư mã hóa, gây ra hiệu ứng "rét run sợ" đối với cộng đồng mã nguồn mở toàn cầu. Việc một lập trình viên phần mềm mã nguồn mở bị tuyên án tội danh đánh dấu các nhà phát triển hợp đồng thông minh Web3 sẽ chịu sự ràng buộc pháp lý theo khuôn khổ truyền thống.
Thẩm phán và công tố viên trong vụ án Alexey Pertsev cho rằng: "Bản chất và chức năng của Tornado Cash là một công cụ dành cho tội phạm", "Tornado Cash không đơn thuần là hợp đồng thông minh, mà vận hành giống như một công ty".
Tháng 8 năm ngoái, hai nhà sáng lập đồng sáng lập Tornado Cash là Roman Storm và Roman Semenov bị buộc tội âm mưu rửa tiền và âm mưu vi phạm Đạo luật Quyền lực Kinh tế Khẩn cấp Quốc tế, mỗi tội danh có mức phạt tối đa 20 năm tù; ngoài ra, cả hai còn bị buộc tội âm mưu điều hành dịch vụ chuyển tiền không giấy phép, tội danh này có mức phạt tối đa 5 năm tù.
Hiện nay, Roman Storm đã bị bắt tại bang Washington, Mỹ, còn Roman Semenov vẫn đang lẩn trốn. Phiên tòa xét xử Roman Storm dự kiến diễn ra vào ngày 23 tháng 9. Bản án của Alexey Pertsev sẽ ảnh hưởng trực tiếp đến kết quả phiên tòa xét xử Storm.
Đáng chú ý, ngay sau khi Pertsev bị tuyên án hôm qua, cộng đồng mã hóa vẫn tiếp tục gửi tiền quyên góp vào quỹ từ thiện "Free Alexey & Roman" trên nền tảng Juicebox, với những lời nhắn như "privacy is not a crime", "code is speech", "defend freedom", "XX stands with privacy and open-source public goods"... nhằm ủng hộ các nhà phát triển Tornado Cash cũng như tinh thần mã hóa.
Mốc thời gian vụ án Tornado Cash
Tornado Cash ra mắt tháng 8 năm 2019, ba nhà sáng lập gồm Roman Storm, Roman Semenov và Alexey Pertsev, đội ngũ sáng lập chủ chốt là các nhà nghiên cứu zkSNARK, trong đó Alexey Pertsev còn là thành viên cốt lõi của công ty kiểm toán bảo mật Peppersec.
Dưới đây là bảng thời gian đầy đủ các sự kiện liên quan đến vụ án Tornado Cash (biên dịch từ DL News, ChainCatcher bổ sung và chỉnh sửa):
Năm 2019
6 tháng 8: Tornado Cash ra mắt, cho phép người dùng "gửi tiền mã hóa Ethereum hoàn toàn ẩn danh".
13 tháng 9: Văn phòng Kiểm soát Tài sản Nước ngoài Mỹ (OFAC) áp lệnh trừng phạt lên nhóm tin tặc Triều Tiên Lazarus Group.
Năm 2020
10 tháng 5: Tornado Cash hoàn tất "lễ thức thiết lập đáng tin cậy", đốt bỏ quyền quản trị mọi pool gửi tiền và cập nhật hợp đồng thông minh. Giao thức Tornado Cash trở thành đoạn mã tự thực thi vĩnh viễn, không chịu sự kiểm soát của bất kỳ bên nào. Tornado Cash gọi đây là "lễ thức thiết lập đáng tin cậy lớn nhất thế giới", có tổng cộng 1114 người tham gia.
4 tháng 6: Các nhà phát triển Tornado Cash triển khai một công cụ tuân thủ tùy chọn, cho phép người dùng tiết lộ lịch sử giao dịch khi cần thiết.
25 tháng 9: Hacker đánh cắp 275 triệu USD tiền mã hóa từ sàn KuCoin. Đây là một trong những vụ tấn công lớn nhất mà công tố viên Hà Lan liên kết với Tornado Cash.
Năm 2022
23 tháng 3: Cầu nối sidechain Axie Infinity Ronin bị tấn công, thiệt hại khoảng 625 triệu USD. Đây là một trong những vụ hack tiền mã hóa lớn nhất cho đến nay, tội phạm đã rửa tiền thông qua Tornado Cash.
6 tháng 5: OFAC trừng phạt Blender – bộ trộn tiền ảo đầu tiên bị dùng bởi nhóm tội phạm mạng Triều Tiên.
24 tháng 6: Nhóm Lazarus tấn công cầu nối Harmony Horizon, gần 100 triệu USD tiền mã hóa bị đánh cắp được chuyển qua Tornado Cash. Theo công tố viên Hà Lan, đây là một vụ hack lớn khác sử dụng Tornado Cash để rửa tiền.
8 tháng 8: OFAC áp lệnh trừng phạt lên Tornado Cash vì bị dùng để rửa tiền 7 tỷ USD.
9 tháng 8: Trang web Tornado Cash đã bị đóng cửa, kho lưu trữ mã dự án bị xóa khỏi GitHub, tài khoản GitHub của đồng sáng lập Roman Semenov bị tạm ngừng.
10 tháng 8: Alexey Pertsev bị bắt tại Hà Lan và bị giam cầm mà không có cáo buộc công khai.
12 tháng 10: Tổ chức phi lợi nhuận Coin Center, chuyên theo dõi chính sách mã hóa, kiện OFAC về lệnh trừng phạt Tornado Cash.
22 tháng 11: Công tố viên Hà Lan lần đầu tiết lộ cáo buộc tại phiên điều trần tòa án.
Năm 2023
20 tháng 4: Alexey Pertsev được tại ngoại chờ xét xử.
23 tháng 8: Bộ Tư pháp Mỹ buộc tội nhà phát triển Tornado Cash Roman Storm và trừng phạt nhà phát triển Roman Semenov.
25 tháng 8: Đồng sáng lập Tornado Cash Roman Storm được tại ngoại.
7 tháng 12: Binance niêm yết rút token gốc TORN của Tornado Cash.
Năm 2024
25-26 tháng 3: Alexey Pertsev trải qua phiên xét xử kéo dài hai ngày tại thành phố 's-Hertogenbosch, Hà Lan.
5 tháng 4: Hiệp hội thương mại Mỹ nộp bản tóm tắt bào chữa cho Roman Storm và phản bác từng cáo buộc chống lại ông.
14 tháng 5: Alexey Pertsev bị tuyên án 64 tháng tù vì tội rửa tiền.
23 tháng 9: Roman Storm sẽ bị xét xử tại Mỹ.
Tranh cãi và trọng tâm phiên tòa: Biên giới danh tính của nhà phát triển hợp đồng thông minh
Trọng tâm của vụ án Tornado Cash nằm ở chỗ liệu luật chống rửa tiền hiện hành có thể áp dụng cho các nền tảng tài chính mã hóa/chuỗi khối hay không.
Trong quá trình xét xử, luật sư biện hộ Keith Cheng cho biết, kể cả các nhà phát triển Tornado Cash cũng không thể ngăn người khác sử dụng mã hợp đồng thông minh mã nguồn mở. Người đóng góp cho một hợp đồng thông minh là một tổ chức phi tập trung, chứ không phải một cá nhân chịu trách nhiệm duy nhất như doanh nghiệp truyền thống.
Tháng 8 năm ngoái, sau khi Roman Storm và Roman Semenov bị truy tố tại Mỹ, Coin Center (tổ chức phi lợi nhuận theo dõi chính sách mã hóa, nghiên cứu, giáo dục và vận động hành lang cho cách tiếp cận hợp lý với công nghệ mã hóa) đăng bài ủng hộ, cho rằng cáo buộc mới nhất đối với Tornado Cash mâu thuẫn với tài liệu của Cơ quan Hướng dẫn Tội phạm Tài chính (FinCEN).
Quan điểm cốt lõi của họ cho rằng các nhà phát triển Tornado Cash chỉ cung cấp "dịch vụ phát triển phần mềm hoặc truyền thông đơn thuần", chứ không thực hiện "hoạt động chuyển tiền đại diện cho công chúng". Cơ quan tư pháp không nên nhầm lẫn giữa "người cung cấp dịch vụ" với "người chuyển tiền". Quyền kiểm soát duy nhất của Tornado Cash đối với hợp đồng thông minh là thay đổi logic mật mã liên quan đến chức năng riêng tư, chứ không có khả năng thực tế nào để xem hoặc di chuyển tiền của người dùng.
Đầu tháng 4 năm nay, Coin Center nộp bản luận cứ amicus curiae trong vụ án hình sự đang diễn ra tại Quận Nam New York đối với Roman Storm, kêu gọi tòa án loại bỏ mô tả mơ hồ và thiên vị của công tố đối với Tornado Cash. Các lập trình viên mã nguồn mở không thể kiểm soát hành vi của người dùng công cụ của họ, và việc phát hành mã Tornado Cash được Hiến pháp Mỹ bảo vệ rõ ràng. Ngoài ra, Coin Center cho rằng vụ án này liên quan trực tiếp đến lợi ích của những người "chỉ phát triển mã nguồn mở, phát hành mã và phát biểu", và kêu gọi bảo vệ quyền tự do phát triển và phát hành phần mềm tại Mỹ.
Luật sư của Roman Storm trong tài liệu nộp lên Tòa án Quận Liên bang Quận Nam New York cuối tháng 3 cũng nhấn mạnh rằng Tornado Cash là một hợp đồng thông minh không lưu ký, người dùng hoàn toàn kiểm soát tài sản của mình mà không cần phụ thuộc vào bất kỳ nhà cung cấp dịch vụ hay bên thứ ba nào. Viết mã là một dạng tự do ngôn luận, do đó được bảo vệ bởi Tu chính án Thứ nhất Hiến pháp Mỹ.
Tuy nhiên, tại phiên tòa ngày 14, tòa án đã bác bỏ quan điểm này, cho rằng không có đột phá công nghệ nào có thể vượt qua nghĩa vụ pháp lý ngăn nền tảng giúp tội phạm và các thực thể bị trừng phạt che giấu nguồn gốc tài sản bị đánh cắp. Công tố viên Martine Boerlage khẳng định Tornado Cash "không chỉ là hợp đồng thông minh, nó vận hành như một công ty".
Bộ Tư pháp Mỹ tái khẳng định, bản cáo trạng của họ không liên quan đến việc mã máy tính của Tornado Cash có phải là tự do ngôn luận hay được bảo vệ theo Tu chính án Thứ nhất hay không. Các bị cáo không bị truy tố vì phát hành mã máy tính, mà vì sử dụng nó để thúc đẩy hoạt động phi pháp mang lại lợi nhuận.
Bộ Tư pháp giải thích thêm rằng ngân hàng sử dụng mã máy tính để xử lý giao dịch tài chính. Nếu mã đó thực hiện công việc được định nghĩa bởi luật là truyền tiền, thì mã đó không đơn thuần là tự do ngôn luận, mà là mã máy tính cần được đảm bảo thực hiện theo cách không vi phạm luật truyền tiền. Tornado Cash vừa là mã, vừa là ngôn luận, vừa là kinh doanh – nói chung, nó là sản phẩm sáng tạo của con người. Storm không chỉ phát hành mã; anh ta điều hành một doanh nghiệp, đưa ra nhiều quyết định vận hành trong nhiều năm. Giao thức Tornado Cash không đồng nhất với hoạt động kinh doanh Tornado Cash. Chỉ vì Tornado Cash có mã nguồn mở không có nghĩa là mọi hành vi liên quan đến mã đó của Roman Storm với tư cách là chủ sở hữu doanh nghiệp Tornado Cash đều được Hiến pháp bảo vệ.
Khiếu nại, biểu tình và quyên góp
Luật sư tiền mã hóa David Lesperance từng nói, về mặt pháp lý, vụ án Alexey Pertsev quan trọng hơn đối với tương lai DeFi so với các vụ gian lận đơn giản chống lại SBF và Do Kwon hay việc Zhao Changpeng không xây dựng được giao thức chống rửa tiền cần thiết. Chính vì vụ án Tornado Cash mang tính biểu tượng cao, ba nhà sáng lập đã nhận được nhiều hình thức hỗ trợ.
Cộng đồng tiền mã hóa, đặc biệt là nhóm lập trình viên, đã phản đối mạnh mẽ vụ bắt giữ Pertsev. Ngoài các kiến nghị và cổ vũ trên mạng xã hội, trước tòa án Hà Lan từng có người phát tờ rơi ủng hộ Alexey Pertsev.
Tháng 8 năm 2022, một số người dùng mã hóa ẩn danh thậm chí đã thực hiện các cuộc tấn công "đầu độc" để phản đối, gửi một lượng nhỏ ETH qua Tornado Cash vào địa chỉ của các nhân vật nổi tiếng trong lĩnh vực mã hóa nhằm thể hiện sự bất mãn với vòng trừng phạt của chính phủ Mỹ. Các KOL nổi bật như Shen Yu, Sun Yuchen, CEO Coinbase Brian Armstrong, nghệ sĩ Beeple... đều bị "đầu độc".
Ngoài ra, một thành viên cộng đồng mã hóa đã khởi xướng chiến dịch quyên góp tên "Free Alexey & Roman" trên nền tảng crowdfunding Juicebox vào ngày 22 tháng 1 năm nay, nhằm gây quỹ bào chữa pháp lý giúp đồng sáng lập Tornado Cash Roman Storm và nhà phát triển Alexey Pertsev tránh khỏi trừng phạt pháp lý. Tính đến thời điểm viết bài, quỹ đã nhận được 834 khoản quyên góp, tổng cộng 548,49 ETH, tương đương khoảng 1,6 triệu USD. Đồng sáng lập Ethereum Vitalik, đồng sáng lập sàn giao dịch Kraken Jesse Powell và nhiều cá nhân khác cũng đã đóng góp cho quỹ.
Đáng chú ý, ngay sau khi Pertsev bị tuyên án hôm qua, số lượng quyên góp tăng vọt, và nhiều người để lại lời nhắn như "privacy is not a crime", "code is speech", "defend freedom", "XX stands with privacy and open-source public goods"... nhằm ủng hộ các nhà phát triển Tornado Cash cũng như "tinh thần mã hóa".
Mặt trái của đồng tiền
Mặc dù bản thân Pertsev luôn nhấn mạnh ông chỉ là một lập trình viên, không hề có ý định phạm tội. Ông cảm thấy "thất vọng" khi tội phạm sử dụng Tornado Cash để che giấu thu nhập bất hợp pháp, nhưng ông cho rằng mình bất lực trước điều đó.
Khi thẩm phán hỏi Pertsev liệu ông có coi trọng đủ mức độ nghiêm trọng của hành vi phạm tội hay không, họ đã trích xuất tin nhắn nhóm giữa Pertsev với các nhà phát triển đồng sáng lập Roman Storm và Roman Semenov, trong đó Pertsev đã phản hồi bằng từ "haha" trước tin tức cầu nối Axie Infinity Ronin bị hacker tấn công với giá trị 625 triệu USD. Tuy nhiên, Pertsev giải thích rằng điều này không có nghĩa là ông thấy chuyện đó thú vị, mà chỉ là thói quen thể hiện sự ngạc nhiên của ông.
Hơn nữa, một thực tế khách quan là từ khi bị trừng phạt đến nay, Tornado Cash vẫn là bộ trộn tiền mã hóa lớn nhất. Hacker và những kẻ tấn công giao thức vẫn tiếp tục sử dụng công cụ này để rửa tiền.
Một mặt, bản án đối với các nhà phát triển Tornado Cash sẽ đe dọa đến sự phát triển công nghệ và tương lai quyền riêng tư. Mặt khác, thực tế là, xét về góc độ pháp lý, công nghệ không thể trung lập, nó chắc chắn được xây dựng trên mối quan hệ giữa con người với nhau.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
ChainCatcher 链捕手
