Điều khó khăn tối thượng của lưu trữ phi tập trung: Làm thế nào để dữ liệu xấu không thể trốn thoát

Những người làm về lưu trữ phân tán đều phải đối mặt với một kịch bản ác mộng—có người đăng dữ liệu xấu lên, kết quả là các nút khác nhau nhận được các phiên bản mảnh ghép không giống nhau. Có người có thể đọc được, có người thì không, càng đau lòng hơn là có người đọc được lại là sai. Đây không còn là lỗi mạng nữa, mà là toàn bộ hệ thống uy tín bị phá vỡ.

Hầu hết các giao thức đều dựa vào "tự giác" để xử lý—chờ ai đó báo cáo, rồi các nút tự đánh giá. Walrus đã đổi cách tiếp cận, đưa việc này vào tầng giao thức. Quy tắc rất nghiêm ngặt: chỉ cần trên chuỗi có đủ số lượng nút độc lập (f+1) đứng ra làm chứng "dữ liệu này là xấu", thì toàn bộ các nút trong mạng sẽ hành động đồng bộ ngay lập tức. Bất kỳ yêu cầu nào truy cập vào dữ liệu này, tất cả các nút đều trả về cùng một kết quả—vô hiệu. Hơn nữa, nó còn cung cấp cho bạn một chỉ số chứng cứ trên chuỗi, rõ ràng cho biết lý do thất bại và chứng cứ ở đâu.

Điểm mạnh của bước này là gì? Nó biến "dữ liệu xấu" từ "có thể lỗi" thành "sự thật có thể phán quyết". Người dùng không còn phải dựa vào may rủi để gặp nút tốt, không cần bị nút nào đó lừa dối, không cần thử đi thử lại—kết quả chứng cứ trên chuỗi đã rõ ràng, toàn mạng thực thi nhất trí, dữ liệu xấu bị cách ly ngay tại tầng giao thức, yêu cầu đọc không còn lãng phí thời gian của bạn.

Từ góc độ người dùng, chỉ cần thấy thông báo vô hiệu là hiểu ngay "Không phải mạng tôi yếu, không phải ví bị lỗi, hệ thống đã phán nó vi phạm rồi". Đối với nhà phát triển, lỗi đã trở thành thứ có thể truy cứu, có thể tái tạo, có thể xác minh—dễ dàng gửi liên kết chứng cứ trên chuỗi cho bên kiểm toán và người dùng, rõ ràng từng bước.

Logic của Walrus thực ra rất đơn giản: Thay vì trông chờ các tham gia mạng trung thực, tốt hơn là dùng cơ chế để nhốt dữ liệu xấu vào lồng. Đây mới là hình dạng của một hạ tầng vận hành ổn định.