Trong cộng đồng blockchain, mọi người thường thích chia thành hai phe đối lập: hoặc là Bitcoin, nơi mọi thứ đều mở ra, hoặc là các đồng tiền riêng tư, nơi mọi thứ đều bị che đậy. Nhưng những người thực sự thông minh đang nghĩ xem liệu có thể chơi một trò chơi thứ ba không?

Dusk Foundation đang thử nghiệm theo hướng này. Ý tưởng cốt lõi nghe có vẻ đơn giản, nhưng thực hiện lại phức tạp: cho phép các giao dịch có thể được xác minh công khai, nhưng các chi tiết của giao dịch — như số tiền, điều khoản hợp đồng — đều được mã hóa bằng mật mã.

Nói cách khác, trên chuỗi có thể thấy được “một giao dịch đã xảy ra, trạng thái hệ thống đã thay đổi”. Nhưng nội dung cụ thể của giao dịch là gì? Xin lỗi, tôi chỉ tiết lộ cho những người được ủy quyền. Loại tiết lộ thông tin có chọn lọc này chính xác là dùng chứng minh không kiến thức (ZKP) để thực hiện — bạn có thể chứng minh một phép tính đúng mà không cần tiết lộ quá trình tính toán và dữ liệu.

Thiết kế này đặc biệt phù hợp với các tình huống tài chính phức tạp. Bên kiểm toán có thể xác nhận hợp đồng thông minh đã thực thi đúng mà không cần biết tất cả bí mật thương mại. Nghe có vẻ hoàn hảo, nhưng vấn đề nằm ở chi tiết.

Nguy cơ lớn nhất chính là ở đây: toàn bộ hệ thống phụ thuộc hoàn toàn vào tính toàn vẹn của mật mã chứng minh không kiến thức. Dù lý thuyết toán học có chặt chẽ đến đâu cũng vô dụng, vấn đề thực sự nằm ở phần kỹ thuật — mã mạch, chi tiết thuật toán. Nếu có chỗ nào đó xảy ra sai sót, có thể dẫn đến “chứng minh trông có vẻ hợp lệ, nhưng thực ra là sai” — thảm họa như vậy hoàn toàn có thể xảy ra. Đây không phải là rủi ro giả định, mà là mối đe dọa thực sự tồn tại.

Vì vậy, tiêu chuẩn kiểm tra an toàn cho các dự án kiểu này phải cao hơn nhiều so với các chuỗi công khai thông thường, và cần liên tục kiểm tra, đánh giá.

Nếu bạn muốn theo dõi dự án này một cách nghiêm túc, thì các chỉ số sau đây đáng để chú ý:

Thứ nhất, tần suất và độ sâu của các báo cáo kiểm toán an toàn của bên thứ ba. Điều này phản ánh trực tiếp thái độ của dự án đối với rủi ro.

Thứ hai, tần suất xảy ra các sự kiện “tiết lộ có chọn lọc” thực tế trong mạng lưới. Trong trạng thái lý tưởng, điều này nên rất hiếm, nếu xảy ra thường xuyên thì có thể có vấn đề.

Thứ ba, độ phức tạp của các hợp đồng bí mật chạy trên mạng, cũng như quy mô tài sản bị khóa trong đó. Điều này cho thấy mức độ thực tế của việc áp dụng.

Tài sản gốc của Dusk, được dùng làm nhiên liệu để vận hành các tính toán và xác minh riêng tư này, phụ thuộc vào việc triển khai các hợp đồng có giá trị cao. Nói cách khác, dự án này đang giải quyết những vấn đề khó khăn nhất trong kỹ thuật mật mã, thành công hay thất bại hoàn toàn phụ thuộc vào độ tin cậy và ổn định của công nghệ có đạt yêu cầu hay không.