Điều đã chứng minh, điều còn mở
Cập nhật lần cuối: 08/08/20263 phút đọc
Mục này đặt bằng chứng cạnh khoảng trống, trong cùng một bảng, để không ai phải tự ghép hai danh sách lại với nhau.
Đã chạy thật, và lặp lại được
| Thí nghiệm | Chứng minh điều gì |
|---|---|
| Dựng, vận hành, rồi 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 |
| Cụm hai validator chia đôi quyền: tắt node của khách thì chain đứng, bật lại thì hồi phục | "Không một bên nào kiểm soát" là mô tả đúng, không phải khẩu hiệu |
| Cụm 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 hành xử đúng như lý thuyết |
| Nâng cấp qua hai phiên bản, có di trú làm đổi dữ liệu thật trên chain | Đường nâng cấp trên chain hoạt động |
| Thao tác tuân thủ đòi nhiều chữ ký: thiếu một chữ ký thì bị từ chối | Việc tách quyền giữ khoá có hiệu lực thật |
| Khôi phục thảm hoạ đầu cuối: sao lưu, xoá, khôi phục, node chạy tiếp 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 |
| Hiến pháp đóng băng bằng mã băm công bố trước khi khắc | Văn bản trên chain khớp văn bản đã công bố, ai cũng băm lại kiểm được |
Còn mở, và vì sao
| Bài toán | Bản chất |
|---|---|
| Độ chín của nền EVM | Nền còn ở giai đoạn trước bản ổn định. Giảm nhẹ bằng ghim phiên bản, giữ tải thấp, và chừa đường nâng cấp. Đây là rủi ro kỹ thuật lớn nhất |
| Thực thi tuần tự | Máy ảo xử lý tuần tự; đủ cho tải permissioned thấp, chưa đủ ở quy mô lớn |
| Từ tổ chức tới cá nhân | Ba cổng tự phục vụ ở mục Cỗ máy sinh chain, mỗi cổng cần một lớp hạ tầng khác |
| Định danh dùng chung | Cần một lược đồ định danh được công bố, không chỉ một module tuân thủ |
| Cách nhận phần token | Bỏ trống có chủ đích, chờ biểu quyết |
| Phân tán theo miền hỏng | Chịu lỗi thật đến từ số máy độc lập; đạt được nó phải gỡ vài ràng buộc hạ tầng trước |
| Riêng tư nâng cao | Mempool mã hoá, môi trường thực thi tin cậy, chứng minh không tiết lộ; chưa cần ở giai đoạn này |
| Kiểm định độc lập | Tự soát không thay thế được đánh giá của bên thứ ba |
| Khung pháp lý | Khu vực pháp lý và pháp nhân quyết định toàn bộ chế độ giấy phép |
Hình 16 — Bằng chứng mạnh luôn đi kèm giới hạn của chính nó.
Danh sách bên phải dài có chủ đích. Một dự án hạ tầng không có danh sách như thế thì hoặc chưa đủ sâu để gặp vấn đề, hoặc đang giấu.
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ó.