Đây là mã nguồn của một giao thức stablecoin vừa huy động được 50 triệu USD, và tôi thấy một dòng code khiến tôi dừng lại.
Nó tính toán tỷ lệ chiết khấu cho tài sản thế chấp bằng cách sử dụng một oracle giá, nhưng sử dụng sai biến - thay vì lấy giá mới nhất, nó lấy giá của khối trước đó. Một lỗi nhỏ, tưởng chừng như vô hại. Nhưng trong một thị trường tăng, khi giá cả biến động nhanh chóng, sự chậm trễ một khối này có thể dẫn đến việc định giá sai tài sản thế chấp, khiến giao thức dễ bị tấn công.
Một lỗi gas nhỏ có thể làm sập cả một hệ thống.
Context: Sự lạc quan của thị trường đang che giấu điều gì
Chúng ta đang ở trong một thị trường tăng. Stablecoin đang đổ về các giao thức DeFi với tốc độ chóng mặt, thanh khoản đang tăng vọt, và ai cũng đang kiếm được lợi nhuận. Nhưng tôi, với tư cách là một Layer2 Research Lead, đã nhìn thấy quá nhiều vụ hack và khai thác xảy ra trong những giai đoạn như thế này.
Sự phấn khích của thị trường tăng có một tác dụng phụ nguy hiểm: nó làm lu mờ các lỗ hổng kỹ thuật. Các nhóm phát triển vội vàng triển khai các tính năng mới để bắt kịp xu hướng, các nhà kiểm toán bị quá tải, và các lỗi tinh vi - giống như lỗi oracle giá mà tôi vừa tìm thấy - có thể lọt qua các kẽ hở.
Trong môi trường này, điều quan trọng là phải nhìn xuyên qua lớp marketing hào nhoáng và tập trung vào mã nguồn thực tế. Đó là nơi mà những rủi ro thực sự ẩn náu.
Core: Phân tích kỹ thuật chiều sâu về một lỗ hổng đang bị lãng quên
Hãy để tôi đưa bạn vào một cuộc kiểm tra mã nguồn điển hình.
Khi tôi xem xét hợp đồng thông minh của một giao thức stablecoin mới, tôi tìm kiếm một mẫu cụ thể: cách nó xử lý giá oracle. Các giao thức thường sử dụng một oracle giá phi tập trung như Chainlink để lấy giá tài sản. Nhưng cách họ triển khai nó trong mã nguồn mới là vấn đề.
Trong trường hợp này, mã nguồn có một hàm gọi là getCollateralValue(). Hàm này lấy giá từ oracle, nhân với số lượng tài sản thế chấp, và trả về giá trị. Nhưng có một điểm khác biệt tinh tế: thay vì gọi oracle.latestAnswer() để lấy giá mới nhất, nó gọi oracle.latestRoundData() và sử dụng dữ liệu từ vòng trước đó.
Tại sao điều này lại quan trọng?
Trong một thị trường tăng, giá cả có thể thay đổi đáng kể trong vài giây. Một sự chậm trễ chỉ một khối có thể dẫn đến việc định giá sai tài sản thế chấp. Nếu một kẻ tấn công có thể thao túng thị trường trong một khoảng thời gian ngắn, họ có thể khai thác sự chậm trễ này để rút tiền từ giao thức trước khi giá được cập nhật.
Đây không chỉ là một lỗi lý thuyết. Năm 2022, tôi đã phân tích một vụ tấn công tương tự vào một giao thức lending trên Ethereum. Kẻ tấn công đã sử dụng một flash loan để thao túng giá của một tài sản ít thanh khoản, sau đó sử dụng giá cũ (đã lỗi thời) để vay một lượng lớn stablecoin từ giao thức. Thiệt hại là hơn 10 triệu USD.
Nhưng vấn đề không chỉ dừng lại ở oracle. Hãy nhìn vào cấu trúc dữ liệu tổng thể. Hầu hết các giao thức stablecoin đều dựa trên một mô hình kinh tế nhất định, nhưng mã nguồn thường có những giả định ngầm có thể không đúng trong mọi điều kiện thị trường. Ví dụ, nhiều giao thức giả định rằng thanh khoản luôn có sẵn để thanh lý tài sản thế chấp. Nhưng trong một cuộc khủng hoảng, thanh khoản có thể cạn kiệt, khiến việc thanh lý trở nên bất khả thi và gây ra các khoản nợ xấu.
Dựa trên kinh nghiệm audit của tôi, tôi có thể nói rằng các giả định về thanh khoản và độ trễ oracle là hai trong số những lỗ hổng phổ biến nhất trong các giao thức stablecoin hiện tại.
Contrarian: Tại sao 'ổn định' không phải là điều bạn nghĩ
Đây là nơi tôi đi ngược lại với số đông. Hầu hết mọi người nghĩ rằng rủi ro lớn nhất đối với stablecoin là depeg - mất neo giá. Vì vậy, họ tập trung vào việc kiểm tra xem giao thức có đủ tài sản thế chấp để hỗ trợ stablecoin hay không.
Nhưng theo quan điểm của tôi, rủi ro thực sự không phải là depeg, mà là một lớp lỗ hổng tinh vi hơn nhiều: 'lỗi định giá' (mispricing bug).
Một lỗi định giá có thể xảy ra ngay cả khi giao thức có đủ tài sản thế chấp. Nó xảy ra khi mã nguồn tính toán sai giá trị của tài sản thế chấp, cho phép người dùng vay quá nhiều hoặc rút tiền không đúng cách. Lỗi này có thể tồn tại trong nhiều tháng, thậm chí nhiều năm, mà không bị phát hiện, cho đến khi một kẻ tấn công có đủ kiến thức và động lực để khai thác nó.
Tại sao các lỗi này lại phổ biến? Bởi vì các nhóm phát triển thường tập trung vào việc xây dựng các tính năng mới và cải thiện trải nghiệm người dùng, thay vì kiểm tra kỹ lưỡng các giả định cơ bản trong mã nguồn. Họ tin tưởng vào các oracle và các thư viện tiêu chuẩn, nhưng quên rằng việc triển khai không đúng cách có thể dẫn đến hậu quả thảm khốc.
Tôi đã thấy điều này xảy ra nhiều lần. Một dự án sử dụng cùng một oracle như Uniswap, nhưng triển khai sai cách tính trung bình, dẫn đến việc giá luôn bị lệch. Một dự án khác sử dụng 'block.timestamp' trong các phép tính của nó, nhưng trên một sidechain, nơi timestamp có thể bị thao túng bởi những kẻ khai thác.
Takeaway: Lời cảnh báo cho những người đang FOMO
Thị trường tăng này sẽ không kéo dài mãi mãi. Khi nó đảo chiều, những lỗ hổng đang ẩn náu trong mã nguồn sẽ bị phơi bày. Và những người đầu tư vào các giao thức stablecoin có lỗi định giá sẽ phải đối mặt với những tổn thất nghiêm trọng.
Câu hỏi đặt ra là: Bạn có đang kiểm tra mã nguồn của giao thức mà bạn đang đầu tư không? Hay bạn chỉ đang nhìn vào biểu đồ giá và hy vọng điều tốt nhất?
Hãy nhớ, một lỗi gas nhỏ có thể làm sập cả một hệ thống.
