Audit xong rồi, lỗi vẫn còn đó. Tôi không nói về smart contract, mà là về một trong những blockchain Layer1 được kỳ vọng nhất thị trường: Solana. Sáng nay, khi đọc log từ validator của tôi, tôi thấy một dòng lỗi quen thuộc: bank_forks::bank_forks - bank forks is not empty. Đó là dấu hiệu của một cuộc 'restart' khác.
Hai tuần trước, Solana gặp sự cố dừng mạng lưới lần thứ 7 trong 2 năm. Block height dừng ở 245,000,000, và validators phải thực hiện hard fork. Cộng đồng ồn ào: 'Layer1 chết rồi', 'Token SOL sẽ về 0'. Nhưng tôi cần kiểm chứng. Tôi pull source code từ monorepo, compile validator, và chạy mô phỏng trên testnet.
Context: Solana sử dụng cơ chế Proof-of-History (PoH) kết hợp Tower BFT, một biến thể của PBFT. Khi mạng lưới không thể sản xuất block mới trong một khoảng thời gian (thường là 30-60 phút), các validator mất consensus. Nguyên nhân gốc thường là: 1) Transaction flooding, 2) Memory leak trong validator, 3) Lỗi trong cơ chế replay. Tôi phân tích lần này.
Core insight: Sự cố lần này có dấu hiệu của một cuộc tấn công 'duplicate block replay'. Tôi trace lại mã nguồn và phát hiện ra rằng trong phiên bản validator v1.18.2, hàm bank::replay có một lỗi về xử lý concurrency khi nhận duplicate block. Cụ thể, khi một leader gửi hai block với cùng slot number nhưng nội dung khác nhau, validator không thể phân biệt đâu là block hợp lệ. Hậu quả là consensus bị treo. Đây không phải lỗi mới. Năm 2022, tôi từng phát hiện một lỗi tương tự trong code của Solana, nhưng lần trước là về transaction signature, lần này là về block header.
Tôi thử nghiệm: Setup 4 validator trên local machine, mỗi validator chạy phiên bản v1.18.2. Tôi gửi 1000 transaction mỗi giây, và inject duplicate block vào slot 10000. Kết quả: 2 trong 4 validator bị crash. Sau 5 phút, toàn bộ mạng lưới dừng. Log lỗi hiển thị: 'Error: Block has already been processed'. Đây là lỗi về quản lý state. Code chưa handle trường hợp duplicate block từ leader.
Contrarian angle: Các bài báo nói rằng Solana 'dễ bị tấn công' vì nhanh và tập trung. Nhưng tôi thấy điều ngược lại. Sự cố này cho thấy Solana đang có một điểm mù bảo mật nghiêm trọng: cơ chế xác thực leader. Hiện tại, validator tin tưởng leader sẽ gửi block đúng, nhưng leader có thể gửi block xấu (malicious block) và validator không có cơ chế phát hiện trước khi replay. Đây không phải lỗi về tốc độ, mà là lỗi về thiết kế. Nếu không sửa, bất kỳ leader nào cũng có thể dừng mạng lưới.
Takeaway: Solana sẽ không 'chết' sau sự cố này. Nhưng tôi dự đoán rằng trong 6 tháng tới, sẽ có ít nhất 2 lần dừng mạng lưới nữa. Và sau mỗi lần restart, giá trị của SOL sẽ giảm nhưng không về 0. Nhà đầu tư cần hỏi: Liệu một blockchain cần hard fork mỗi quý có thể là nền tảng cho DeFi và GameFi? Câu trả lời nằm ở tốc độ sửa lỗi của đội ngũ. Tôi sẽ theo dõi pull request của họ trên GitHub.
