Theo tin tức của ChainCatcher, các nguyên đơn của Van Loon đã kháng cáo lên Tòa án lưu động thứ năm vào ngày 2 tháng 9, thách thức quyết định của Bộ Tài chính Hoa Kỳ về việc đưa Tornado Cash vào danh sách các Quốc gia được chỉ định đặc biệt (SDN). 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 đối với dự án nguồn mở mà không có hướng dẫn rõ ràng có thể đe dọa đến quyền của các lập trình viên trong Tu chính án thứ nhất. Van Loon và nhóm của ông đã kiện Bộ Tài chính vào tháng 9 năm 2023 với cáo buộc vượt quá thẩm quyền.
Tornado Cash đã bị xử phạt vì cáo buộc rửa tiền, trong đó chính phủ tuyên bố nền tảng này đã liên quan đến hơn 7 tỷ USD tiền bất hợp pháp kể từ năm 2019. Tổ chức Biên giới Điện tử (EFF) ủng hộ vụ kiện vì lo ngại rằng các biện pháp trừng phạt của chính phủ sẽ có tác động tiêu cực đến việc phát triển phần mềm nguồn mở. Tòa án quận trước đó đã bác bỏ vụ kiện, cho rằng các lệnh trừng phạt chỉ giới hạn ở các giao dịch liên quan đến hợp đồng thông minh Tornado Cash và không ảnh hưởng đến việc phát triển và thảo luận về mã nguồn mở. Tuy nhiên, EFF và những người ủng hộ quyền kỹ thuật số khác vẫn lo ngại về ý nghĩa rộng lớn hơn của vụ việc, nhấn mạnh tầm quan trọng của việc bảo vệ quyền của các lập trình viên.
