Đã tìm hiểu cách Cosmos IBC xác minh sự đồng thuận trên Ethereum bằng các bằng chứng SP1. Điều tôi quan tâm hơn cả các bằng chứng ZK là ai kiểm soát trình xác minh. Bởi vì bạn có thể có các bằng chứng hợp lệ về mặt toán học, nhưng nếu ai đó có quyền nâng cấp light client hoặc thay đổi các khóa xác minh được tin cậy, thì đó là một câu hỏi bảo mật hoàn toàn khác. Việc triển khai trên Ethereum sử dụng multisig 4 trên 7 với các kiểm soát quản trị được timelocked. Bây giờ tôi muốn truy vết chính xác những gì những người quản trị này có thể thay đổi, liệu một trình xác minh độc hại có thể được giới thiệu thông qua bản nâng cấp hay không, và người dùng thực sự có thể làm gì trong khoảng thời gian timelock. ZK chứng minh rằng một phép tính cụ thể đã được thực thi chính xác. Nó không chứng minh rằng những người kiểm soát phép tính nào được xác minh không thể thay đổi nó. Đó mới là phần tôi muốn tìm hiểu sâu hơn.