Các luật sư lập luận rằng phần mềm nguồn mở không phải là tài sản và các luật trừng phạt hiện hành không được trang bị đầy đủ để xử lý vấn đề này.
Hợp đồng thông minh có phải là tài sản không? Những người nắm giữ mã thông báo của một giao thức có phải là thành viên của một hiệp hội chưa hợp nhất không? Việc cấm phần mềm nguồn mở có phải là một cuộc tấn công vào tự do ngôn luận không?
Đó là những câu hỏi trước tòa án Hoa Kỳ ở Austin, Texas, khi một vụ kiện từ một nhóm kỹ sư và nhà đầu tư tiền điện tử nhằm đáp lại các biện pháp trừng phạt đối với giao thức Tornado Cash sắp đến gần ngày ra tòa.
Trong đơn đệ trình lên tòa án từ cuối ngày thứ Tư, các nguyên đơn lập luận rằng các biện pháp trừng phạt của Bộ Tài chính Hoa Kỳ đối với giao thức quyền riêng tư vi phạm Đạo luật Quyền lực Kinh tế Khẩn cấp Quốc tế (IEEPA) do không xác định chính xác một “quốc gia” và “tài sản” nước ngoài liên quan đến Tornado Cash và bằng cách không thể hiện sự quan tâm có thể bị xử phạt đối với các hợp đồng thông minh mã nguồn mở, không thay đổi.
“Bộ đã thất bại trong việc chứng minh rằng các hợp đồng thông minh bất biến có thể được sở hữu,” hồ sơ viết. Họ cũng lập luận rằng định nghĩa của Kho bạc về Tornado Cash là một hiệp hội chưa hợp nhất không đáp ứng được bài kiểm tra cho một hiệp hội như vậy.
“Không có gì trong hồ sơ cho thấy những người nắm giữ mã thông báo đó đã kết hợp để thực hiện ‘mục đích chung’ được cho là vận hành, quảng bá hoặc cập nhật giao thức bảo mật Tornado Cash,” hồ sơ cho biết.
Nếu các hành động của Kho bạc được ủy quyền, các bị cáo lập luận rằng nó sẽ vi phạm Tu chính án thứ nhất do tính chất rộng lớn của nó. “Hành động của Bộ vi phạm điều khoản tự do ngôn luận của Tu chính án thứ nhất vì nó cấm Nguyên đơn và hàng nghìn công dân Mỹ tuân thủ luật pháp khác tương tác với mã nguồn mở để tham gia vào nhiều loại ngôn luận được Tu chính án thứ nhất bảo vệ,” ghi sổ ghi chép.
Mặc dù Tornado Cash thường là công cụ được tin tặc lựa chọn để che giấu lợi nhuận của chúng, chẳng hạn như vụ hack Crypto.com vào tháng 1 năm ngoái hoặc vụ hack Transit Finance, các chuyên gia thực thi pháp luật trước đây đã cảnh báo rằng điều này không nhất thiết khiến nó đồng lõa với hoạt động rửa tiền .
Trong hồ sơ tòa án, các nguyên đơn lập luận rằng bằng chứng Tornado Cash là một công cụ để rửa tiền là “không thuyết phục”, lưu ý rằng Bộ Tài chính chỉ đưa ra “ba ví dụ về hoạt động rửa tiền đã được tìm thấy từ hàng triệu giao dịch.”
Trong khi đó, tại Hà Lan, nhà phát triển Tornado Cash Alexey Pertsev tiếp tục phải đối mặt với một phiên tòa xét xử về cáo buộc rửa tiền. Vào thứ Tư, Pertsev đã giành được quyền kiểm tra chéo công ty phân tích chuỗi khối Chainalysis, công ty thường được coi là nguồn bằng chứng trực tuyến trong các phiên tòa.