Một thay đổi nhỏ ở Rusk nói lên nhiều điều về cách Dusk xử lý việc xác minh mật mã trong các bản nâng cấp giao thức.
Một kết quả được lưu vào bộ nhớ đệm không còn chỉ gắn với chứng minh và các đầu vào của nó nữa. Dusk cũng ràng buộc kết quả đó với các quy tắc xác minh đã có hiệu lực tại thời điểm thực hiện kiểm tra.
Điều này quan trọng vì dữ liệu chứng minh giống hệt nhau không phải lúc nào cũng đồng nghĩa với bối cảnh xác minh giống hệt. Một bản nâng cấp giao thức có thể thay đổi bộ xác minh hoặc chính sách thực thi mà không thay đổi chính các byte của chứng minh.
Đối với mạng Dusk, điều này đặc biệt liên quan khi nó xây dựng quyền riêng tư có thể lập trình cho các thị trường được quản lý, nơi các bằng chứng mật mã cần phải vẫn đáng tin cậy xuyên suốt các bản nâng cấp giao thức.
Điều tôi chưa biết là liệu Dusk có cách cô lập các quy tắc đặc thù theo phiên bản đủ chặt để một kết quả được lưu vào bộ nhớ đệm không bao giờ có thể tồn tại vượt quá ngữ nghĩa khiến nó còn hợp lệ hay không.
Những chi tiết đáng theo dõi gồm ngữ cảnh chính sách thực thi được đưa vào khóa bộ nhớ đệm, các thay đổi của bộ xác minh như việc kích hoạt PLONK V3, và điều gì xảy ra khi các bản nâng cấp trong tương lai lại thay đổi hành vi xác minh.
Các byte chứng minh khớp nhau là bằng chứng hữu ích rằng hai phép kiểm tra trông giống nhau. Chúng là bằng chứng yếu hơn rằng cùng một kết quả được lưu vào bộ nhớ đệm có thể được tái sử dụng an toàn.
Tôi quan tâm nhiều hơn đến việc ngữ cảnh của bộ xác minh đang hoạt động có còn khớp hay không, hơn là Dusk quản lý bộ nhớ đệm khối lượng công việc xác minh được bao nhiêu.
Điểm sâu hơn là việc xác minh tất định phụ thuộc vào nhiều thứ hơn việc chỉ cố định đầu vào. Các quy tắc dùng để diễn giải đầu vào đó cũng phải được cố định.
Câu hỏi là liệu Dusk có thể tiếp tục tối ưu hóa việc xác minh mà không để các ngữ nghĩa giao thức cũ vượt qua ranh giới nâng cấp thông qua bộ nhớ đệm hay không.
Tôi đang theo dõi cách các thay đổi tương lai của bộ xác minh được phản ánh trong ngữ cảnh chính sách thực thi đó.
#dusk $DUSK @Dusk
Một kết quả được lưu vào bộ nhớ đệm không còn chỉ gắn với chứng minh và các đầu vào của nó nữa. Dusk cũng ràng buộc kết quả đó với các quy tắc xác minh đã có hiệu lực tại thời điểm thực hiện kiểm tra.
Điều này quan trọng vì dữ liệu chứng minh giống hệt nhau không phải lúc nào cũng đồng nghĩa với bối cảnh xác minh giống hệt. Một bản nâng cấp giao thức có thể thay đổi bộ xác minh hoặc chính sách thực thi mà không thay đổi chính các byte của chứng minh.
Đối với mạng Dusk, điều này đặc biệt liên quan khi nó xây dựng quyền riêng tư có thể lập trình cho các thị trường được quản lý, nơi các bằng chứng mật mã cần phải vẫn đáng tin cậy xuyên suốt các bản nâng cấp giao thức.
Điều tôi chưa biết là liệu Dusk có cách cô lập các quy tắc đặc thù theo phiên bản đủ chặt để một kết quả được lưu vào bộ nhớ đệm không bao giờ có thể tồn tại vượt quá ngữ nghĩa khiến nó còn hợp lệ hay không.
Những chi tiết đáng theo dõi gồm ngữ cảnh chính sách thực thi được đưa vào khóa bộ nhớ đệm, các thay đổi của bộ xác minh như việc kích hoạt PLONK V3, và điều gì xảy ra khi các bản nâng cấp trong tương lai lại thay đổi hành vi xác minh.
Các byte chứng minh khớp nhau là bằng chứng hữu ích rằng hai phép kiểm tra trông giống nhau. Chúng là bằng chứng yếu hơn rằng cùng một kết quả được lưu vào bộ nhớ đệm có thể được tái sử dụng an toàn.
Tôi quan tâm nhiều hơn đến việc ngữ cảnh của bộ xác minh đang hoạt động có còn khớp hay không, hơn là Dusk quản lý bộ nhớ đệm khối lượng công việc xác minh được bao nhiêu.
Điểm sâu hơn là việc xác minh tất định phụ thuộc vào nhiều thứ hơn việc chỉ cố định đầu vào. Các quy tắc dùng để diễn giải đầu vào đó cũng phải được cố định.
Câu hỏi là liệu Dusk có thể tiếp tục tối ưu hóa việc xác minh mà không để các ngữ nghĩa giao thức cũ vượt qua ranh giới nâng cấp thông qua bộ nhớ đệm hay không.
Tôi đang theo dõi cách các thay đổi tương lai của bộ xác minh được phản ánh trong ngữ cảnh chính sách thực thi đó.
#dusk $DUSK @Dusk
