Tôi đã suy nghĩ về cách các giao dịch Phoenix thực sự được xác minh vào @Dusk gần đây, và phần lớn mọi người vẫn tưởng tượng quy trình thông thường là “xem dữ liệu và phê duyệt”.

Vấn đề là trình xác minh không bao giờ nhận được người gửi, người nhận hay số tiền. Thứ đến là một bằng chứng PLONK. Bằng chứng đó mã hóa các quy tắc quan trọng: người chi thực sự sở hữu các tờ ghi nợ (notes) đang được chi tiêu, các khoản tiền được cân bằng đúng, và không có gì bị tái sử dụng. Việc kiểm tra chỉ đơn giản xác nhận rằng phép tính đúng. Nó không bao giờ xây dựng lại hoặc kiểm tra giao dịch ẩn đó.

Đó là một thay đổi thực sự trong ý nghĩa của việc “xác minh”. Hệ thống xác nhận một mệnh đề toán học là đúng mà không bao giờ nhìn thấy điều gì đã làm cho nó đúng.

Hạn chế là khi có gì đó xảy ra sai, chính sự vô hình tương tự giúp bảo vệ quyền riêng tư lại khiến việc debug bằng mắt trở nên khó hơn.

Dù vậy, thiết kế có vẻ chủ ý. Việc từ chối nhìn vào dữ liệu là một phần của mô hình bảo mật ở đây.

Bạn có thoải mái với việc xác minh hoạt động bằng cách không bao giờ nhìn thấy thứ đang được xác minh không?
#dusk $DUSK