"Mặc định là riêng tư, chỉ kiểm toán khi cần" là câu khẩu hiệu mà tôi thường thấy gắn với Dusk Network, và tôi cứ băn khoăn không biết liệu nó có thực sự mô tả một lối đi mật mã trung dung hay chỉ là một câu mang tính PR mà công nghệ chỉ đáp ứng một phần.
Nền mật mã đứng sau nó là có thật. Các bằng chứng không kiến thức (zero-knowledge proofs) cho phép Dusk xác thực các giao dịch mà không tiết lộ nội dung của chúng, và cơ chế tiết lộ có chọn lọc thông qua Citadel cùng các lớp tuân thủ quanh Zedger và Hedger cho phép chứng minh các thuộc tính cụ thể cho các bên cụ thể theo yêu cầu. Đây là một kiến trúc khác một cách có ý nghĩa so với cả chuỗi hoàn toàn minh bạch hoặc hoàn toàn ẩn danh, và nó phù hợp tốt với thứ mà tài chính được quản lý thực sự cần: sự bảo mật đối với công chúng nói chung, và khả năng quan sát đối với bất kỳ ai có thẩm quyền pháp lý để yêu cầu. Lớp tuân thủ quanh Zedger bao gồm logic hợp đồng như khả năng hoàn tác một giao dịch, thực thi danh sách cho phép (whitelists), hoặc quản lý việc bỏ phiếu và chi trả cổ tức—đúng là kiểu kiểm soát mà cơ quan quản lý chứng khoán sẽ yêu cầu trước khi chấp thuận bất cứ điều gì.
Câu khẩu hiệu lại lướt qua một phần đặc biệt. "Có thể kiểm toán khi cần" đặt ra câu hỏi: ai sẽ quyết định khi nào là "cần", ai nắm giữ các khóa hoặc quyền kích hoạt việc tiết lộ, và theo quy trình nào. Đây không phải là vấn đề mà toán học mật mã của Dusk tự nó giải quyết. Đó là vấn đề thiết kế quản trị và pháp lý, được xử lý thông qua các thỏa thuận cấp phép như thỏa thuận với NPEX và thông qua bất kỳ cơ chế kiểm soát truy cập nào mà một ứng dụng cụ thể chọn để triển khai. Hai ứng dụng được xây dựng trên cùng các nguyên tắc riêng tư có thể đặt ra những quy tắc hoàn toàn khác nhau về việc ai có thể buộc phải tiết lộ và theo cách nào.
Vì vậy, tôi sẽ gọi câu chữ này là đúng nhưng chưa đủ. Phần riêng tư mặc định có cơ sở kỹ thuật vững chắc. Nửa phần "khả năng kiểm toán" phụ thuộc vào các lựa chọn được thực hiện bên trên lớp giao thức, và những lựa chọn đó đáng được soi xét ít nhất cũng ngang mức với chính phần mật mã nằm bên dưới.
#dusk $DUSK @Dusk
Nền mật mã đứng sau nó là có thật. Các bằng chứng không kiến thức (zero-knowledge proofs) cho phép Dusk xác thực các giao dịch mà không tiết lộ nội dung của chúng, và cơ chế tiết lộ có chọn lọc thông qua Citadel cùng các lớp tuân thủ quanh Zedger và Hedger cho phép chứng minh các thuộc tính cụ thể cho các bên cụ thể theo yêu cầu. Đây là một kiến trúc khác một cách có ý nghĩa so với cả chuỗi hoàn toàn minh bạch hoặc hoàn toàn ẩn danh, và nó phù hợp tốt với thứ mà tài chính được quản lý thực sự cần: sự bảo mật đối với công chúng nói chung, và khả năng quan sát đối với bất kỳ ai có thẩm quyền pháp lý để yêu cầu. Lớp tuân thủ quanh Zedger bao gồm logic hợp đồng như khả năng hoàn tác một giao dịch, thực thi danh sách cho phép (whitelists), hoặc quản lý việc bỏ phiếu và chi trả cổ tức—đúng là kiểu kiểm soát mà cơ quan quản lý chứng khoán sẽ yêu cầu trước khi chấp thuận bất cứ điều gì.
Câu khẩu hiệu lại lướt qua một phần đặc biệt. "Có thể kiểm toán khi cần" đặt ra câu hỏi: ai sẽ quyết định khi nào là "cần", ai nắm giữ các khóa hoặc quyền kích hoạt việc tiết lộ, và theo quy trình nào. Đây không phải là vấn đề mà toán học mật mã của Dusk tự nó giải quyết. Đó là vấn đề thiết kế quản trị và pháp lý, được xử lý thông qua các thỏa thuận cấp phép như thỏa thuận với NPEX và thông qua bất kỳ cơ chế kiểm soát truy cập nào mà một ứng dụng cụ thể chọn để triển khai. Hai ứng dụng được xây dựng trên cùng các nguyên tắc riêng tư có thể đặt ra những quy tắc hoàn toàn khác nhau về việc ai có thể buộc phải tiết lộ và theo cách nào.
Vì vậy, tôi sẽ gọi câu chữ này là đúng nhưng chưa đủ. Phần riêng tư mặc định có cơ sở kỹ thuật vững chắc. Nửa phần "khả năng kiểm toán" phụ thuộc vào các lựa chọn được thực hiện bên trên lớp giao thức, và những lựa chọn đó đáng được soi xét ít nhất cũng ngang mức với chính phần mật mã nằm bên dưới.
#dusk $DUSK @Dusk