#dusk $DUSK @Dusk _Foundation
Có người hỏi tôi làm sao một chuỗi “riêng tư” vẫn có thể kiểm tra số dư của bạn, nếu số dư được ẩn đi, và tôi nhận ra rằng mình thực sự không giải thích được.
Vì vậy tôi đi đào sâu xem Hedger làm điều đó như thế nào, và thành thật mà nói, nó vẫn cảm thấy hơi “kỳ”.
Thông thường, nếu một hệ thống cần làm gì đó với một giá trị, nó phải đọc giá trị đó. Cộng hai số dư, kiểm tra xem có vượt quá một ngưỡng nào đó không—hoặc bất cứ thứ gì tương tự. Con số thực tế thường sẽ nằm đâu đó.
Đó là lúc Hedger trở nên thú vị.
Hệ thống quyền riêng tư của Dusk cho phía EVM sử dụng mã hóa đồng cấu — ElGamal trên các đường cong elliptic, cụ thể là như vậy. Ý tưởng cốt lõi khá lạ: bạn có thể thực hiện một số phép tính trên các giá trị được mã hóa mà không cần giải mã trước. Bạn nhận được kết quả đúng trong khi các giá trị nền vẫn được mã hóa.
Sau đó bạn bổ sung các bằng chứng không tri thức, để bạn cũng có thể chứng minh phép tính đã tuân theo đúng quy tắc mà không lộ các đầu vào bí mật.
Phần khiến tôi thực sự chú ý là điểm này:
số dư dạng “plaintext” không cần phải bị lộ cho hợp đồng thì quy tắc vẫn có thể được thực thi.
Với tài chính được quản lý, điều này có thể hữu ích cho các tác vụ như kiểm tra điều kiện (eligibility), giới hạn số dư, hạn chế chuyển khoản và các logic tuân thủ khác—nơi các con số nhạy cảm không nên nằm trong tầm nhìn công khai.
Nhưng có một câu hỏi hiển nhiên.
Mã hóa đồng cấu (HE) tốn kém về mặt tính toán. Việc có thể tính toán trên ciphertext không có nghĩa là mọi kiểu phép tính đều rẻ, nhanh, hay khả thi trong thực tế.
Vì vậy tôi thực sự tò mò về phần này:
**hiệu năng đang ở “đường ranh giới” nào vào hôm nay? HE có thực sự thực tế cho logic tài chính có ý nghĩa không, hay chúng ta vẫn chủ yếu nói về các phép toán hẹp hơn?**
$PORTAL $GPS
Có người hỏi tôi làm sao một chuỗi “riêng tư” vẫn có thể kiểm tra số dư của bạn, nếu số dư được ẩn đi, và tôi nhận ra rằng mình thực sự không giải thích được.
Vì vậy tôi đi đào sâu xem Hedger làm điều đó như thế nào, và thành thật mà nói, nó vẫn cảm thấy hơi “kỳ”.
Thông thường, nếu một hệ thống cần làm gì đó với một giá trị, nó phải đọc giá trị đó. Cộng hai số dư, kiểm tra xem có vượt quá một ngưỡng nào đó không—hoặc bất cứ thứ gì tương tự. Con số thực tế thường sẽ nằm đâu đó.
Đó là lúc Hedger trở nên thú vị.
Hệ thống quyền riêng tư của Dusk cho phía EVM sử dụng mã hóa đồng cấu — ElGamal trên các đường cong elliptic, cụ thể là như vậy. Ý tưởng cốt lõi khá lạ: bạn có thể thực hiện một số phép tính trên các giá trị được mã hóa mà không cần giải mã trước. Bạn nhận được kết quả đúng trong khi các giá trị nền vẫn được mã hóa.
Sau đó bạn bổ sung các bằng chứng không tri thức, để bạn cũng có thể chứng minh phép tính đã tuân theo đúng quy tắc mà không lộ các đầu vào bí mật.
Phần khiến tôi thực sự chú ý là điểm này:
số dư dạng “plaintext” không cần phải bị lộ cho hợp đồng thì quy tắc vẫn có thể được thực thi.
Với tài chính được quản lý, điều này có thể hữu ích cho các tác vụ như kiểm tra điều kiện (eligibility), giới hạn số dư, hạn chế chuyển khoản và các logic tuân thủ khác—nơi các con số nhạy cảm không nên nằm trong tầm nhìn công khai.
Nhưng có một câu hỏi hiển nhiên.
Mã hóa đồng cấu (HE) tốn kém về mặt tính toán. Việc có thể tính toán trên ciphertext không có nghĩa là mọi kiểu phép tính đều rẻ, nhanh, hay khả thi trong thực tế.
Vì vậy tôi thực sự tò mò về phần này:
**hiệu năng đang ở “đường ranh giới” nào vào hôm nay? HE có thực sự thực tế cho logic tài chính có ý nghĩa không, hay chúng ta vẫn chủ yếu nói về các phép toán hẹp hơn?**
$PORTAL $GPS
