Có một lập luận thú vị đang được bàn luận về việc các chứng minh không kiến thức yêu cầu "niềm tin vào toán học" - nhưng không phải đó là tất cả các hệ thống mật mã mà chúng ta sử dụng hay sao?

Hãy nghĩ về điều đó: mỗi kho lưu trữ blockchain, mỗi dòng mã hóa mật mã đều đòi hỏi một bước nhảy vọt niềm tin chính xác như nhau. Bạn đang tin tưởng vào các nền tảng toán học VÀ cách mà các thư viện thực sự triển khai những lý thuyết đó. Điều này áp dụng cho mọi trường hợp, cho dù chúng ta đang nói về mạch ZK hay các sơ đồ mã hóa truyền thống.

Sự phân biệt mà mọi người cố gắng đưa ra giữa công nghệ ZK và các phương pháp mật mã khác có vẻ hơi tùy tiện khi bạn phân tích nó. Mô hình tin cậy không thay đổi một cách cơ bản - bạn luôn đang đặt cược vào việc các bằng chứng toán học sẽ giữ vững trong các triển khai thực tế. Có thể các lớp độ phức tạp khác nhau, nhưng giả định tin cậy cốt lõi? Hầu như giống nhau trên mọi phương diện.

Điều gì làm cho một người "đáng tin cậy hơn" người khác không phải là sự hiện diện hay vắng mặt của toán học nâng cao - mà là chất lượng thực thi và kiểm toán an ninh.