Chi tiết về Lúc Chạng Vạng mà tôi cứ quay lại là: một khối có thể có chứng thực thành công, nhưng vẫn chưa phải là cuối cùng (final).

lần đọc đầu tiên của tôi về Succinct Attestation thì đơn giản hơn.

đề xuất hạ xuống.

xác thực đạt ngưỡng siêu đa số phiếu Valid.

phê chuẩn xác nhận điều đó.

các chữ ký BLS tổng hợp chứng minh đã đủ quorum.

xong rồi, đúng không?

chưa hẳn.

mục “tính cuối cùng theo thời gian lăn” của Dusk tách một khối thành các trạng thái: accepted, attested, confirmed và final.

nếu một khối được tạo ở vòng lặp I > 0 trong khi một vòng lặp trước đó vẫn chưa có chứng thực fail, thì nó có thể mang chứng thực thành công và chỉ được đánh dấu là accepted.

vì “ủy ban đạt quorum” nghe rất gần với “khối này không thể biến mất.”

trên Dusk thì đó là hai tuyên bố khác nhau.

vòng lặp trước đó vẫn chưa được giải quyết vẫn còn quan trọng. nếu một khối ở vòng lặp thấp hơn sau đó đạt được đồng thuận, cơ chế fallback có thể thay thế khối đã được accepted và loại bỏ các khối kế nhiệm của nó.

vì vậy, chứng thực thành công chỉ chứng minh rằng đã có sự đồng thuận.

nó không phải lúc nào cũng chứng minh chuỗi đã hoàn tất việc lựa chọn.

một khối đã được attested hoặc đã được hạ xuống ở iteration 0, hoặc có các chứng thực fail bao phủ mọi vòng lặp trước đó, nên không có khối ở vòng lặp thấp hơn nào có thể thay thế trực tiếp nó. confirmed phụ thuộc vào các khối ở sau. final chỉ xuất hiện khi khối đã được confirmed và cha (parent) của nó đã là final.

điều đó khiến “finality trong vài giây” cảm giác ít giống như một sự kiện đơn lẻ và giống hơn như một ranh giới mà một ứng dụng phải đọc cho đúng.

một ứng dụng trên Dusk không chỉ đang hỏi liệu đồng thuận có ký cái gì đó hay không.

giải phóng collateral?

nhận diện một chuyển giao bảo mật?

để một hợp đồng khác coi trạng thái là không thể đảo ngược?

những việc đó có thể không xứng đáng với cùng một ngưỡng.

đa số thời gian thì việc này hẳn sẽ diễn ra nhanh. ổn

trường hợp biên mới là thứ khiến tôi quan tâm: một khối trông có vẻ thành công, ứng dụng phản ứng với nó, và một iteration thấp hơn vẫn còn đang tồn tại.

Dusk không che giấu khoảng trống đó. nó gọi tên nó.

accepted không phải là final.

và ngay khi tôi nhận ra điều đó, câu hỏi tích hợp của tôi đã đổi khác.

không phải “đồng thuận có thành công không?”

ứng dụng này cần Dusk đảm bảo mức độ không thể đảo ngược đến đâu trước khi nó hành động?

@Dusk $DUSK #Dusk $ACE $APR