Nhà phát triển Tornado Cash bị kết án Code là lời nói chết?

Tác giả: Nian Qing, ChainCatcher

Hôm qua, Alexey Pertsev, nhà phát triển Tornado Cash, một công dân Nga 31 tuổi, đã bị kết án 5 năm 4 tháng tù ở Hà Lan vì tội rửa 2,2 tỷ USD trên nền tảng trộn tiền điện tử. Pertsev trước đó đã bị bỏ tù 8 năm tháng. Lần này sẽ được trừ vào bản án, còn lại 4 năm rưỡi ngồi tù. Các luật sư của Pertsev sẽ có 14 ngày để kháng cáo quyết định của thẩm phán.

Ngành công nghiệp nhìn chung tin rằng trường hợp này sẽ không chỉ là bước ngoặt trong hoạt động giám sát DeFi mà còn sẽ thay đổi quy trình mã hóa quyền riêng tư và có "hiệu ứng ớn lạnh" trong cộng đồng nguồn mở toàn cầu, một nhà phát triển phần mềm nguồn mở đã bị kết tội, điều này cũng đánh dấu rằng các nhà phát triển hợp đồng thông minh Web3 sẽ phải tuân theo luật khung truyền thống.

Thẩm phán và công tố viên trong vụ án Alexey Pertsev tuyên bố trong phán quyết của mình rằng "Bản chất và chức năng của Tornado Cash là một công cụ chống lại tội phạm" và "Tornado Cash là không chỉ Nó chỉ là một hợp đồng thông minh hoạt động giống một công ty hơn.”

Vào tháng 8 năm ngoái, những người đồng sáng lập Tornado Cash, Roman Storm và Roman Semenov, đã bị buộc tội âm mưu rửa tiền và một tội âm mưu vi phạm Đạo luật Kinh tế Quốc tế. Đạo luật Quyền lực Khẩn cấp. Cả hai đều có mức phạt tối đa là 20 năm tù và cả hai cũng bị buộc tội âm mưu điều hành một hoạt động kinh doanh chuyển tiền không có giấy phép, cả hai đều có mức phạt tối đa là 5 năm tù.

Hiện tại, Roman Storm đã bị bắt tại bang Washington, Mỹ, còn Roman Semenov vẫn chưa bị bắt. Ngoài ra, phiên tòa xét xử Roman Storm dự kiến ​​diễn ra vào ngày 23 tháng 9. Phán quyết của Alexey Pertsev  sẽ ảnh hưởng trực tiếp đến kết quả phiên tòa xét xử Storm.

Điều đáng nói là sau khi Pertsev bị kết án ngày hôm qua, cộng đồng tiền điện tử đã tiếp tục chuyển tiền vào quỹ quyên góp "Free Alexey & Roman" trên Juicebox. đã để lại những bình luận như "quyền riêng tư không phải là tội phạm", "mật mã là lời nói", "bảo vệ quyền tự do", "XX ủng hộ quyền riêng tư và hàng hóa công cộng nguồn mở", v.v. để hỗ trợ các nhà phát triển Tornado Cash và "tinh thần mã hóa" ".

Dòng thời gian của trường hợp Tornado Cash

Tornado Cash được ra mắt vào tháng 8 năm 2019. Những người sáng lập là người La Mã Storm, Roman Semenov và Alexey Pertsev. Nhóm sáng lập chính của nó là các nhà nghiên cứu zkSNARK, trong đó Alexey Pertsev cũng là thành viên cốt lõi của công ty kiểm toán bảo mật Peppersec.

Sau đây là dòng thời gian đầy đủ về các sự kiện liên quan đến vụ Tornado Cash (được tổng hợp từ DL News, với sự bổ sung và thay đổi của ChainCatcher):

2019

Ngày 6 tháng 8: Tornado Cash ra mắt, cho phép người dùng “gửi Ethereum với tính ẩn danh 100% “Tiền điện tử”.

Ngày 13 tháng 9: Văn phòng Kiểm soát Tài sản Nước ngoài (OFAC) của Hoa Kỳ áp đặt các biện pháp trừng phạt đối với các nhóm mạng của Triều Tiên, bao gồm cả Nhóm Lazarus.

2020

Ngày 10 tháng 5: Tornado Cash hoàn tất "thiết lập đáng tin cậy" "Ritual" đốt cháy quyền quản trị của tất cả các nhóm tiền gửi và cập nhật hợp đồng thông minh, biến giao thức Tornado Cash thành một mã tự thực thi vĩnh viễn không bị bất kỳ bên nào kiểm soát. Tornado Cash gọi đây là "buổi lễ thiết lập đáng tin cậy lớn nhất thế giới" với tổng cộng 1114 người đã tham gia.

