#dusk $DUSK @Dusk
Thật ra, sự khác biệt mà tôi cứ bỏ lỡ là: việc ẩn một giao dịch và việc ẩn trạng thái nội bộ của một smart contract là hai vấn đề hoàn toàn khác nhau, và hầu hết những người nói về Dusk đang trộn lẫn chúng.
Các đồng privacy coin đã giải quyết vấn đề thứ nhất từ nhiều năm trước — ẩn ai đã gửi gì cho ai. Đó là nhiệm vụ của Phoenix trên Dusk. Nhưng một smart contract không chỉ là một giao dịch; nó là một chương trình đang chạy với các biến nội bộ. Một hợp đồng cho vay cần biết tỷ lệ tài sản thế chấp của bạn. Một hợp đồng đấu giá cần theo dõi các lượt đặt giá. Nếu trạng thái đó nằm trên một blockchain công khai ở dạng rõ ràng, thì quyền riêng tư của giao dịch tạo ra nó hầu như chẳng còn quan trọng — bất kỳ ai cũng có thể đọc được bộ nhớ của hợp đồng.
Dusk đã xây dựng việc thực thi hợp đồng bí mật của mình xoay quanh đúng vấn đề thứ hai đó: giữ cho trạng thái hợp đồng vẫn được mã hóa trong khi hợp đồng vẫn chạy đúng với nó. Đây là một đảm bảo khó hơn so với việc chỉ ẩn số tiền chuyển.
Hợp đồng phải chứng minh rằng nó đã tuân theo các quy tắc của chính nó — thực thi một lượt đặt giá hợp lệ, kiểm tra một ngưỡng thế chấp có thật — mà không bao giờ tiết lộ các con số nó đã dùng để làm điều đó.
Điều đó cho phép logic tài chính riêng tư, không chỉ là thanh toán riêng tư. Một chứng khoán được quản lý với các ràng buộc giao dịch được tích hợp sẵn có thể thực thi các ràng buộc đó trên chuỗi mà không lộ ra ai đang bị hạn chế hoặc vì sao, gần với điều mà luật chứng khoán thực sự yêu cầu hơn — kiểm soát mà không giám sát.
Điểm khó nằm ở chi phí xác minh. Việc chứng minh rằng một phép tính đã diễn ra đúng trên dữ liệu được che giấu đòi hỏi nhiều công việc mật mã hơn so với việc chứng minh một giao dịch thường chỉ đơn giản là hợp lệ. Chi phí phát sinh đó chính là cái giá của các hợp đồng có thể suy nghĩ một cách riêng tư.
Đó là một khác biệt nhỏ nhưng kéo theo hệ quả lớn: thanh toán riêng tư là bài toán dễ trong lĩnh vực này. Tính toán riêng tư mới là bài toán thực sự.
Thật ra, sự khác biệt mà tôi cứ bỏ lỡ là: việc ẩn một giao dịch và việc ẩn trạng thái nội bộ của một smart contract là hai vấn đề hoàn toàn khác nhau, và hầu hết những người nói về Dusk đang trộn lẫn chúng.
Các đồng privacy coin đã giải quyết vấn đề thứ nhất từ nhiều năm trước — ẩn ai đã gửi gì cho ai. Đó là nhiệm vụ của Phoenix trên Dusk. Nhưng một smart contract không chỉ là một giao dịch; nó là một chương trình đang chạy với các biến nội bộ. Một hợp đồng cho vay cần biết tỷ lệ tài sản thế chấp của bạn. Một hợp đồng đấu giá cần theo dõi các lượt đặt giá. Nếu trạng thái đó nằm trên một blockchain công khai ở dạng rõ ràng, thì quyền riêng tư của giao dịch tạo ra nó hầu như chẳng còn quan trọng — bất kỳ ai cũng có thể đọc được bộ nhớ của hợp đồng.
Dusk đã xây dựng việc thực thi hợp đồng bí mật của mình xoay quanh đúng vấn đề thứ hai đó: giữ cho trạng thái hợp đồng vẫn được mã hóa trong khi hợp đồng vẫn chạy đúng với nó. Đây là một đảm bảo khó hơn so với việc chỉ ẩn số tiền chuyển.
Hợp đồng phải chứng minh rằng nó đã tuân theo các quy tắc của chính nó — thực thi một lượt đặt giá hợp lệ, kiểm tra một ngưỡng thế chấp có thật — mà không bao giờ tiết lộ các con số nó đã dùng để làm điều đó.
Điều đó cho phép logic tài chính riêng tư, không chỉ là thanh toán riêng tư. Một chứng khoán được quản lý với các ràng buộc giao dịch được tích hợp sẵn có thể thực thi các ràng buộc đó trên chuỗi mà không lộ ra ai đang bị hạn chế hoặc vì sao, gần với điều mà luật chứng khoán thực sự yêu cầu hơn — kiểm soát mà không giám sát.
Điểm khó nằm ở chi phí xác minh. Việc chứng minh rằng một phép tính đã diễn ra đúng trên dữ liệu được che giấu đòi hỏi nhiều công việc mật mã hơn so với việc chứng minh một giao dịch thường chỉ đơn giản là hợp lệ. Chi phí phát sinh đó chính là cái giá của các hợp đồng có thể suy nghĩ một cách riêng tư.
Đó là một khác biệt nhỏ nhưng kéo theo hệ quả lớn: thanh toán riêng tư là bài toán dễ trong lĩnh vực này. Tính toán riêng tư mới là bài toán thực sự.