Hôm qua cãi nhau với ai đó trong một nhóm chat về $DUSK . Anh ta cứ khăng khăng nói "2,8 mili giây xác minh trên chuỗi, không có gì khác đến gần." Tôi cứ hỏi anh ta thời gian tạo bằng chứng trong phép tính đó thì đi đâu.
Anh ta không có câu trả lời.
Tốc độ xác minh trên chuỗi và tốc độ toàn bộ hệ thống là những con số khác nhau. Việc xác minh bằng chứng PLONK trên Dusk mất khoảng 6,13 mili giây. Phần đó thực sự rất nhanh. Nhưng việc tạo ra bằng chứng đó mất 5,46 giây. Mạch (circuit) nhận dạng của Citadel cụ thể mất khoảng 16 giây để chứng minh, liên quan đến 34.000 ràng buộc.
Gánh nặng tính toán không biến mất. Nó được chuyển sang ngoài chuỗi cho bất kỳ ai vận hành Prover. Trên chuỗi trông có vẻ nhẹ vì công việc nặng đã được người khác hấp thụ ở phía trước. Câu hỏi thực sự là ai vận hành các nút Prover đó và điều gì tạo động lực để họ tiếp tục làm ở quy mô lớn.
Thiết kế công bố chọn lọc của Citadel khá ấn tượng trên giấy tờ. KYC không cần tiết lộ thông tin (zero-knowledge KYC) có nghĩa là nền tảng không thể xem chi tiết danh tính của bạn, chỉ có thể xác nhận rằng bạn đã vượt qua kiểm tra bằng một chứng chỉ. Nhưng phần xác minh ban đầu vẫn phải đi qua một tổ chức phát hành bên thứ ba nằm ngoài chuỗi. Chuỗi chỉ xác nhận rằng chứng chỉ là hợp lệ. Chuỗi không thể xác nhận tổ chức phát hành đã hành xử đúng trong suốt quá trình xác minh.
Điểm yếu (vulnerability) của PLONK vừa lộ ra gần đây đáng để tìm hiểu. Trình xác minh (verifier) không kiểm tra bốn cam kết đa thức từ prover, nghĩa là một kẻ tấn công độc hại có thể tiềm năng giả mạo bằng chứng. Bản sửa lỗi đã được phát hành. Nhưng sự cố này minh họa một điều nhất quán trong mọi hệ thống ZK: kiểm toán giúp giảm rủi ro, chứ không loại bỏ nó.
Chỉ số đánh giá thực sự của Dusk không phải là tốc độ xác minh trên chuỗi. Mà là có bao nhiêu nút hấp thụ chi phí tạo bằng chứng về lâu dài và có bao nhiêu tổ chức được quản lý tích hợp lớp danh tính ngoài chuỗi.
Hai con số đó quyết định liệu kiến trúc có mở rộng được hay chỉ dừng ở mức lý thuyết.
#dusk @Dusk #Binance
Anh ta không có câu trả lời.
Tốc độ xác minh trên chuỗi và tốc độ toàn bộ hệ thống là những con số khác nhau. Việc xác minh bằng chứng PLONK trên Dusk mất khoảng 6,13 mili giây. Phần đó thực sự rất nhanh. Nhưng việc tạo ra bằng chứng đó mất 5,46 giây. Mạch (circuit) nhận dạng của Citadel cụ thể mất khoảng 16 giây để chứng minh, liên quan đến 34.000 ràng buộc.
Gánh nặng tính toán không biến mất. Nó được chuyển sang ngoài chuỗi cho bất kỳ ai vận hành Prover. Trên chuỗi trông có vẻ nhẹ vì công việc nặng đã được người khác hấp thụ ở phía trước. Câu hỏi thực sự là ai vận hành các nút Prover đó và điều gì tạo động lực để họ tiếp tục làm ở quy mô lớn.
Thiết kế công bố chọn lọc của Citadel khá ấn tượng trên giấy tờ. KYC không cần tiết lộ thông tin (zero-knowledge KYC) có nghĩa là nền tảng không thể xem chi tiết danh tính của bạn, chỉ có thể xác nhận rằng bạn đã vượt qua kiểm tra bằng một chứng chỉ. Nhưng phần xác minh ban đầu vẫn phải đi qua một tổ chức phát hành bên thứ ba nằm ngoài chuỗi. Chuỗi chỉ xác nhận rằng chứng chỉ là hợp lệ. Chuỗi không thể xác nhận tổ chức phát hành đã hành xử đúng trong suốt quá trình xác minh.
Điểm yếu (vulnerability) của PLONK vừa lộ ra gần đây đáng để tìm hiểu. Trình xác minh (verifier) không kiểm tra bốn cam kết đa thức từ prover, nghĩa là một kẻ tấn công độc hại có thể tiềm năng giả mạo bằng chứng. Bản sửa lỗi đã được phát hành. Nhưng sự cố này minh họa một điều nhất quán trong mọi hệ thống ZK: kiểm toán giúp giảm rủi ro, chứ không loại bỏ nó.
Chỉ số đánh giá thực sự của Dusk không phải là tốc độ xác minh trên chuỗi. Mà là có bao nhiêu nút hấp thụ chi phí tạo bằng chứng về lâu dài và có bao nhiêu tổ chức được quản lý tích hợp lớp danh tính ngoài chuỗi.
Hai con số đó quyết định liệu kiến trúc có mở rộng được hay chỉ dừng ở mức lý thuyết.
#dusk @Dusk #Binance
