Tuần trước, OFAC đưa Tornado Cash vào danh sách trừng phạt. Cộng đồng crypto sôi sục, nhưng họ tranh luận về tự do tài chính. Tôi chỉ nhìn vào một thứ: dòng code.
95% tranh luận bỏ qua chi tiết kỹ thuật. Họ nói về 'quyền riêng tư' như một khẩu hiệu. Tôi nhìn vào smart contract của Tornado Cash và thấy một vấn đề kỹ thuật nghiêm trọng: bản thân code là trung lập, nhưng việc triển khai nó trên Ethereum mainnet tạo ra một 'mixer' không thể kiểm soát.
Tôi đã audit 12 ICO năm 2017. Tôi biết một lỗ hổng khi nó là lỗ hổng. Lỗ hổng ở đây không phải trong code, mà trong cách chính quyền Hoa Kỳ đối xử với nó. Họ trừng phạt một hợp đồng thông minh. Điều đó có nghĩa là gì? Họ trừng phạt một tập hợp các hàm deposit và withdraw không có chủ sở hữu. Viết code bằng tội phạm – đó là tiền lệ nguy hiểm nhất cho ngành của chúng ta.
Hãy nhìn vào cơ chế giao thức. Tornado Cash là một bộ smart contract cố định trên Ethereum. Nó không thể nâng cấp. Nó không có admin key. Nó tồn tại như một mảnh code vĩnh cửu. Khi bạn trừng phạt nó, bạn đang nói rằng bất kỳ ai chạy code đó – dù là node đầy đủ, dù là light client, dù là ví – đều có thể vi phạm pháp luật.
Phân tích cấp code cho thấy điều này: Tornado Cash sử dụng zk-SNARKs để chứng minh ownership của giao dịch mà không tiết lộ lịch sử. Không có điểm tập trung nào để tịch thu. Không có server nào để đóng cửa. Chỉ có code chạy trên hàng ngàn node. OFAC đã tấn công một hệ thống mà về mặt kỹ thuật không thể tuân thủ. Đây không phải là vấn đề bảo mật, mà là vấn đề khả thi về mặt kỹ thuật của quy định.
Điểm mù bảo mật ở đây là gì? Nhiều người nghĩ rằng lệnh trừng phạt chỉ ảnh hưởng đến những kẻ rửa tiền. Sai. Nó ảnh hưởng đến mọi lập trình viên đang xây dựng ứng dụng privacy trên blockchain. Nếu bạn viết một contract sử dụng zk-proofs để bảo vệ dữ liệu người dùng, bạn có thể bị trừng phạt. Nếu bạn fork Tornado Cash để tạo ra một phiên bản khác, bạn có thể bị trừng phạt.
Tôi đã phân tích mã nguồn của Tornado Cash vào năm 2021 khi nghiên cứu zk-rollup. Code sạch. Thiết kế thông minh. Nó giải quyết một vấn đề thực sự: bạn không thể có quyền riêng tư trên blockchain nếu mọi giao dịch đều công khai. Giờ đây, giải pháp đó bị coi là bất hợp pháp ở Mỹ. Impermanent loss = bẫy của kẻ lười tính, nhưng regulatory risk = bẫy của kẻ không đọc code.
Dựa trên kinh nghiệm audit của tôi, tôi thấy một xu hướng đáng sợ: các dự án DeFi đang rút lui khỏi privacy features. Họ sợ bị trừng phạt. Điều này làm suy yếu toàn bộ hệ sinh thái. Một blockchain không có privacy không phải là blockchain, nó chỉ là một database công khai chậm chạp.
Takeaway: Nếu OFAC có thể trừng phạt Tornado Cash, họ có thể trừng phạt bất kỳ dự án nào viết code mà họ không thích. Bạn có chắc rằng mình đang xây dựng trên một nền tảng pháp lý vững chắc? Hay bạn chỉ đang hy vọng rằng code của mình không đủ nổi bật để bị chú ý?
Tôi không nói rằng privacy là xấu hay tốt. Tôi nói rằng việc trừng phạt code tạo ra một rủi ro hệ thống cho mọi lập trình viên. Và nếu bạn không hiểu điều đó, bạn đang mắc kẹt trong một cái bẫy lớn hơn bất kỳ impermanent loss nào.
