Hook
Chỉ 48 giờ trước khi lên mainnet, một giao thức yield aggregator trên Arbitrum suýt mất toàn bộ 15 triệu USD thanh khoản. Lỗi nằm ở một dòng call không kiểm tra trạng thái trong contract phân phối phần thưởng – một biến thể reentrancy cổ điển mà tôi đã thấy từ năm 2017. Nhưng điều làm tôi ngạc nhiên không phải là lỗi, mà là đội ngũ phát triển đã từ chối tin rằng nó có thể bị khai thác cho đến khi tôi chạy proof-of-concept trước mặt họ.
Context
Giao thức này – tạm gọi là 'YieldVault' – cung cấp cơ chế tự động tái đầu tư lợi nhuận từ nhiều pool thanh khoản. Người dùng gửi token, nhận lại chứng chỉ đại diện (vToken), và contract định kỳ gọi hàm harvest() để thu thập phần thưởng rồi phân phối lại. Điểm mấu chốt: hàm harvest() không sử dụng mẫu Checks-Effects-Interactions. Nó gọi transfer trước khi cập nhật totalRewards – một sai lầm cơ bản trong Solidity.
Core
Tôi nhận được contract để audit vào một buổi tối thứ Sáu. Đọc qua, tôi thấy ngay pattern nguy hiểm:
function harvest(address user) external {
uint256 reward = calculateReward(user);
require(reward > 0);
// Interaction trước khi cập nhật state
(bool success, ) = user.call{value: reward}("");
require(success);
// State update sau
totalRewards -= reward;
}Bất kỳ ai từng audit đều biết: nếu user là một contract độc hại, nó có thể gọi lại harvest() trước khi totalRewards được giảm. Vòng lặp sẽ tiếp tục cho đến khi hết gas hoặc hết ETH trong contract. Với gas hiện tại trên Arbitrum, tôi ước tính một kẻ tấn công có thể rút toàn bộ số dư chỉ trong 3-4 lần gọi lồng nhau.
Tôi lập tức viết PoC bằng Hardhat. Contract tấn công chỉ cần 20 dòng:
contract Attacker {
YieldVault vault;
uint256 count;receive() external payable { if (count < 5) { count++; vault.harvest(address(this)); } } } ```
Kết quả: trong mô phỏng, contract rút 15.000 ETH từ pool chỉ với 0.1 ETH phí gas. Tôi gửi báo cáo cho đội ngũ YieldVault với đề xuất sửa: chuyển totalRewards -= reward lên trước lời gọi call, hoặc dùng ReentrancyGuard của OpenZeppelin.
Phản hồi của họ: 'Chúng tôi đã test trên mạng local và không thấy lỗi. Có thể do môi trường test của anh sai.' Họ không tin. Tôi không tranh luận. Tôi gửi họ link GitHub repo chứa PoC có thể chạy lại, kèm log rõ ràng. Họ im lặng 2 ngày, rồi xác nhận lỗi và trì hoãn mainnet.
Contrarian
Nhiều người nghĩ rằng audit là đủ để đảm bảo an toàn. Sai. Audit chỉ là một lớp trong bảo mật nhiều tầng. Với YieldVault, họ có 3 auditor khác ngoài tôi, nhưng không ai bắt được lỗi này vì họ chỉ đọc code, không chạy fuzz test với biên độ gas cao. Lỗ hổng reentrancy cổ điển vẫn tồn tại sau 7 năm bởi vì developer vẫn đặt interaction trước state update, và auditor vẫn dựa vào review tĩnh thay vì dynamic analysis.
Tôi từng nói trong bài viết 'Im lặng là vàng, code là chứng cứ': nếu bạn không thể chứng minh lỗi bằng code chạy được, đừng mong đội ngũ phát triển tin bạn. Trong thị trường gấu hiện tại, các dự án đốt tiền vào marketing và liquidity mining, nhưng cắt giảm ngân sách bảo mật. Đây là công thức cho thảm họa.
Takeaway
YieldVault may mắn vì tôi phát hiện lỗi trước mainnet. Nhưng hàng trăm giao thức khác đang chạy với những lỗi tương tự, chờ một kẻ tấn công thông minh và một mempool rò rỉ. Bạn có dám chắc contract mình đang stake không có dòng call trước cập nhật trạng thái? Tôi thì không. Và tôi không chỉ đọc – tôi chạy thử.