Trong bài viết trước về DUSK của XSC, có người trong phần bình luận hỏi: “Mỗi lần đều phải dùng zero-knowledge proof, vậy chạy có chậm đến mức không dùng được không?” Câu hỏi này không hề vô nghĩa, nên tôi trả lời nghiêm túc.

Nửa đầu giao dịch của XSC diễn ra ngay trên máy cục bộ. Số tiền, bên đối tác, và toàn bộ quá trình thực thi đều được tính xong trên chính máy của bạn để tạo ra một bản chứng minh; còn trên chuỗi thì chỉ nhận chính bản chứng minh. Phần áp lực phải xếp hàng chờ phát broadcast kia hoàn toàn không nằm trong lộ trình của tính toán bảo mật. Các node trên chuỗi của DUSK phải làm là xác minh bản chứng minh này, chứ không phải chạy lại toàn bộ giao dịch. Việc xác minh nhẹ hơn nhiều so với việc tạo chứng minh; chênh lệch “nhẹ” và “nặng” này, nhìn là hiểu. $ETH

Smart contract bí mật cũng đi cùng một con đường. Với các kịch bản như confidential DeFi hay hệ thống đăng ký quyền sở hữu số, phần tính toán nặng cũng được đặt ở cục bộ. Lớp Piecrust (hiện là môi trường thực thi cốt lõi của DuskVM) chịu trách nhiệm làm cho việc thực thi nhanh hơn, còn trên chuỗi chỉ ghi nhận kết quả xác minh. Tôi đã đối chiếu cách tính Gas trong tài liệu; nó thu chi phí cho việc xác minh và thực thi. Theo tài liệu mới nhất, bản thân quyền riêng tư không bị cộng thêm một lớp phí tính riêng. $BNB

Tôi tự đối chiếu theo tài liệu, lần lượt đi qua cả lộ trình tạo và xác minh chứng minh, và xác nhận rằng việc tính lại thực sự diễn ra ở cục bộ; trên chuỗi chỉ làm xác minh nhẹ. Về câu hỏi lần trước, hỏi đúng trọng tâm. Trả lời của tôi sau khi đã tự kiểm chứng cũng đủ vững để tiếp tục được hỏi lại: thứ không chậm là quyền riêng tư, mà là một chuỗi không biết sắp xếp cho quyền riêng tư. #dusk $DUSK @Dusk