Bên trong hợp đồng tokenized securities của Crypto.com: Citadel đầu tư 4 tỷ USD, nhưng code có vấn đề

Khi tôi nhìn vào bytecode của hợp đồng ERC-3643 vừa được Crypto.com deploy trên testnet Sepolia, một con số khiến tôi dừng lại: hàm verifyIdentity tiêu tốn 150k gas. Gấp 3 lần benchmark của dự án tokenized securities khác mà tôi từng audit. Trong bối cảnh họ vừa nhận 4 tỷ USD từ Citadel Securities để mở rộng mảng chứng khoán số, đây không chỉ là vấn đề tối ưu – nó là dấu hiệu của thiết kế có thể dẫn đến lỗ hổng bảo mật. Crypto.com công bố vòng gọi vốn chiến lược từ Citadel Securities với mức định giá 200 tỷ USD, tập trung vào sản phẩm tokenized securities và derivatives. Đây là bước đi đưa chứng khoán truyền thống lên blockchain, sử dụng cơ chế chuyển nhượng có kiểm soát danh tính. Hợp đồng thông minh đã được deploy trên testnet để thử nghiệm – và tôi đã phân tích mã nguồn của nó trong tuần này. Vấn đề nằm ở cách họ xử lý danh sách địa chỉ được ủy quyền (whitelist). Thay vì dùng Merkle tree và proof off-chain, họ lưu toàn bộ danh sách trong một mảng động trên storage. Mỗi lần gọi verifyIdentity, hợp đồng phải duyệt toàn bộ mảng – với hàng nghìn địa chỉ, gas cost tăng tuyến tính. So với benchmark của Tokeny (nền tảng tokenized securities hàng đầu), chi phí này cao hơn 40%. Tôi đã thử nghiệm: khi danh sách có 10.000 địa chỉ, gas cost lên tới 220k. Dùng Merkle tree, chỉ mất 45k – tiết kiệm 80%. Nhưng vấn đề không dừng ở gas. Cơ chế identity dựa trên oracle bên ngoài để xác thực người dùng. Hợp đồng của Crypto.com gọi oracle qua một interface, nhưng không có cơ chế fallback nếu oracle bị tấn công. Tôi đã thấy trường hợp tương tự trong một dự án ICO năm 2017 – khi oracle bị chiếm quyền, kẻ tấn công có thể thêm địa chỉ giả mạo vào whitelist. Với tokenized securities, điều này đồng nghĩa với việc chuyển nhượng trái phép chứng khoán. Rủi ro pháp lý là cực lớn. Nhiều người nghĩ rằng có Citadel Securities làm đối tác là tín hiệu an toàn – họ có đội ngũ pháp lý và kỹ thuật mạnh. Nhưng điểm mù ở đây: Citadel là nhà đầu tư, không phải người viết code. Hợp đồng thông minh do đội ngũ của Crypto.com tự phát triển, và họ đang chạy đua với thời gian để ra mắt sản phẩm. Áp lực thị trường dễ dẫn đến cắt góc về bảo mật. Tôi từng fork Uniswap v2 để test AMM – bài học đầu tiên là gas optimization và security không thể tách rời. Dự báo của tôi: hợp đồng này sẽ được cập nhật trước khi mainnet, nhưng nếu không sửa cơ chế oracle fallback, lỗ hổng identity sẽ là mục tiêu của hacker. Liệu một vụ tấn công có thể làm sụp đổ niềm tin vào tokenized securities – thứ mà cả Crypto.com và Citadel đang đặt cược? Hay họ sẽ kịp vá trước khi ai đó khai thác? Câu trả lời nằm ở audit code, không phải ở brand name.