Trong lĩnh vực quyền riêng tư chuỗi khối và chứng minh không kiến thức thực sự đã từng phát triển sâu, những người làm việc sâu về công nghệ đều thẳng thắn thừa nhận một điểm cốt lõi: ZK chưa bao giờ là vấn đề khả năng thực hiện chức năng, mà là vấn đề hiệu suất khả dụng. Dù luận văn và whitepaper có đẹp đến đâu, khi bước vào giai đoạn triển khai thực tế, thời gian tạo chứng minh thường mất hàng chục giây thậm chí vài phút, dẫn đến trải nghiệm người dùng cuối cùng bị sụp đổ.

Nhiều blockchain công khai trên thị trường tuyên bố hỗ trợ chứng minh không kiến thức, nhưng thực tế là tích hợp logic mạch trong khung EVM một cách cưỡng ép. Phương án này dù về lý thuyết là khả thi, nhưng trải nghiệm thực tế cực kỳ hạn chế — giống như dùng máy kéo chạy trên đường cao tốc — dù có đạp ga bao nhiêu cũng không thể đạt được hiệu quả như mong muốn.

Trong vài năm qua, rất ít chuỗi có thể xử lý logic quyền riêng tư phức tạp, nguyên nhân không phải do lý thuyết mật mã chưa trưởng thành, mà là môi trường thực thi nền tảng hoàn toàn không theo kịp yêu cầu. Đó chính là lý do tại sao Dusk chọn con đường thực hành kỹ thuật hoàn toàn khác biệt: thay vì vá lỗi dựa trên EVM, tốt hơn là thiết kế lại hoàn toàn từ tầng máy ảo, do đó tự phát triển máy ảo Piecrust.

Vị trí của VM Piecrust rất rõ ràng — nó không theo đuổi tính linh hoạt chung chung, mà là một môi trường thực thi chuyên biệt dành cho tính toán không kiến thức. Tầm quan trọng của lựa chọn thiết kế này thường bị bỏ qua. EVM về bản chất là tối ưu cho tính xác định trạng thái và khả năng tái phát lại, chưa từng xem xét tính thân thiện với chứng minh. Chạy tính toán không kiến thức trên EVM, giống như vừa thực thi logic kinh doanh, vừa phải gánh chịu chi phí chứng minh khổng lồ bổ sung.

Dusk đảo ngược ý tưởng này: vì mục tiêu là quyền riêng tư và tính toán có thể xác minh, nên mô hình thực thi, tập lệnh và quản lý trạng thái cần được thiết kế từ ngày đầu tiên xung quanh chứng minh không kiến thức. Kết quả là một bước nhảy về hiệu suất tưởng như phản trực giác nhưng thực tế khả thi — thời gian tạo chứng minh được rút ngắn đáng kể, thực sự biến ZK từ lý tưởng trên giấy thành sản phẩm khả dụng.