@Dusk Tôi đang lục lọi các bản cập nhật kỹ thuật của Dusk, cố gắng hiểu cách Succinct Attestation thực sự hoàn tất một khối, chứ không chỉ là câu marketing về “tính hoàn tất xác suất nhanh”. Phần làm tôi dừng lại ở đây: mỗi thành viên ủy ban nhận một hoặc nhiều phiếu, được gọi là credits, và tổng số phiếu trong một vòng là cố định. Các phiếu của ủy ban được gọi là Credits, và số lượng phiếu trong ủy ban được gọi là Committee Credits. Ổn, vậy chỉ là bỏ phiếu có trọng số theo cổ phần. Không có gì đáng ngạc nhiên.
Điều tôi chưa nghĩ tới là chuyện gì xảy ra với tất cả các phiếu cá nhân đó sau đó. Chúng không chỉ nằm đó như các chữ ký riêng lẻ. Bên tạo khối sẽ thu thập chúng và tạo ra một chứng nhận, là sự xác thực (attestation) hợp lệ cho một khối, được đưa vào khối con tiếp theo. Vì vậy, “bằng chứng một khối là hợp lệ” không phải là lời của một trình xác thực duy nhất; mà là toàn bộ các phiếu đã được cấp được nén thành một đối tượng duy nhất dạng BLS-aggregated, và đối tượng đó là thứ mà đồng thuận trong tương lai thực sự tham chiếu.
Đó là lúc vấn đề tính duy nhất lặng lẽ biến mất. Việc tổng hợp bắt buộc mọi credit phải trỏ tới một ứng viên duy nhất cho mỗi vòng. Bạn không thể để phiếu của mình bị tính hai lần, hoặc bị tính cho hai khối cạnh tranh khác nhau, vì chứng nhận chỉ có chỗ cho một tập “chuẩn” (canonical) duy nhất. Không phải một tính năng UX. Đây là thứ khiến sự hoàn tất (finality) có ý nghĩa gì đó trong $DUSK #dusk đồng thuận. Vẫn chưa chắc nó hoạt động ra sao khi bị timeout lặp nặng.
Điều tôi chưa nghĩ tới là chuyện gì xảy ra với tất cả các phiếu cá nhân đó sau đó. Chúng không chỉ nằm đó như các chữ ký riêng lẻ. Bên tạo khối sẽ thu thập chúng và tạo ra một chứng nhận, là sự xác thực (attestation) hợp lệ cho một khối, được đưa vào khối con tiếp theo. Vì vậy, “bằng chứng một khối là hợp lệ” không phải là lời của một trình xác thực duy nhất; mà là toàn bộ các phiếu đã được cấp được nén thành một đối tượng duy nhất dạng BLS-aggregated, và đối tượng đó là thứ mà đồng thuận trong tương lai thực sự tham chiếu.
Đó là lúc vấn đề tính duy nhất lặng lẽ biến mất. Việc tổng hợp bắt buộc mọi credit phải trỏ tới một ứng viên duy nhất cho mỗi vòng. Bạn không thể để phiếu của mình bị tính hai lần, hoặc bị tính cho hai khối cạnh tranh khác nhau, vì chứng nhận chỉ có chỗ cho một tập “chuẩn” (canonical) duy nhất. Không phải một tính năng UX. Đây là thứ khiến sự hoàn tất (finality) có ý nghĩa gì đó trong $DUSK #dusk đồng thuận. Vẫn chưa chắc nó hoạt động ra sao khi bị timeout lặp nặng.