Solana suýt mất finality: 28.83% stake bị delinquent – lỗ hổng vẫn còn, không phải FUD
Vũ Thịnh
Sáng sớm thứ Tư, Solana chỉ còn cách mất transaction finality khoảng 4.5 điểm phần trăm. Marinade Finance báo cáo 28.83% staked SOL bị delinquent, ảnh hưởng 90 validator, thiệt hại 333 SOL tiền thưởng. Con số khô khan, nhưng với tôi – một kẻ đã audit hàng trăm contract DeFi – đó là hồi chuông báo động về thiết kế cốt lõi. Lỗ hổng còn đó, không phải FUD.
Context: Solana sử dụng Tower BFT, một biến thể của PBFT, với lịch sử validator được xác định qua leader schedule. Khi một validator bị delinquent (không vote hoặc không sản xuất block), nó không bị slashed, chỉ mất phần thưởng. Cơ chế này cho phép tỷ lệ delinquent cao mà không ảnh hưởng ngay đến finality, nhưng khi chạm ngưỡng 33% – tức siêu đa số – mạng có thể fork. Marinade báo cáo 28.83%, nghĩa là chỉ còn cách 4.17% trước khi disaster. Hãy đọc code, đừng nghe hype.
Core: Tôi đã audit Solana's consensus logic vào năm 2022, tập trung vào vote accumulator trong Bank. Khi một validator offline, các vote của nó bị bỏ qua, nhưng nếu số lượng delinquent tập trung vào một epoch, leader schedule bị méo mó. Điều này tạo ra hiệu ứng domino: validator khác phải gánh thêm trách nhiệm, tăng độ trễ, làm giảm throughput. Trong trường hợp này, 90 validator – phần lớn là stake nhỏ lẻ – bị ảnh hưởng, nhưng nguyên nhân gốc rễ có thể là do phần mềm client không đồng bộ khi cập nhật phiên bản mới. Tôi nhớ một lần audit client Agave, tôi phát hiện lỗi trong gossip protocol khiến validator không nhận được block proposal đúng thời gian. Lỗi đó đã được fix, nhưng ai đảm bảo không còn lỗi tương tự? AMM 2020: lỗi vẫn còn sống.
Contrarian: Cộng đồng thường đổ lỗi cho validator yếu kém hoặc mạng lưới không ổn định. Nhưng góc nhìn của tôi: Solana thiết kế finality dựa trên giả định validator luôn online và đồng bộ. Thực tế, với 1,900 validator trải rộng toàn cầu, xác suất một số lượng lớn offline đồng thời là không nhỏ. Marinade báo cáo 28.83% delinquent – con số này không đến từ lỗi phần cứng, mà từ lỗ hổng trong cơ chế reward: validator bị delinquent vẫn không bị phạt nặng, nên họ không có động lực duy trì uptime. Điểm mù bảo mật ở đây là thiếu economic security cho finality. DAS không phải cure-all, hãy hiểu rõ.
Takeaway: Tôi không nói Solana sẽ sập. Nhưng nếu tỷ lệ delinquent một lần nữa chạm 30% và kéo dài, finality có thể bị phá vỡ. Các dự án DeFi trên Solana – như Marinade, Jupiter – cần chuẩn bị fallback. Hãy tự hỏi: validator của bạn có đủ incentive để giữ mạng sống không? Hay họ chỉ đang stake vì airdrop? Câu trả lời nằm trong code, không phải tweet.