Theo như tôi hiểu, một thuộc tính là tính toán nếu nó nằm trong ngữ cảnh giới hạn tính toán, vì vậy đối với BẤT KỲ thực thể nào có liên quan đến giới hạn tính toán (ngay cả khi một thực thể không bị ràng buộc có thể phát hiện ra thuộc tính thực sự bị thiếu): ví dụ: bất kỳ bộ phân biệt giới hạn tính toán nào đánh giá hai bảng điểm để kiểm tra CZK hoặc các chứng minh giới hạn tính toán của một đối số.
Tôi đoán rằng việc nắm bắt rõ ràng khái niệm "bất kỳ thực thể có giới hạn tính toán nào" trong một bằng chứng là không dễ dàng, vì vậy tôi nghĩ đó là lý do tôi đã gặp (ít nhất là xử lý các thuộc tính tính toán của ZKP) được chứng minh bằng cách giảm các vấn đề khó tính toán, như khả năng chống tạo ảnh thứ hai của hàm băm hoặc DLP (vì độ cứng của chúng phụ thuộc vào TẤT CẢ các thực thể bị giới hạn về mặt tính toán, vì vậy nếu chúng tôi chứng minh rằng độ cứng của chúng bao hàm thuộc tính của chúng tôi, chúng tôi sẽ thắng)
Tôi tự hỏi liệu có ví dụ nào về các thuộc tính tính toán được chứng minh bằng các chiến lược khác nhau không; và nếu việc chứng minh bằng cách giảm các vấn đề khó theo cách nào đó không phải là bằng chứng "yếu", dựa trên giả định về độ cứng không được đảm bảo tồn tại mãi mãi ngay cả khi được chấp nhận chắc chắn (tôi hiểu toàn bộ mật mã là một lời nói dối tính toán khổng lồ ;-) nhưng hãy nói của tôi nghi ngờ là sai lệch về mặt lý thuyết)
