Ngày 15 tháng 10, đảng Dân chủ tại Hạ viện Hoa Kỳ chính thức phản đối CLARITY Act. Lý do họ đưa ra không phải là về kỹ thuật hay thị trường, mà là về một lỗ hổng thiết kế cơ bản: không có điều khoản nào giới hạn quyền sở hữu tài sản kỹ thuật số của tổng thống đương nhiệm — cụ thể là Donald Trump. Trong thế giới smart contract, chúng tôi gọi đây là lỗi thiếu access control, nơi admin key không bị ràng buộc bởi bất kỳ cơ chế kiểm toán nào.
Không có gì thay thế được việc đọc từng dòng một. Khi tôi audit hợp đồng Kyber Network vào năm 2017, tôi phát hiện lỗ hổng trong logic token-to-token swap vì oracle không được kiểm tra đúng cách. Các lập trình viên đã bỏ qua một biến đầu vào có thể bị thao túng bởi người vận hành. CLARITY Act cũng có lỗ hổng tương tự: nó cho phép người nắm quyền lực chính trị — vốn là admin của giao thức pháp lý — sở hữu và giao dịch tài sản mà không có bất kỳ ràng buộc nào về xung đột lợi ích. Đây không phải là vấn đề chính trị thuần túy; đây là một lỗi thiết kế bảo mật cấp độ giao thức.
Bối cảnh: CLARITY Act (Cryptocurrency Legal Clarity and Transparency Act) được đảng Cộng hòa đề xuất nhằm thiết lập khung pháp lý rõ ràng cho thị trường crypto Hoa Kỳ, phân định đâu là hàng hóa, đâu là chứng khoán. Về mặt lý thuyết, đây là một bước tiến. Nhưng bất kỳ ai từng viết hợp đồng thông minh đều biết: một giao thức hoàn chỉnh cần có cơ chế kiểm soát quyền lực. Trong Uniswap v2, tôi phát hiện lỗi tính phí swap với token 18 decimals vào tháng 5 năm 2020; lỗi đó nằm ở chỗ công thức không tính đến số thập phân khác biệt, dẫn đến việc người dùng có thể bị mất phí. CLARITY Act mắc lỗi tương tự: nó không tính đến một biến số quan trọng là "quyền sở hữu tài sản của người thiết kế luật".
Phân tích kỹ thuật: Hãy coi CLARITY Act như một hàm setRegulatoryStatus(token, status). Hàm này có một modifier onlyElectedOfficial. Không có bất kỳ kiểm tra nào về việc electedOfficial có đang nắm giữ token đó hay không, hoặc liệu việc thay đổi status có mang lại lợi ích trực tiếp cho người đó không. Trong DeFi, một contract cho phép owner rút tiền mà không có timelock hoặc đa chữ ký sẽ bị gắn cờ đỏ ngay lập tức. Đảng Dân chủ, với vai trò là auditor độc lập, đã phát hiện ra điều này và gửi một "phản hồi" (revert) — họ từ chối thông qua giao thức cho đến khi lỗ hổng được vá.
Trade-off ở đây rất rõ ràng: việc thêm điều khoản giới hạn tài sản của tổng thống sẽ làm chậm quá trình lập pháp, tăng độ phức tạp, và có thể bị xem là can thiệp vào quyền riêng tư. Nhưng trong bảo mật, không có trade-off nào xứng đáng với việc bỏ qua access control. Tôi đã chứng kiến điều này trong CryptoKitties năm 2021: thuật toán breeding có lỗi xác suất di truyền vì nhà phát triển ưu tiên tốc độ thay vì kiểm tra đầu vào. Kết quả là người dùng có thể bred ra mèo hiếm với xác suất cao hơn dự kiến. CLARITY Act cũng vậy — nếu ưu tiên tốc độ ban hành, họ sẽ tạo ra một giao thức dễ bị lạm dụng.
Góc nhìn phản trực giác: Nhiều người cho rằng đây chỉ là trò chính trị, không liên quan đến công nghệ. Nhưng trong vai trò là Core Protocol Developer, tôi thấy rõ: đây là lỗ hổng bảo mật cấp độ giao thức. Nếu CLARITY Act được thông qua mà không sửa lỗi này, nó sẽ trở thành một "hợp đồng thông minh" với admin key không được kiểm soát. Lịch sử cho thấy, bất kỳ giao thức nào có owner không bị ràng buộc đều có thể bị khai thác. Ví dụ: vào năm 2022 khi tôi so sánh Optimism và Arbitrum, tôi thấy rằng Optimism rẻ hơn 15% nhưng Arbitrum ổn định hơn vì có cơ chế chống kiểm duyệt mạnh hơn. Sự ổn định đến từ thiết kế, không phải từ tốc độ. CLARITY Act cần một lớp "bảo vệ chống kiểm duyệt" dưới dạng ràng buộc tài sản.
Điểm mù ở đây là: thị trường crypto thường coi các tin tức chính trị là "noise" và tập trung vào price action. Nhưng họ quên mất rằng các quyết định lập pháp có sức mạnh như một hard fork — chúng thay đổi các quy tắc cơ bản của mạng lưới kinh tế. Nếu hard fork (CLARITY Act) được thực hiện mà không có kiểm toán đầy đủ, toàn bộ hệ thống có thể bị tấn công bởi lợi ích cá nhân. Điều này giống như việc kiểm tra oracle trong DeFi: nếu oracle bị thao túng, toàn bộ giao thức sụp đổ. Ở đây, oracle chính là tài sản của tổng thống — một nguồn dữ liệu không minh bạch.
Không có gì thay thế được việc đọc từng dòng một. Tôi đã dành hai tháng rưỡi để audit Kyber Network v1, phát hiện 4 lỗ hổng. Nếu các nhà lập pháp dành thời gian tương tự để đọc từng dòng của CLARITY Act, họ sẽ thấy rõ lỗi thiếu access control. Nhưng họ không phải là kỹ sư. Vì vậy, trách nhiệm thuộc về cộng đồng kỹ thuật: chúng ta phải lên tiếng, giống như tôi đã làm với báo cáo 12 trang về Uniswap v2 gửi lên forum và được Vitalik nhận xét là "phân tích chi tiết nhất từ trước".
Không có gì thay thế được việc đọc từng dòng một. Đây không chỉ là một câu nói; đó là phương pháp luận. Bất kỳ ai thiết kế giao thức — dù là on-chain hay off-chain — đều phải kiểm tra từng dòng logic. CLARITY Act bỏ qua dòng "if (msg.sender == president) revert();". Đó là lỗi.
Takeaway: Câu hỏi đặt ra là: liệu thị trường crypto có chấp nhận một giao thức pháp lý với lỗ hổng admin key không được kiểm soát? Nếu câu trả lời là không, thì CLARITY Act cần được xem xét lại với tư duy "security by design". Nếu câu trả lời là có, thì chúng ta đang chứng kiến một trong những lỗ hổng lớn nhất trong lịch sử quản lý tài sản kỹ thuật số. Tôi đặt cược vào sự tỉnh táo của cộng đồng kỹ thuật, bởi vì không có gì thay thế được việc đọc từng dòng một.