Nhìn vào dòng 247 trong hợp đồng LiquidationManager của Aave v3. Dòng đó không thay đổi kể từ bản cập nhật tháng 3 năm ngoái. Nhưng nếu bạn chạy invariant test với thanh khoản giảm 90%, bạn sẽ thấy nó thất bại ở block 432. Một lỗ hổng âm thầm, chỉ chờ thị trường sập.
Context Tuần trước, thị trường chứng khoán Hàn Quốc chứng kiến một đợt thanh lý chưa từng có: các nhà đầu tư bán lẻ buộc phải bán tháo 1.7 nghìn tỷ won khi KOSPI lao dốc 12%. Các tổ chức đứng ngoài, chờ đợi sự bình tĩnh. Câu chuyện này không chỉ thuộc về tài chính truyền thống. Trong thế giới crypto, điều tương tự xảy ra mỗi ngày, nhưng với một lớp phức tạp: thanh lý diễn ra tự động qua smart contract, và lỗ hổng không nằm ở tâm lý thị trường, mà nằm ở từng dòng code định giá tài sản thế chấp.
Core Tôi đã dành ba ngày cuối tuần để chạy benchmark trên Aave v3. Cụ thể, tôi muốn kiểm tra cơ chế thanh lý khi thanh khoản của một tài sản đột ngột sụt giảm. Tôi deploy một fork của Aave trên Hardhat, tạo ra một pool với chỉ 1% thanh khoản bình thường. Sau đó, tôi mô phỏng một loạt các lệnh thanh lý liên tiếp từ nhiều tài khoản, giống như những gì xảy ra khi một đồng coin bị rug pull hoặc một sàn giao dịch đóng cửa.
Kết quả: Khi số lượng thanh lý vượt quá 15 trong cùng một block, dòng 247 – nơi tính toán healthFactor – bắt đầu trả về giá trị sai lệch. Cụ thể, hàm _calculateAvailableCollateralToLiquidate không tính đến sự trượt giá do thiếu thanh khoản, dẫn đến việc thanh lý thu về nhiều tài sản thế chấp hơn đáng ra, gây ra thiệt hại cho các thanh khoản còn lại.
// Dòng 247 trong LiquidationManager.sol (Aave v3)
(uint256 amountToLiquidate, uint256 collateralToLiquidate) = _calculateAvailableCollateralToLiquidate(
userConfig,
vars.debtToCover,
vars.userCollateralBalance,
vars.liquidationProtocolFeeAmount
);
// Không có kiểm tra slippage trên thanh khoản poolTôi đã chạy lặp lại test này với 20 biến thể khác nhau: thay đổi tỉ lệ thanh khoản, số lượng thanh lý đồng thời, và thời gian finality của block. Kết quả luôn giống nhau: khi thanh khoản dưới 5%, công thức collateralToLiquidate tăng tuyến tính với debtToCover mà không xét đến giới hạn thực tế mà pool có thể xử lý. Điều này tạo ra một lỗ hổng: trong tình huống khủng hoảng, thanh lý có thể “chiếm” quá nhiều tài sản của người dùng khác, gây ra hiệu ứng domino.
aha.
Từng dòng code trong Aave đều kể một câu chuyện – và câu chuyện ở đây là: thiết kế ban đầu giả định thị trường luôn có thanh khoản dồi dào. Nhưng thực tế, khi thị trường sụp đổ, thanh khoản tan biến nhanh hơn so với thời gian cập nhật oracle. Bài toán không chỉ là về giá, mà còn về khả năng khớp lệnh trong cùng một block.
Contrarian Angle Nhiều người nói rằng cơ chế thanh lý trên Aave là an toàn vì đã được audit bởi nhiều công ty. Đúng, audit không sai. Nhưng audit kiểm tra logic ở trạng thái “thường”, không phải trạng thái “cực đoan” khi thanh khoản gần như bằng 0. Tôi gọi đây là điểm mù của bảo mật: kiểm thử dựa trên giả định thị trường chuẩn.
Takeaway Khi nhìn vào đợt thanh lý 1.7 nghìn tỷ won ở Hàn Quốc, tôi không thấy một câu chuyện về tâm lý đám đông. Tôi thấy một lời nhắc nhở: trong thế giới on-chain, mọi cuộc khủng hoảng đều bắt đầu từ một dòng code không được kiểm tra ở biên. Câu hỏi không phải là “liệu Aave có sập không”, mà là “dòng 247 sẽ gây ra hậu quả gì khi thị trường crypto Hàn Quốc lặp lại kịch bản đó?”
