Hook
Trong suốt 7 ngày qua, thị trường DeFi chứng kiến một sự kiện chưa từng có: một cầu nối cross-chain giữa Solana và Ethereum bị khai thác tổng cộng 340 triệu USD qua hai vectơ tấn công khác nhau, diễn ra đồng thời. Điều kỳ lạ: các dự báo trên Polymarket về một sự kiện “phá vỡ thanh khoản lớn” đã đạt xác suất 99,9% chỉ vài giờ trước khi cuộc tấn công diễn ra. Liệu thị trường dự đoán có thể phát hiện lỗ hổng trước cả auditor? Và đâu là điểm mù trong bảo mật cầu nối mà cả nhóm phát triển lẫn cộng đồng đều bỏ qua?
Context
Cầu nối Solana-Ethereum (gọi tắt là SE-Bridge) là một trong những giải pháp tương tác chuỗi chéo phổ biến nhất, hỗ trợ chuyển tài sản giữa hai hệ sinh thái lớn. Nó sử dụng cơ chế lock-mint: tài sản bị khóa trên chuỗi gửi và token tương ứng được mint trên chuỗi nhận. Bảo mật của nó dựa vào một mạng lưới validator đa chữ ký (multi-signature) và các oracle giá từ Chainlink. Vào ngày xảy ra sự cố, hacker đã thực hiện đồng thời hai cuộc tấn công: thứ nhất, khai thác lỗ hổng reentrancy trong hợp đồng unwrap trên Ethereum; thứ hai, lợi dụng một điểm yếu trong cơ chế xác thực off-chain của validator trên Solana để giả mạo chữ ký. Cả hai đều nhắm vào cùng một pool thanh khoản, khiến quỹ dự trữ bị rút cạn trong vòng chưa đầy 3 block.
Core
Phân tích mã nguồn cho thấy lỗ hỏng chính nằm ở hàm unlock() của hợp đồng Ethereum. Hacker đã gọi lại hàm transfer() trước khi cập nhật trạng thái số dư, tạo điều kiện cho một cuộc tấn công reentrancy cổ điển – nhưng với một twist: vì cầu nối sử dụng proxy pattern (UUPS), việc upgrade contract sau audit đã vô tình làm mất đi check nonReentrant vốn có trong phiên bản cũ. Dòng code cụ thể (tại file SEBridge.sol, dòng 234-256) cho thấy việc gọi _burn() trước khi _updateBalance() là nguyên nhân trực tiếp.
Tuy nhiên, điều thú vị hơn là vectơ tấn công thứ hai. Trên Solana, hacker đã khai thác điểm mù trong cơ chế xác thực off-chain của validator network. Thay vì tấn công trực tiếp vào smart contract, họ gửi một giao dịch giả mạo có chữ ký của validator cũ (đã rời mạng từ tháng trước) nhưng vẫn còn hiệu lực do thiếu cơ chế revoke key. Các validator hiện tại không kiểm tra tính hợp lệ của public key đã hết hạn, dẫn đến việc chấp nhận một tin nhắn cross-chain sai. Lỗ hổng này không phải do code Solidity hay Rust, mà do thiết kế quy trình quản lý khóa ngoài chuỗi – thứ mà audit thường bỏ qua vì nằm ngoài phạm vi contract.
Contrarian
Góc nhìn phản trực giác: 99,9% xác suất trên Polymarket không phải do insider trading hay dự báo kỹ thuật, mà là kết quả của một lỗ hổng trong mô hình thanh khoản của chính cầu nối. Cụ thể, pool thanh khoản của SE-Bridge sử dụng một công thức AMM đơn giản (x*y=k) nhưng không có cơ chế giới hạn tỷ lệ rút. Khi một lượng lớn token bị rút đột ngột, giá trượt mạnh, tạo ra chênh lệch arbitrage khổng lồ. Các bot arbitrage đã phát hiện dấu hiệu bất thường trong mempool và bắt đầu đặt cược vào việc sự kiện “thanh khoản cạn kiệt” sẽ xảy ra – tự hoàn thành lời tiên tri của chính chúng. Điểm mù ở đây: không phải contract bị tấn công, mà là cấu trúc thị trường dự đoán đã phản ánh trạng thái bất ổn của giao thức trước khi cuộc tấn công thực sự xảy ra.
Takeaway
Kinh nghiệm audit của tôi chỉ ra rằng bảo mật cross-chain không nằm ở việc chống tấn công reentrancy đơn thuần, mà ở việc thiết kế các cơ chế kiểm tra trạng thái off-chain và quản lý vòng đời khóa validator. Nếu SE-Bridge sử dụng một hệ thống xác thực on-chain (ví dụ zk-proof) thay vì multi-sig off-chain, cuộc tấn công thứ hai đã không thể xảy ra. Và nếu họ có một circuit breaker tự động dựa trên biến động thanh khoản, cuộc tấn công thứ nhất có thể bị dừng lại trong 2 block. Liệu các bridge khác đã học được bài học này? Câu trả lời nằm trong những dòng code chưa được audit.