Ngày 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 cung cấp cho người dùng tùy chọn tiết lộ lịch sử giao dịch của họ nếu muốn.

Ngày 25 tháng 9: Tin tặc đã đánh cắp số tiền điện tử trị giá 275 triệu USD từ sàn giao dịch KuCoin. Đây là một trong những vụ hack lớn nhất mà các công tố viên Hà Lan cho rằng có liên quan đến Tornado Cash.

2022

Ngày 23 tháng 3: Cầu sidechain Axie Infinity Ronin do hacker tấn công Mất mát là khoảng 625 triệu USD. Trong một trong những vụ hack tiền điện tử lớn nhất cho đến nay, bọn tội phạm đã rửa tiền thông qua Tornado Cash.

Ngày 6 tháng 5: OFAC trừng phạt Blender, công cụ trộn tiền ảo đầu tiên được các băng nhóm tội phạm mạng Triều Tiên sử dụng.

Ngày 24 tháng 6: Nhóm Lazarus tấn công cầu Harmony Horizon và số tiền điện tử bị đánh cắp trị giá gần 100 triệu USD được chuyển qua Tornado Cash. Theo các 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.

Ngày 8 tháng 8: OFAC áp dụng các biện pháp trừng phạt đối với Tornado Cash vì được sử dụng để rửa 7 tỷ USD.

Ngày 9 tháng 8: Trang web Tornado Cash đã ngừng hoạt động, kho lưu trữ mã dự án đã bị xóa khỏi GitHub và tài khoản GitHub của người đồng sáng lập Roman Semenov đã bị đình chỉ

Ngày 10 tháng 8: Alexey Pertsev bị bắt ở Hà Lan và bị bỏ tù mà không bị buộc tội công khai.

Ngày 12 tháng 10: Coin Center, một tổ chức phi lợi nhuận tập trung vào các vấn đề chính sách tiền điện tử, đã kiện OFAC về các lệnh trừng phạt Tornado Cash.

Ngày 22 tháng 11: Các công tố viên Hà Lan lần đầu tiên tiết lộ cáo buộc tại phiên tòa.

2023

Ngày 20 tháng 4: Alexey Pertsev được ra tù chờ xét xử.

Ngày 23 tháng 8: Bộ Tư pháp Hoa Kỳ buộc tội nhà phát triển Tornado Cash, Roman Storm và nhà phát triển Roman Semenov bị trừng phạt.

Vào ngày 25 tháng 8, Roman Storm, người đồng sáng lập Tornado Cash, được tại ngoại.

Vào ngày 7 tháng 12, Binance đã hủy niêm yết token gốc TORN của Tornado Cash.

2024

25-26 tháng 3: Alexey Pertsev ở Schel, Hà Lan Hai ngày phiên tòa diễn ra tại thành phố Tochenbosch.

Ngày 5 tháng 4: Hiệp hội Thương mại Hoa Kỳ nộp bản tóm tắt lên tòa án bào chữa cho Roman Storm và giải quyết từng cáo buộc chống lại anh ta.

Ngày 14 tháng 5: Alexey Pertsev bị kết án 64 tháng tù vì tội rửa tiền.

Ngày 23 tháng 9: Roman Storm sẽ được đưa ra xét xử tại Hoa Kỳ.

Tranh cãi và trọng tâm của thử nghiệm: ranh giới nhận dạng của các nhà phát triển hợp đồng thông minh

Tornado Trường hợp tiền mặt Trọng tâm của cuộc thử nghiệm là liệu luật chống rửa tiền hiện hành có áp dụng cho nền tảng tài chính blockchain/tiền điện tử hay không.

Trong phiên tòa, luật sư bào chữa của Pertsev, Keith Cheng, nói rằng không ai, kể cả các nhà phát triển Tornado Cash, có thể ngăn cản người khác sử dụng mã hợp đồng thông minh nguồn mở. Người đóng góp cho một hợp đồng thông minh nhất định là một tổ chức phi tập trung chứ không phải là một người chịu trách nhiệm duy nhất như một công ty truyền thống.

