#dusk $DUSK @Dusk
Điều tôi thấy thú vị trong thiết kế quyền riêng tư của Dusk không chỉ là các ghi chú bị ẩn. Mà nằm ở chỗ việc ẩn xảy ra như thế nào, và cần có bao nhiêu giả định đồng thời phải đúng.
Phoenix sử dụng cam kết (commitments) và cây Merkle, trong khi cam kết giá trị (value commitments) thêm một yếu tố làm mù (blinding factor). Các bộ xác thực (validators) có thể kiểm tra tính nhất quán mà không cần học ra giá trị. Các địa chỉ tàng hình (stealth addresses) cũng khiến việc liên kết người nhận khó hơn.
Tầng mã hóa là nơi tôi nhìn kỹ hơn. Phoenix hiện tại dùng AES làm thuật toán mã đối xứng, trong khi ngăn xếp (stack) cũng bao gồm JubJub ElGamal và Poseidon. Thư viện Poseidon của Dusk có chức năng mã hóa, nhưng nói “Poseidon cung cấp tính bảo mật” là quá đơn giản. Cách hiện thực (implementation) đã phát triển, và điều đó quan trọng khi đánh giá an toàn ngữ nghĩa (semantic security).
Câu hỏi thực sự của tôi là liệu phép ghép (composition) đã được chứng minh như một hệ thống duy nhất chưa. Một cam kết có thể che giấu một giá trị và mã hóa có thể che giấu bản rõ (plaintext), nhưng quyền riêng tư vẫn có thể thất bại thông qua siêu dữ liệu (metadata), cách xử lý khóa (key handling), lạm dụng nonce (nonce misuse), tương quan địa chỉ (address correlation), hoặc quan hệ chứng minh (proof relation) bị lỗi. Tôi đã từng thấy điều này: các nguyên thủy mạnh không tự động tạo nên một giao thức mạnh.
Poseidon được xây dựng cho tính toán thân thiện với ZK, còn AES thì đã trưởng thành cho mã hóa nói chung. Điều này có thể giúp hiệu năng, nhưng nó khiến ranh giới giữa mã hóa (encrypt), cam kết (commit) và chứng minh (prove) trở nên quan trọng.
Tôi chưa sẵn sàng để tin vào bản thiết kế vì các thành phần được tôn trọng. Tôi muốn có một lập luận hình thức chứng minh rằng mã hóa ghi chú che giấu giá trị và danh tính. Đó là nơi tuyên bố về quyền riêng tư của Dusk trở thành thứ mà tôi có thể đánh giá.
Điều tôi thấy thú vị trong thiết kế quyền riêng tư của Dusk không chỉ là các ghi chú bị ẩn. Mà nằm ở chỗ việc ẩn xảy ra như thế nào, và cần có bao nhiêu giả định đồng thời phải đúng.
Phoenix sử dụng cam kết (commitments) và cây Merkle, trong khi cam kết giá trị (value commitments) thêm một yếu tố làm mù (blinding factor). Các bộ xác thực (validators) có thể kiểm tra tính nhất quán mà không cần học ra giá trị. Các địa chỉ tàng hình (stealth addresses) cũng khiến việc liên kết người nhận khó hơn.
Tầng mã hóa là nơi tôi nhìn kỹ hơn. Phoenix hiện tại dùng AES làm thuật toán mã đối xứng, trong khi ngăn xếp (stack) cũng bao gồm JubJub ElGamal và Poseidon. Thư viện Poseidon của Dusk có chức năng mã hóa, nhưng nói “Poseidon cung cấp tính bảo mật” là quá đơn giản. Cách hiện thực (implementation) đã phát triển, và điều đó quan trọng khi đánh giá an toàn ngữ nghĩa (semantic security).
Câu hỏi thực sự của tôi là liệu phép ghép (composition) đã được chứng minh như một hệ thống duy nhất chưa. Một cam kết có thể che giấu một giá trị và mã hóa có thể che giấu bản rõ (plaintext), nhưng quyền riêng tư vẫn có thể thất bại thông qua siêu dữ liệu (metadata), cách xử lý khóa (key handling), lạm dụng nonce (nonce misuse), tương quan địa chỉ (address correlation), hoặc quan hệ chứng minh (proof relation) bị lỗi. Tôi đã từng thấy điều này: các nguyên thủy mạnh không tự động tạo nên một giao thức mạnh.
Poseidon được xây dựng cho tính toán thân thiện với ZK, còn AES thì đã trưởng thành cho mã hóa nói chung. Điều này có thể giúp hiệu năng, nhưng nó khiến ranh giới giữa mã hóa (encrypt), cam kết (commit) và chứng minh (prove) trở nên quan trọng.
Tôi chưa sẵn sàng để tin vào bản thiết kế vì các thành phần được tôn trọng. Tôi muốn có một lập luận hình thức chứng minh rằng mã hóa ghi chú che giấu giá trị và danh tính. Đó là nơi tuyên bố về quyền riêng tư của Dusk trở thành thứ mà tôi có thể đánh giá.