Hôm nay tôi đang đọc tài liệu Dusk và một chi tiết nhỏ đã thay đổi cách tôi nhìn toàn bộ kiến trúc: quyền riêng tư không được xem như một tính năng “đứng trên” blockchain. Nó gắn chặt với cách các giao dịch được biểu diễn, xác minh, thực thi và cuối cùng là được xác lập.
Sự khác biệt đó quan trọng.
Tôi bắt đầu theo dõi luồng giao dịch cẩn thận hơn. Một người dùng khởi tạo giao dịch, mô hình giao dịch liên quan sẽ xử lý các yêu cầu về quyền riêng tư, bằng chứng được xác minh, logic hợp đồng được thực thi và DuskDS cung cấp đồng thuận cũng như tính cuối cùng. Ở phía thực thi, DuskVM hỗ trợ các hợp đồng Rust/WASM, trong khi DuskEVM giới thiệu một môi trường tương thích EVM cho các ứng dụng dựa trên Solidity.
Điều khiến tôi chú ý là những gì xảy ra giữa “giao dịch này về mặt mật mã là hợp lệ” và “mạng có thể tiếp tục vận hành một cách đáng tin cậy”.
Đó không phải là cùng một việc.
Một bằng chứng không kiến thức có thể thiết lập tính hợp lệ mà không tiết lộ thông tin nhạy cảm. Nhưng xác minh không tự động đồng nghĩa với phi tập trung, và bảo mật không tự động đồng nghĩa với khả năng phục hồi. Nếu các nút không sẵn sàng, quá trình liên lạc bị trì hoãn, việc thực thi trở nên không nhất quán hoặc một số thành phần hoạt động không như mong đợi, thì câu hỏi quan trọng là hệ thống sẽ phục hồi như thế nào mà không làm suy yếu các cam kết của mình.
Tôi có thể sai, nhưng đây là chỗ tôi cho rằng việc phân tích hạ tầng trở nên thú vị hơn. Tài liệu mô tả kiến trúc cốt lõi, nhưng tôi muốn hiểu các trường hợp biên: Điều gì xảy ra khi có sự cố một phần kéo dài? Cơ chế dự phòng và thay thế được áp dụng ở đâu? Mạng bảo toàn việc xác lập an toàn như thế nào khi một nhánh thực thi trở nên không đáng tin cậy?
Trước đây tôi từng mắc sai lầm khi đánh giá hạ tầng chủ yếu thông qua thiết kế mật mã. Bây giờ tôi nhìn vào điều gì xảy ra khi mọi thứ không diễn ra đúng như kế hoạch.
Với Dusk, đó là câu hỏi mà tôi luôn quay lại: một L1 tập trung vào quyền riêng tư sẽ duy trì được cả việc thực thi bí mật lẫn khả năng phục hồi vận hành như thế nào khi điều kiện thực tế trở nên lộn xộn?
@Dusk #dusk $DUSK
Sự khác biệt đó quan trọng.
Tôi bắt đầu theo dõi luồng giao dịch cẩn thận hơn. Một người dùng khởi tạo giao dịch, mô hình giao dịch liên quan sẽ xử lý các yêu cầu về quyền riêng tư, bằng chứng được xác minh, logic hợp đồng được thực thi và DuskDS cung cấp đồng thuận cũng như tính cuối cùng. Ở phía thực thi, DuskVM hỗ trợ các hợp đồng Rust/WASM, trong khi DuskEVM giới thiệu một môi trường tương thích EVM cho các ứng dụng dựa trên Solidity.
Điều khiến tôi chú ý là những gì xảy ra giữa “giao dịch này về mặt mật mã là hợp lệ” và “mạng có thể tiếp tục vận hành một cách đáng tin cậy”.
Đó không phải là cùng một việc.
Một bằng chứng không kiến thức có thể thiết lập tính hợp lệ mà không tiết lộ thông tin nhạy cảm. Nhưng xác minh không tự động đồng nghĩa với phi tập trung, và bảo mật không tự động đồng nghĩa với khả năng phục hồi. Nếu các nút không sẵn sàng, quá trình liên lạc bị trì hoãn, việc thực thi trở nên không nhất quán hoặc một số thành phần hoạt động không như mong đợi, thì câu hỏi quan trọng là hệ thống sẽ phục hồi như thế nào mà không làm suy yếu các cam kết của mình.
Tôi có thể sai, nhưng đây là chỗ tôi cho rằng việc phân tích hạ tầng trở nên thú vị hơn. Tài liệu mô tả kiến trúc cốt lõi, nhưng tôi muốn hiểu các trường hợp biên: Điều gì xảy ra khi có sự cố một phần kéo dài? Cơ chế dự phòng và thay thế được áp dụng ở đâu? Mạng bảo toàn việc xác lập an toàn như thế nào khi một nhánh thực thi trở nên không đáng tin cậy?
Trước đây tôi từng mắc sai lầm khi đánh giá hạ tầng chủ yếu thông qua thiết kế mật mã. Bây giờ tôi nhìn vào điều gì xảy ra khi mọi thứ không diễn ra đúng như kế hoạch.
Với Dusk, đó là câu hỏi mà tôi luôn quay lại: một L1 tập trung vào quyền riêng tư sẽ duy trì được cả việc thực thi bí mật lẫn khả năng phục hồi vận hành như thế nào khi điều kiện thực tế trở nên lộn xộn?
@Dusk #dusk $DUSK