Sau khi Roman Storm và Roman Semenov bị Hoa Kỳ truy tố vào tháng 8 năm ngoái, Coin Center (Coin Center là một tổ chức phi lợi nhuận tập trung vào các vấn đề chính sách tiền điện tử , tham gia nghiên cứu và hoạch định chính sách giáo dục cũng như ủng hộ các phương pháp quản lý hợp lý đối với công nghệ mã hóa) đã đưa ra tuyên bố ủng hộ, nêu rõ rằng những cáo buộc mới nhất của Tornado Cash không nhất quán với tài liệu FinCEN của Ban Giám đốc Tội phạm Tài chính.

Quan điểm cốt lõi là các nhà phát triển Tornado Cash chỉ cung cấp "các dịch vụ truyền thông hoặc phát triển phần mềm thuần túy" và không tham gia vào "hoạt động kinh doanh chuyển tiền thay mặt cho public." , cơ quan tư pháp không nên nhầm lẫn giữa "nhà cung cấp dịch vụ" với "danh tính 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 bảo mật mà không cần xem hoặc chuyển động thực tế. Khả năng sử dụng quỹ của người dùng.

Đầu tháng 4 năm nay, Coin Center bày tỏ hy vọng rằng tòa án sẽ xóa bản tóm tắt amicus được đệ trình trong vụ án hình sự đang diễn ra của Roman Storm ở Quận Nam New York Mô tả của cơ quan công tố về Tornado Cash là mơ hồ và thiên vị. Các nhà phát triển phần mềm nguồn mở không kiểm soát được hành động của những người khác tình cờ sử dụng công cụ của họ và việc phát hành mã Tornado Cash được Hiến pháp Hoa Kỳ bảo vệ rõ ràng. Ngoài ra, Coin Center cũng tin rằng tuyên bố truy tố và phán quyết trong vụ án này “có liên quan đến lợi ích của những người tham gia phát triển phần mềm nguồn mở thuần túy, phát hành mã và công việc phát biểu”, đồng thời kêu gọi bảo vệ quyền của Hoa Kỳ được tự do phát triển và phát hành phần mềm.

Các luật sư của Roman Storm cũng đề cập trong các tài liệu nộp lên Tòa án Quận Hoa Kỳ cho Quận phía Nam New York vào cuối tháng 3 rằng Tornado Cash, với tư cách là một người không phải là hợp đồng thông minh giám sát, người dùng Nó có toàn quyền kiểm soát tài sản của mình mà không cần phải dựa vào bất kỳ nhà cung cấp dịch vụ hoặc bên thứ ba nào để ủy thác chúng. Lập trình là quyền tự do ngôn luận và do đó được bảo vệ bởi Tu chính án thứ nhất của Hiến pháp Hoa Kỳ.

Nhưng trong phiên tòa ngày 14, tòa án đã bác bỏ quan điểm này. Họ tin rằng bất kỳ sự đổi mới công nghệ nào cũng không thể vượt ra ngoài việc ngăn chặn các nền tảng giúp đỡ tội phạm và nạn nhân. nghĩa vụ pháp lý của thực thể trong việc che giấu nguồn gốc của tài sản bị đánh cắp. Đặc điểm cuối cùng của công tố viên Martine Boerlage về Tornado Cash là nó “không chỉ là một hợp đồng thông minh, nó hoạt động giống như một công ty”.

Bộ Tư pháp Hoa Kỳ nhắc lại rằng bản cáo trạng của họ không liên quan gì đến việc mã máy tính của Tornado Cash có phải là quyền tự do ngôn luận hay được Tu chính án thứ nhất bảo vệ vì không phát hành hay không. mã máy tính, nhưng để sử dụng nó để thúc đẩy hoạt động kinh doanh có lợi nhuận và bất hợp pháp.

Bộ Tư pháp giải thích thêm rằng các ngân hàng sử dụng mã máy tính để xử lý các giao dịch tài chính. Nếu mã thực hiện công việc của một máy chuyển tiền theo quy định của pháp luật, thì mã không chỉ là quyền tự do ngôn luận mà còn là mã máy tính mà người ta phải đảm bảo được triển khai theo cách không vi phạm luật chuyển tiền. Tornado Cash là một phần mã, một phần lời nói, một phần thương mại và nói chung là sự sáng tạo của con người. Storm không chỉ vận chuyển mã mà còn điều hành một doanh nghiệp và đưa ra các quyết định hoạt động trong nhiều năm. Thỏa thuận của Tornado Cash không tương đương với hoạt động kinh doanh của Tornado Cash. Chỉ vì Tornado Cash có một số mã nguồn mở, không có nghĩa là tất cả các hành động của Roman Storm với tư cách là chủ doanh nghiệp Tornado Cash liên quan đến mã đó đều được bảo vệ theo hiến pháp.

