Tại sao Zk-SNARK là Đối số của Kiến thức nếu Trình trích xuất Kiến thức tồn tại?

Kiến thức lành mạnh thực sự có thể được tính toán hoặc thống kê. Có một số ví dụ cổ điển, nếu bạn muốn một số minh họa: giao thức Sigma để mở chính xác lược đồ cam kết Damgard-Fujisaki (một biến thể của Pedersen trên các nhóm có thứ tự ẩn) là kiến ​​thức hợp lý theo giả định RSA (xem đây). Theo trực giác, khi bạn xem xét chứng minh, điều này có nghĩa là trình trích xuất của bạn chỉ hoạt động nếu một điều kiện nhất định được đáp ứng và bạn có thể chỉ ra rằng điều kiện này sẽ luôn được đáp ứng, nhưng chỉ khi trình chứng minh ác ý không thể phá vỡ một số vấn đề khó khăn.

SNARK thậm chí còn là một con quái vật xa lạ: ở đây, sự tồn tại của bản thân bộ trích xuất hiệu quả về cơ bản chỉ là giả định.

Vì vậy, nếu bạn chứng minh vô điều kiện rằng có một bộ trích xuất, nó thực sự ngụ ý âm thanh hoàn hảo. Nhưng nếu bạn chứng minh được "hoặc có một bộ trích xuất hoặc chúng ta có thể phá vỡ vấn đề khó khăn X", hoặc nếu sự tồn tại của bộ trích xuất thực sự là một phần của chính giả định, thì rõ ràng bạn không nhận được sự hợp lý hoàn hảo, chỉ có tính hợp lý của tính toán.