Từ góc độ lý thuyết thông tin, các chứng minh không biết (zero-knowledge proofs) không có ý nghĩa. Làm thế nào 1.000 bit có thể xác minh terabyte dữ liệu? Về mặt toán học là không thể nếu chỉ xem xét các ràng buộc thông tin. ZK hoạt động vì nó giả định rằng kẻ tấn công bị giới hạn về tính toán. Nếu loại bỏ giả định đó, toàn bộ hệ thống sẽ sụp đổ.