Tôi đã dành một thời gian để đào sâu hơn vào cơ chế đồng thuận Bằng chứng Thẩm định Ngắn gọn (Succinct Attestation - SA) của Dusk, và tôi nhận thấy mình ít tập trung vào phần thưởng staking hơn, mà thay vào đó là những giả định mà giao thức đặt ra khi chịu áp lực.
Thoạt nhìn, SA có vẻ giống một thiết kế điển hình của Proof-of-Stake, nhưng cơ chế sortition quyết định (deterministic sortition) lại làm thay đổi động lực. Các validator cần tối thiểu 1.000 DUSK được stake, tuy nhiên tính đủ điều kiện lại cố ý bị trì hoãn, khiến việc tham gia trở nên kém dự đoán hơn. Kết hợp với cơ chế chấm điểm dựa trên SHA3 và lựa chọn có hạt giống (seeded selection), việc dự đoán các lần chỉ định committee trong tương lai trở nên khó hơn rất nhiều.
Quy trình đồng thuận bản thân được xếp lớp: đề xuất (proposal), xác thực (validation) và phê chuẩn (ratification). Các ngưỡng biểu quyết khác nhau tùy theo kết quả, sự tổng hợp chữ ký BLS (BLS signature aggregation), và các phiếu bầu của committee được cân theo trọng số tín dụng (credit-weighted committee votes) đều hướng tới việc cân bằng giữa hiệu quả và bảo mật. Trên giấy tờ, đây là một hệ thống thanh lịch.
Tuy vậy, điều thu hút sự chú ý của tôi nằm ở chỗ các đánh đổi bắt đầu từ đâu. Nếu stake tự nhiên có xu hướng tập trung theo thời gian, liệu sự đa dạng của committee có còn đủ mạnh để chống lại sự tác động được phối hợp không? Chế độ khẩn cấp (emergency mode) giúp mạng tiếp tục vận hành sau nhiều lần lặp thất bại, nhưng bất kỳ cơ chế nào được thiết kế để duy trì tính sống (liveness) đều tất yếu đặt ra câu hỏi về khả năng chống phân nhánh (fork resistance) và hành vi của đối thủ.
Tính cuối cùng cuộn tròn (rolling finality)—từ accepted đến attested, confirmed, và cuối cùng là final—sung thêm một lớp tin cậy nữa, nhưng mức độ tin cậy chỉ vững chắc như chính những giả định đứng sau nó.
Kiến trúc là một sự cân nhắc kỹ lưỡng. Câu hỏi thực sự là các lựa chọn thiết kế này vận hành ra sao khi chịu áp lực kéo dài, thay vì trong điều kiện mạng lý tưởng.
@Dusk $DUSK #dusk
Thoạt nhìn, SA có vẻ giống một thiết kế điển hình của Proof-of-Stake, nhưng cơ chế sortition quyết định (deterministic sortition) lại làm thay đổi động lực. Các validator cần tối thiểu 1.000 DUSK được stake, tuy nhiên tính đủ điều kiện lại cố ý bị trì hoãn, khiến việc tham gia trở nên kém dự đoán hơn. Kết hợp với cơ chế chấm điểm dựa trên SHA3 và lựa chọn có hạt giống (seeded selection), việc dự đoán các lần chỉ định committee trong tương lai trở nên khó hơn rất nhiều.
Quy trình đồng thuận bản thân được xếp lớp: đề xuất (proposal), xác thực (validation) và phê chuẩn (ratification). Các ngưỡng biểu quyết khác nhau tùy theo kết quả, sự tổng hợp chữ ký BLS (BLS signature aggregation), và các phiếu bầu của committee được cân theo trọng số tín dụng (credit-weighted committee votes) đều hướng tới việc cân bằng giữa hiệu quả và bảo mật. Trên giấy tờ, đây là một hệ thống thanh lịch.
Tuy vậy, điều thu hút sự chú ý của tôi nằm ở chỗ các đánh đổi bắt đầu từ đâu. Nếu stake tự nhiên có xu hướng tập trung theo thời gian, liệu sự đa dạng của committee có còn đủ mạnh để chống lại sự tác động được phối hợp không? Chế độ khẩn cấp (emergency mode) giúp mạng tiếp tục vận hành sau nhiều lần lặp thất bại, nhưng bất kỳ cơ chế nào được thiết kế để duy trì tính sống (liveness) đều tất yếu đặt ra câu hỏi về khả năng chống phân nhánh (fork resistance) và hành vi của đối thủ.
Tính cuối cùng cuộn tròn (rolling finality)—từ accepted đến attested, confirmed, và cuối cùng là final—sung thêm một lớp tin cậy nữa, nhưng mức độ tin cậy chỉ vững chắc như chính những giả định đứng sau nó.
Kiến trúc là một sự cân nhắc kỹ lưỡng. Câu hỏi thực sự là các lựa chọn thiết kế này vận hành ra sao khi chịu áp lực kéo dài, thay vì trong điều kiện mạng lý tưởng.
@Dusk $DUSK #dusk