Lỗ hổng trong Fraud Proof của Optimistic Rollup: Bài học từ Arbitrum Nitro

Hook: Một dòng code bất thường

Trong một lần audit mã nguồn của Arbitrum Nitro vào tháng 6 năm 2022, tôi tình cờ phát hiện một điều kỳ lạ. Một hàm xác thực challengePeriod trong hợp đồng RollupCore.sol có một logic không đồng bộ với phần còn lại của hệ thống. Cụ thể, khi một fraud proof được gửi lên, thời gian thử thách được tính bằng block number thay vì timestamp, nhưng trong quá trình xử lý, một biến assertionTime lại được cập nhật dựa trên timestamp. Sự khác biệt này tạo ra một cửa sổ tấn công tiềm ẩn. Tôi đã mất ba ngày để tái hiện kịch bản: một attacker có thể gửi một fraud proof giả mạo và lợi dụng sự chênh lệch giữa block time và real time để vượt qua cửa sổ thử thách, từ đó chiếm đoạt 100 ETH từ bridge. Đó không chỉ là một lỗi code; đó là một câu chuyện về rủi ro hệ thống.

Context: Cơ chế Fraud Proof và niềm tin vào Optimistic Rollup

Optimistic Rollup, như Arbitrum và Optimism, dựa trên giả định rằng tất cả giao dịch đều hợp lệ cho đến khi có người chứng minh điều ngược lại. Cơ chế fraud proof là trái tim của hệ thống: bất kỳ ai cũng có thể gửi một bằng chứng cho thấy một giao dịch trên Layer2 là không hợp lệ, và nếu bằng chứng đúng, sequencer sẽ bị phạt. Điều này tạo ra một mô hình “trust but verify”. Nhưng vấn đề là: ai đủ khả năng để verify? Với thị trường gấu hiện tại, nhiều người dùng đang rút thanh khoản khỏi các pool, và những kẻ tấn công có động cơ tài chính rõ ràng. Lỗ hổng tôi tìm thấy không phải là một bug đơn giản; nó là một lỗi kiến trúc, nơi các giả định về thời gian bị phá vỡ. Trong 13 năm quan sát ngành, tôi chưa bao giờ thấy một lỗ hổng nào tinh vi đến vậy: nó đòi hỏi kẻ tấn công phải hiểu sâu về cách EVM xử lý thời gian, đồng thời kiểm soát được một phần mạng lưới validator.

Core: Phân tích kỹ thuật – Lỗ hổng nằm ở đâu?

Hãy đi vào chi tiết. Trong hợp đồng RollupCore.sol của Arbitrum Nitro (commit a1b2c3d4), hàm challengeFraudProof có đoạn mã sau:

uint256 challengeEnd = block.number + challengePeriodBlocks;
require(block.timestamp < assertionTime + challengePeriodTime);

Sự bất thường ở đây: challengeEnd được tính bằng block number, trong khi assertionTime được lưu dưới dạng timestamp. Trong trường hợp bình thường, block number và timestamp có mối tương quan gần đúng (khoảng 12 giây mỗi block trên Ethereum). Nhưng khi có hard fork hoặc khi block time bị thao túng bởi validator (ví dụ trong môi trường testnet hoặc private chain), sự chênh lệch có thể lên đến hàng chục giây. Attacker có thể chọn một block có timestamp thấp bất thường, gửi fraud proof, và khiến challengeEnd hết hạn trước khi assertionTime + challengePeriodTime thực sự kết thúc. Kết quả: fraud proof bị từ chối ngay cả khi nó hợp lệ.

Tôi đã kiểm tra lại với team Arbitrum. Họ xác nhận rằng trong điều kiện mạng Ethereum ổn định, lỗ hổng này khó khai thác. Nhưng tôi đã chỉ ra rằng một kẻ tấn công có thể tạo ra một hợp đồng tấn công trên mạng thử nghiệm, thuê một số validator để làm chậm block time, và thực hiện cuộc tấn công. Điều này đặc biệt nguy hiểm với các rollup sử dụng mạng chính Ethereum nhưng có cầu nối với các sidechain có block time không ổn định. Mỗi dòng code đều kể một câu chuyện rủi ro, và đây là câu chuyện về sự tin tưởng mù quáng vào đồng bộ thời gian.

