Bằng chứng

Mỗi mục dưới đây là một thí nghiệm đã chạy và lặp lại được, nên nó vẫn đúng bất kể mạng đang ở kỳ nào.

Bằng chứng	Chứng minh điều gì
Đã dựng, vận hành và chủ động tháo bỏ một chain công khai chạy liên tục nhiều tuần	Nền tảng dựng ra chain sống được, và tháo được — cả hai chiều đều đã chạy
Tắt một node trên cụm hai validator chia đôi quyền thì chain đứng; bật lại thì hồi phục	"Không một bên kiểm soát" là thật
Thử chịu lỗi bốn validator: giết một thì chạy tiếp, giết hai thì dừng, khởi động lại thì hồi phục	Ngưỡng đồng thuận đúng như lý thuyết
Nâng cấp hai phiên bản có di trú đổi dữ liệu thật trên chain	Đường nâng cấp trên chain hoạt động
Nhóm chữ ký vận hành thao tác tuân thủ; thiếu một chữ ký thì bị từ chối	Custody tách quyền là thật
Diễn tập khôi phục thảm hoạ đầu-cuối: sao lưu, xoá, khôi phục, node tiếp tục mà không phải sinh lại chain	Có đường sống lại sau sự cố
Gói genesis dựng bằng đúng engine thật, qua trọn bộ cổng kiểm rồi khởi động thật	Genesis không phải bản nháp
Đường khai sinh diễn tập nhiều lần trên hạ tầng thật, mỗi lần tháo sạch dựng lại	Ngày khai sinh là kịch bản đã chạy, không phải lần đầu
Hiến pháp đóng băng bằng checksum công bố trước khi khắc	Văn bản trên chain khớp đúng văn bản đã công bố — ai cũng băm lại kiểm được

Hình 14 — Bằng chứng mạnh luôn đi kèm giới hạn của chính nó.

Điều bằng chứng này KHÔNG chứng minh, và phải nói cùng lúc: nó chưa thay được kiểm định độc lập; thí nghiệm ở quy mô nhỏ không suy ra quy mô lớn; và một hệ thống chạy đúng trong phòng thí nghiệm chưa phải một hệ thống đã chịu tải thật trong nhiều tháng.

Câu chốt: bằng chứng mạnh là bằng chứng kèm theo giới hạn của chính nó.