TÓM TẮT:
- Lập luận chống ZK của Canton dựa trên giả định ẩn rằng không có hệ thống dự phòng nào tồn tại để phát hiện lỗi.
- Mô hình chỉ dựa vào tin cậy của Canton không có lớp mã hóa, khiến các khóa bị xâm phạm lan truyền thiệt hại một cách im lặng.
- Prividium triển khai ba lớp phòng thủ độc lập, giữ cho bất kỳ vi phạm nào được kiểm soát trong chuỗi của một tổ chức duy nhất.
- DAML đối mặt với những lo ngại về độ trưởng thành giống như Canton đặt ra về bằng chứng ZK, nhưng với ít người theo dõi bảo mật hơn nhiều.
Bằng chứng không kiến thức đang ở trung tâm của một cuộc tranh luận ngày càng tăng trong tài chính thể chế. Những người sáng lập Canton Network đã lập luận rằng bằng chứng ZK gây ra những rủi ro không thể chấp nhận cho các hệ thống tài chính quan trọng.
Họ đã đưa ra vấn đề này với người mua và cơ quan quản lý, cả công khai và riêng tư. Một phản hồi công khai từ nhà nghiên cứu ZK Alex thách thức lập luận đó một cách trực tiếp.
Lời bác bỏ so sánh các cách tiếp cận kiến trúc của Canton và Prividium.
Trường Hợp Rủi Ro Của Canton Và Giả Định Mà Nó Dựa Vào
Lập luận của Canton chống lại bằng chứng ZK tập trung vào độ phức tạp của chúng. Lỗi trong các hệ thống như vậy có thể không được phát hiện vì dữ liệu cơ bản vẫn ở chế độ riêng tư.
Nếu một lỗi lan truyền âm thầm, nó có thể tạo ra rủi ro hệ thống trên các mạng tài chính. Mối lo ngại là thực sự, nhưng logic tiếp theo chứa một khoảng trống.
Lập luận cho rằng bằng chứng ZK là tuyến phòng thủ duy nhất trong một hệ thống. Alex vẽ một sự tương đồng với hàng không, kiểm soát hạt nhân và thiết bị y tế.
Mỗi hệ thống trong số đó đều phức tạp, quan trọng và có khả năng gây ra lỗi thảm khốc. Không hệ thống nào bị từ bỏ vì lý do đó—chúng hoạt động thông qua dự phòng và kiểm soát, không phải sự vắng mặt của rủi ro.
Trong một bài đăng trên X, @gluk64 đóng khung nó như một mô hình rộng hơn. Bất kỳ công nghệ phức tạp, quan trọng nào có thể thất bại thảm khốc sẽ thất bại trong bài kiểm tra của Canton.
Giả định ẩn làm tất cả công việc là không có hệ thống dự phòng nào tồn tại. Giả định đó, không phải bản thân công nghệ, là thứ tạo ra nguy hiểm hệ thống.
Kiến trúc riêng của Canton minh họa điểm này. Mô hình quyền riêng tư của nó chỉ dựa vào các nhà điều hành đáng tin cậy để phân tách dữ liệu giữa các bên tham gia. Không có lớp xác minh mã hóa nào được triển khai.
Nếu khóa của nhà điều hành bị xâm phạm, trạng thái bị thao túng lan truyền âm thầm qua các chuỗi mờ đục mà không có gì để phát hiện nó.
Phòng Thủ Phân Lớp Của Prividium Và Câu Hỏi Về Tiêu Chuẩn Mở
Prividium xây dựng mô hình của mình trên ba lớp phòng thủ độc lập. Các đối tác thể chế vận hành các node trong môi trường được quản lý của riêng họ.
Bằng chứng không kiến thức sau đó thêm một lớp xác minh mã hóa phía trên bảo mật hoạt động. Khi các hệ thống chứng minh trưởng thành, nhiều người chứng minh độc lập có thể xác minh cùng một phép tính. Một lỗi trong một triển khai sau đó sẽ được phát hiện bởi một triển khai khác.
Kiểm soát được tích hợp vào kiến trúc theo thiết kế. Mỗi phiên bản Prividium là một chuỗi riêng biệt được vận hành bởi một tổ chức duy nhất.
Các tương tác giữa các chuỗi đi qua các cơ chế kế toán được thực thi độc lập bởi các tổ chức tham gia hoặc trên chuỗi. Ngay cả một cuộc tấn công kết hợp vào CNTT nội bộ và lỗi ZKP vẫn bị giới hạn trong một chuỗi đó.
Câu hỏi về tiêu chuẩn mở bổ sung một lớp khác cho so sánh. Động thái của ZKsync hướng tới sự tương đương EVM đầy đủ phản ánh nguyên tắc rằng việc lệch khỏi tiêu chuẩn mở mở rộng bề mặt tấn công.
Cơ sở hạ tầng của Ethereum đã đối mặt với hơn một thập kỷ kiểm tra đối nghịch với hàng trăm tỷ đô la bị đe dọa. Quá trình đó xây dựng các tiêu chuẩn kiểm toán mạnh mẽ hơn, công cụ xác minh chính thức và các mô hình thiết kế được củng cố.
Những lo ngại về độ trưởng thành của Canton về bằng chứng ZK áp dụng như nhau cho DAML, ngôn ngữ hợp đồng thông minh độc quyền của nó. DAML hoạt động trong một hệ sinh thái khép kín với ít nhà phát triển và nhà nghiên cứu bảo mật theo dõi hơn nhiều.
Mọi chu kỳ lỗ hổng mà Ethereum đã trải qua vẫn còn phía trước cho DAML. Kiến trúc có lịch sử lâu nhất trong những điều kiện khắc nghiệt nhất mang rủi ro thấp nhất.
Bài viết ZK Proofs Draw Fire as Canton Disputes Their Role in Institutional Finance xuất hiện đầu tiên trên Blockonomi.
Nguồn: https://blockonomi.com/zk-proofs-draw-fire-as-canton-disputes-their-role-in-institutional-finance/