Các kiến ​​nghị, phản đối và quyên góp

Luật sư tiền điện tử David Lesperance đã từng nói rằng về mặt pháp lý, Thành thật mà nói, , Trường hợp của Alexey Pertsev quan trọng hơn đối với tương lai của DeFi so với các trường hợp gian lận đơn giản chống lại SBF và việc Do Kwon hay Changpeng Zhao không đưa ra các giao thức chống rửa tiền bắt buộc. Vì trường hợp Tornado Cash mang tính đại diện nên ba nhà sáng lập đã nhận được nhiều hình thức hỗ trợ khác nhau.

Cộng đồng mã hóa, đặc biệt là cộng đồng nhà phát triển, đã phản đối mạnh mẽ việc bắt giữ Pertsev. Ngoài những kiến ​​nghị và đoàn kết trên nhiều mạng xã hội, trước đó cũng đã có những trường hợp xảy ra bên ngoài. tòa án Hà Lan Ai đó đã phân phát áp phích ủng hộ Alexey Pertsev.

Vào tháng 8 năm 2022, một số người dùng mã hóa ẩn danh thậm chí còn phản đối thông qua các cuộc tấn công đầu độc, gửi một lượng nhỏ ETH tới mã hóa nổi tiếng thông qua Tornado Cash của người đó Địa chỉ này được dùng để bày tỏ sự không hài lòng với đợt trừng phạt này của chính phủ Hoa Kỳ. Nhiều KOL nổi tiếng như Shenyu, Justin Sun, CEO Coinbase Brian Armstrong và nghệ sĩ Beeple đã bị “đầu độc”

Ngoài ra, các thành viên của cộng đồng tiền điện tử đã phát động một sự kiện quyên góp mang tên "Free Alexey & Roman" trên nền tảng huy động vốn cộng đồng Juicebox vào ngày 22 tháng 1 năm nay để giúp Tornado Cash đồng sáng tạo Roman Storm và nhà phát triển Alexey. Quỹ bảo vệ pháp lý của Pertsev đã nhận được 834 khoản quyên góp tính đến thời điểm viết bài, với tổng số tiền là 548,49 ETH, tương đương khoảng 1,6 triệu USD. Powell và những người khác đã quyên góp cho quỹ này. left;">Điều đáng nói là sau khi Pertsev bị kết án ngày hôm qua, số lượng quyên góp đột nhiên tiếp tục tăng lên và một số người đã để lại tin nhắn. "Quyền riêng tư không phải là một tội ác", "mật mã là lời nói", "bảo vệ tự do", " XX ủng hộ quyền riêng tư và hàng hóa công cộng nguồn mở", v.v. để hỗ trợ các nhà phát triển Tornado Cash và "tinh thần mã hóa"

  Mặt khác của đồng xu

Mặc dù Pertsev tôi luôn nhấn mạnh rằng anh ta chỉ là một lập trình viên nhưng không có bất kỳ ý định phạm tội nào. Anh ta "thất vọng" khi bọn tội phạm sử dụng Tornado Cash để che giấu số tiền bất chính của chúng, nhưng anh ta không thể làm gì được.

Khi thẩm phán hỏi Pertsev liệu anh ta có coi tội ác này đủ nghiêm trọng hay không, anh ta đã mở một cuộc trò chuyện nhóm giữa Pertsev và những người đồng phát triển Roman Storm và Roman Semonov , Pertsev đã đáp lại bằng câu trả lời “haha” trước thông tin rằng Cầu Axie Infinity Ronin trị giá 625 triệu USD đã bị hack. Nhưng Pertsev nói điều đó không có nghĩa là anh thấy điều đó buồn cười mà đó là thói quen thể hiện sự ngạc nhiên của anh.

Ngoài ra, một sự thật khách quan là Tornado Cash vẫn là công cụ trộn tiền điện tử lớn nhất kể từ khi nó bị xử phạt. Tin tặc và những kẻ tấn công giao thức tiếp tục sử dụng công cụ này để rửa tiền.

Một mặt, phán quyết của các nhà phát triển Tornado Cash sẽ khiến tương lai phát triển công nghệ và quyền riêng tư gặp rủi ro. Mặt khác, thực tế là ở góc độ pháp lý, công nghệ không thể trung lập mà phải dựa trên mối quan hệ giữa con người với nhau.