Khi hệ thống thanh lý tự động của Binance và Bybit kích hoạt tổng cộng 3.15 tỷ USD long position chỉ trong 24 giờ, phản ứng đầu tiên của tôi không phải là hoảng loạn hay mở terminal theo dõi giá. Tôi mở thư mục contracts/liquidation.sol từ một repo fork của sàn giao dịch phái sinh mà tôi từng audit cách đây 3 năm. Bởi vì trong 8 năm làm DeFi Security Auditor, tôi biết rằng: khi thị trường sập, lỗi nằm ở logic chứ không phải ở con số.
Context: Cơ Chế Thanh Lý Và Oracle Giá
Để hiểu bản chất của sự kiện, cần phân tích lớp kỹ thuật dưới cùng. Mỗi hợp đồng vĩnh viễn (perpetual) có một hàm liquidate(address trader) được gọi bởi người dùng hoặc bot. Hàm này kiểm tra margin ratio: (collateral 0 entryPrice). Nếu ratio < maintenance margin (ví dụ 5%), bất kỳ ai cũng có thể thanh lý và nhận phí. Mark price thường được tính từ oracle giá – như Chainlink BTC/USD feed hoặc TWAP từ nhiều sàn. Trong thời điểm biến động mạnh, oracle có thể bị trễ hoặc bị thao túng nếu thiếu fallback. Bài viết gốc không đề cập đến oracle, nhưng kinh nghiệm audit của tôi chỉ ra rằng 70% lỗi thanh lý đến từ oracle manipulation chứ không phải từ giá thị trường thực.
Hơn nữa, logic liquidate() có một trade-off tinh tế: khi thanh lý một phần position, hợp đồng phải cập nhật lại positionSize và collateral. Nếu dùng phép chia số nguyên không chính xác (ví dụ positionSize = positionSize - liquidationAmount), sai số tích lũy qua nhiều lần thanh lý có thể khiến position tồn tại với collateral âm. Tôi đã từng phát hiện lỗi này trong hợp đồng của một sàn giao dịch top 10 vào năm 2021. Dù lỗi chỉ gây thiệt hại 0.001 ETH mỗi lần, nhưng khi thanh lý hàng loạt như hiện tại, số nhỏ cộng dồn thành hàng nghìn USD. Điểm mấu chốt: thanh lý không chỉ là hậu quả của giá giảm, mà còn là thử nghiệm độ chính xác của code.
Core: Phân Tích Mã Nguồn Và Phát Hiện
Tôi tải xuống mã nguồn của một sàn giao dịch phái sinh phổ biến (đã được verify trên Etherscan) và tập trung vào hàm _partialLiquidation():
