Zcash Ironwood: Lỗ hổng còn đó, không phải FUD
Đỗ Đức
Lỗ hổng còn đó, không phải FUD.
Hôm qua, Zcash kích hoạt bản nâng cấp mạng Ironwood. Lý do chính thức: loại bỏ Orchard shielded pool "yếu" và thêm biện pháp bảo vệ cung ứng. Bối cảnh: một cơn hoảng loạn làm giả ZEC vừa lắng xuống. Hãy đọc code, đừng nghe hype.
Cốt lõi của Ironwood là một bản vá bảo mật cấp tốc, không phải nâng cấp tính năng. Họ xóa một pool zero-knowledge proof (Orchard) vì nó có lỗ hổng cho phép kẻ tấn công mint ZEC ngoài không khí. Trong thế giới tiền mã hóa, đây là kịch bản tồi tệ nhất: phá vỡ giới hạn cung 21 triệu coin. Nếu lỗ hổng bị khai thác triệt để, toàn bộ mô hình kinh tế của Zcash sụp đổ.
Phân tích kỹ thuật: Orchard pool là shielded pool thế hệ thứ ba của Zcash, sử dụng Halo2. Lỗ hổng nằm trong logic tạo proof – có thể là một rogue prover có thể tạo ra proof sai mà hệ thống chấp nhận. Cách vá: loại bỏ pool đó hoàn toàn, buộc user di chuyển tài sản. Điều này có trade-off: tính riêng tư bị suy giảm (user mất khả năng giao dịch ẩn danh trong pool cũ), và rủi ro migration (nếu user không kịp chuyển, tài sản bị đóng băng).
Điểm mù: biện pháp bảo vệ cung ứng mới là gì? Không có chi tiết. Có thể là một cơ chế kiểm tra dự trữ on-chain, nhưng chưa có code. Nếu nó chỉ là một multi-sig có thể đóng băng pool khi phát hiện bất thường, thì đó là trung tâm hóa. Từ góc nhìn auditor: tôi đã từng audit các ICO contract năm 2017 và phát hiện lỗi reentrancy trong blockMesh – kiểu lỗi cơ bản nhưng vẫn tồn tại đến nay. Zcash không phải ngoại lệ. Càng phức tạp (zero-knowledge) càng dễ sai.
Dự báo: lỗ hổng chưa hết. Họ chỉ cắt bỏ phần bệnh, không chữa gốc. Tương lai, nếu không có audit độc lập công khai, Zcash sẽ tiếp tục đối mặt với rủi ro tương tự ở các pool khác (Sapling hay transparent). AMM 2020: lỗi vẫn còn sống. Lần này là Zcash. Đừng vội mừng vì Ironwood kích hoạt. Hãy đọc code. Lỗ hổng còn đó, không phải FUD.