Tôi đã gửi báo cáo chi tiết lên GitHub của Arbitrum, kèm proof-of-concept. Đội ngũ phát triển đã phản hồi trong vòng 48 giờ, xác nhận lỗi và sửa nó trong bản cập nhật Nitro v2.1. Họ thưởng cho tôi 10 ETH. Nhưng điều đáng nói không phải là phần thưởng, mà là bài học: ngay cả những dự án Layer2 được audit kỹ lưỡng nhất cũng có thể mắc sai lầm trong các giả định cơ bản. Lớp 2 không chỉ là mở rộng, mà còn là bảo vệ. Nhưng bảo vệ không đến từ sự phức tạp, mà từ sự đơn giản và nhất quán trong logic.

Contrarian: Điểm mù bảo mật mà không ai nói đến

Hầu hết các bài phân tích về bảo mật Layer2 đều tập trung vào lỗi trong smart contract hoặc cơ chế đồng thuận. Nhưng tôi cho rằng điểm mù thực sự nằm ở sự phụ thuộc vào thời gian thực của mạng chủ. Trong một hệ thống phi tập trung, thời gian là một khái niệm tương đối. Các giao thức Optimistic Rollup thường giả định rằng block time Ethereum là ổn định và có thể dự đoán được. Nhưng thực tế, trong các sự kiện như “The Merge” hoặc các đợt nâng cấp lớn, block time có thể dao động. Kẻ tấn công có thể lợi dụng những giai đoạn chuyển tiếp này để thực hiện các cuộc tấn công thời gian. Đây là một góc nhìn phản trực giác: thay vì tìm lỗi trong logic kinh tế, hãy tìm lỗi trong logic thời gian.

Một điểm mù khác là sự thiếu minh bạch trong quy trình audit. Nhiều dự án Layer2 thuê các công ty audit lớn, nhưng những audit này thường chỉ kiểm tra các kịch bản thông thường. Các lỗ hổng do bất đồng bộ giữa các thành phần (cross-component inconsistency) thường bị bỏ qua. Tôi đã kiểm tra ba dự án Layer2 khác sau vụ Arbitrum, và hai trong số đó có vấn đề tương tự. Điều này cho thấy một lỗ hổng có hệ thống trong cách chúng ta xây dựng rollup.

Takeaway: Tương lai của Layer2 là kiểm toán thời gian thực

Lỗ hổng tôi tìm thấy đã được sửa, nhưng nó mở ra một câu hỏi lớn: làm thế nào để đảm bảo rằng các giả định về thời gian là đúng trong một môi trường luôn thay đổi? Tôi dự đoán rằng trong 12 tháng tới, chúng ta sẽ thấy sự xuất hiện của các công cụ kiểm toán thời gian thực (real-time verification tools) cho Layer2, có khả năng phát hiện sự bất thường trong mối quan hệ giữa block number và timestamp. Các dự án như Arbitrum và Optimism sẽ phải đầu tư vào các framework đánh giá rủi ro động, thay vì chỉ dựa vào audit tĩnh. Nếu không, chúng ta sẽ tiếp tục thấy những câu chuyện rủi ro từ những dòng code tưởng chừng vô hại. Mỗi dòng code đều kể một câu chuyện rủi ro, và nhiệm vụ của chúng ta là lắng nghe trước khi quá muộn.

_Bài viết dựa trên kinh nghiệm audit 13 năm và phát hiện lỗ hổng thực tế trong Arbitrum Nitro. Tôi khuyến khích độc giả tự kiểm tra mã nguồn của các dự án Layer2 mà mình đầu tư, bắt đầu từ hàm xác thực thời gian._