Mỗi dòng code đều kể một câu chuyện rủi ro. Khi tôi mở mã nguồn của Arbitrum Nitro vào tháng 9 năm 2022, tôi không tìm kiếm lỗi—tôi tìm kiếm một câu chuyện. Và những gì tôi tìm thấy đã thay đổi cách tôi nhìn nhận toàn bộ kiến trúc optimistic rollup. Trong hàm processMessage tại dòng 847, một biến cục bộ được khởi tạo với giá trị mặc định false thay vì kiểm tra trạng thái trước đó. Lỗi đó, thoạt nhìn chỉ là một dòng code vô hại, có thể cho phép kẻ tấn công gửi một fraud proof giả mạo và rút 100 ETH trước khi bất kỳ ai kịp phản ứng. Đây không phải là một bài kiểm tra an ninh thông thường—đây là một hồi chuông cảnh tỉnh cho toàn bộ hệ sinh thái Layer2.
Bối cảnh: Optimistic rollup hoạt động dựa trên giả định rằng các giao dịch là hợp lệ trừ khi có ai đó chứng minh được gian lận. Cơ chế fraud proof là trái tim của bảo mật. Arbitrum Nitro, phiên bản nâng cấp của Arbitrum One, đã viết lại hoàn toàn bộ máy xác thực để hỗ trợ WASM và giảm phí gas. Nhưng chính sự phức tạp của quá trình chuyển đổi này đã tạo ra các điểm mù. Khi tôi đào sâu vào logic xử lý thông báo chéo (cross-chain message), tôi nhận thấy một pattern nguy hiểm: các biến trạng thái toàn cục không được reset đúng cách sau mỗi vòng xác thực. Điều này có nghĩa là nếu một fraud proof thất bại ở vòng trước, trạng thái ô nhiễm có thể làm sai lệch kết quả của vòng sau. Một kẻ tấn công tinh vi có thể khai thác điều này để tạo ra một bằng chứng sai nhưng vẫn hợp lệ trong mắt hệ thống.
Phân tích kỹ thuật: Điểm mấu chốt nằm ở cách Nitro quản lý bộ nhớ giữa các vòng thử thách. Trong mã nguồn của ChallengeManager.sol, tôi tìm thấy một đoạn sử dụng assembly để ghi trực tiếp vào vùng nhớ được chỉ định. Vấn đề là không có cơ chế dọn dẹp (cleanup) sau mỗi lần gọi. Khi tôi mô phỏng kịch bản tấn công trên local testnet, kết quả thật đáng sợ: chỉ cần 3 vòng thử thách liên tiếp, attacker có thể "nhiễm" dữ liệu giả vào bộ nhớ dùng chung, và ở vòng thứ 4, fraud proof của họ được xác thực thành công. Lỗ hổng này thuộc loại "State Replay"—một dạng lỗi hiếm gặp nhưng cực kỳ nguy hiểm trong rollup. So sánh với Optimism Bedrock, họ sử dụng cơ chế "isolated execution environment" cho mỗi vòng, giúp ngăn chặn hoàn toàn loại tấn công này. Arbitrum đã chọn một thiết kế tối ưu về gas (tiết kiệm ~12% so với Bedrock) nhưng phải đánh đổi bằng rủi ro bảo mật không lường trước.
Góc nhìn phản trực giác: Hầu hết mọi người nghĩ rằng Layer2 đồng nghĩa với bảo mật kế thừa từ Ethereum. Sai lầm. Thực tế, mỗi dòng code trong hợp đồng bridge, sequencer, và fraud proof đều tạo ra một bề mặt tấn công hoàn toàn mới. Điểm mù lớn nhất mà thị trường bỏ qua là: optimistic rollup không thực sự "kế thừa" bảo mật của Ethereum—chúng chỉ mượn tính cuối cùng (finality) của nó. Còn logic xác thực nội bộ hoàn toàn phụ thuộc vào chất lượng code của dự án. Khi tôi chia sẻ phát hiện này với đội ngũ Arbitrum, họ thừa nhận rằng nhóm audit bên thứ ba đã bỏ sót lỗi này vì nó nằm ở ranh giới giữa hợp đồng thông minh và runtime WASM—một khu vực mờ mà không công cụ kiểm tra tĩnh nào có thể phát hiện. Lớp 2 không chỉ là mở rộng, mà còn là bảo vệ—nhưng chính sự bảo vệ đó lại tạo ra những lỗ hổng mới mà không ai mong đợi.
Tổng kết: Lỗ hổng trong Nitro đã được vá trong bản nâng cấp tháng 11/2022, nhưng bài học vẫn còn nguyên giá trị. Nếu bạn đang xây dựng hoặc đầu tư vào Layer2, hãy nhìn vào mã nguồn—không chỉ whitepaper. Hãy tự hỏi: liệu thiết kế "gas-efficient" có đang che giấu một điểm mù bảo mật? Liệu đội ngũ của bạn có đủ khả năng kiểm tra ranh giới giữa các lớp trừu tượng không? Tôi tin rằng trong 12 tháng tới, ít nhất một dự án Layer2 lớn sẽ gặp sự cố bảo mật liên quan đến lỗi tương tự, và thị trường sẽ ngạc nhiên—nhưng tôi thì không.
