#dusk @Dusk
Hôm nay tôi thức dậy và thật lòng thị trường như đang nửa ngủ nửa thức, vừa như còn mơ vừa chưa chết hẳn. Cái trạng thái lửng lơ kỳ lạ nơi chẳng có gì chuyển động nhưng cũng chẳng thể coi là đã tắt hẳn. Thế là thay vì lướt doom scrolling các biểu đồ, tôi lại quay về tài liệu của Citadel 2—đừng hỏi tôi vì sao, chỉ là cảm thấy muốn đọc thứ gì đó mang tính kỹ thuật.
Tôi đang cố tìm đúng điểm mà Citadel thực sự quyết định việc người dùng có được cấp quyền hay không. Cứ cuộn mãi, cứ chờ mình chạm được vào chỗ đó. Nhưng không bao giờ đến. Hóa ra đó không phải nhiệm vụ của Citadel.
Người dùng chứng minh họ sở hữu một giấy phép hợp lệ mà không tiết lộ danh tính, hợp đồng giấy phép trên Dusk xác thực điều đó, một nullifier được thêm vào, và cookie phiên được cấp. Nghe như là quyền đã được cấp, đúng không. Nhưng bước cuối cùng trong luồng thì chẳng ai nhắc đến. Nhà cung cấp dịch vụ (Service Provider) sẽ lấy phiên đó, kiểm tra cookie cục bộ, rồi tự đưa ra quyết định xem có thực sự cấp dịch vụ hay không. Citadel chỉ xác nhận thông tin đăng nhập là thật và chưa từng bị dùng lại. Nó không nói gì về việc thông tin đăng nhập đó có đủ “tốt” đối với những gì SP cần hay không.
Chỉ là một khác biệt nhỏ, nhưng nó thay đổi thứ toàn bộ hệ thống đang giải quyết thực sự là gì. Một phiên hợp lệ cho bạn biết rằng bằng chứng được tạo đúng cách bởi một bên sở hữu giấy phép thật—không có chuyện chi tiêu hai lần. Nó không cho bạn biết bộ thuộc tính đó có khớp với những gì SP cụ thể này yêu cầu ngay hôm nay hay không. Một bên là bài toán toán học; Dusk giải một lần là xong. Bên còn lại là quyết định mang tính kinh doanh: mỗi SP tự làm, và ngày mai nó có thể thay đổi mà không cần đụng gì đến hệ thống tạo bằng chứng.
Thứ tôi đang để ý không phải là tốc độ các proof được tạo trên Dusk. Mà là việc các SP có thực sự xây dựng logic chính sách “thật” dựa trên Citadel hay không, hay việc xác minh chỉ lặng lẽ trở thành một cổng pass/fail khác với vài bước phụ thêm.
Nếu một hệ thống có thể chứng minh điều gì đó là đúng nhưng lại không quyết định “sự thật đó có nghĩa gì” thì có vẻ như nút thắt thực sự chưa bao giờ nằm ở phần proof. Nó luôn là bên đặt câu hỏi.
$DUSK
$TUT
$PORTAL
Mô hình cấp quyền tiếp theo của Citadel 2 nên đi về đâu?
Hôm nay tôi thức dậy và thật lòng thị trường như đang nửa ngủ nửa thức, vừa như còn mơ vừa chưa chết hẳn. Cái trạng thái lửng lơ kỳ lạ nơi chẳng có gì chuyển động nhưng cũng chẳng thể coi là đã tắt hẳn. Thế là thay vì lướt doom scrolling các biểu đồ, tôi lại quay về tài liệu của Citadel 2—đừng hỏi tôi vì sao, chỉ là cảm thấy muốn đọc thứ gì đó mang tính kỹ thuật.
Tôi đang cố tìm đúng điểm mà Citadel thực sự quyết định việc người dùng có được cấp quyền hay không. Cứ cuộn mãi, cứ chờ mình chạm được vào chỗ đó. Nhưng không bao giờ đến. Hóa ra đó không phải nhiệm vụ của Citadel.
Người dùng chứng minh họ sở hữu một giấy phép hợp lệ mà không tiết lộ danh tính, hợp đồng giấy phép trên Dusk xác thực điều đó, một nullifier được thêm vào, và cookie phiên được cấp. Nghe như là quyền đã được cấp, đúng không. Nhưng bước cuối cùng trong luồng thì chẳng ai nhắc đến. Nhà cung cấp dịch vụ (Service Provider) sẽ lấy phiên đó, kiểm tra cookie cục bộ, rồi tự đưa ra quyết định xem có thực sự cấp dịch vụ hay không. Citadel chỉ xác nhận thông tin đăng nhập là thật và chưa từng bị dùng lại. Nó không nói gì về việc thông tin đăng nhập đó có đủ “tốt” đối với những gì SP cần hay không.
Chỉ là một khác biệt nhỏ, nhưng nó thay đổi thứ toàn bộ hệ thống đang giải quyết thực sự là gì. Một phiên hợp lệ cho bạn biết rằng bằng chứng được tạo đúng cách bởi một bên sở hữu giấy phép thật—không có chuyện chi tiêu hai lần. Nó không cho bạn biết bộ thuộc tính đó có khớp với những gì SP cụ thể này yêu cầu ngay hôm nay hay không. Một bên là bài toán toán học; Dusk giải một lần là xong. Bên còn lại là quyết định mang tính kinh doanh: mỗi SP tự làm, và ngày mai nó có thể thay đổi mà không cần đụng gì đến hệ thống tạo bằng chứng.
Thứ tôi đang để ý không phải là tốc độ các proof được tạo trên Dusk. Mà là việc các SP có thực sự xây dựng logic chính sách “thật” dựa trên Citadel hay không, hay việc xác minh chỉ lặng lẽ trở thành một cổng pass/fail khác với vài bước phụ thêm.
Nếu một hệ thống có thể chứng minh điều gì đó là đúng nhưng lại không quyết định “sự thật đó có nghĩa gì” thì có vẻ như nút thắt thực sự chưa bao giờ nằm ở phần proof. Nó luôn là bên đặt câu hỏi.
$DUSK
$TUT
$PORTAL
Mô hình cấp quyền tiếp theo của Citadel 2 nên đi về đâu?
Custom SP policies
67%
Standard attribute templates
33%
3 phiếu bầu • Cuộc bỏ phiếu đã kết thúc