zk-SNARK 和 NIZK 有什麼區別？

我不確定 zk-SNARK 和 NIZK 有什麼區別？NIZK 不簡潔嗎？如果是這樣，為什麼 Pinocchio 協議儘管有簡潔的證據卻認為自己是 NIZK？

我試過Google，但找不到確切的區別。

ZK-SNARK 是一個簡潔的 NIZK（更準確地說，是公共參考字元串模型中的非互動式零知識知識論證），這意味著證明大小和驗證時間都隨著見證大小呈亞線性增長。

因此，每個 ZK-SNARK 都是一個 NIZK（但並非所有 NIZK 都是 ZK-SNARK）。

Pinocchio 提供了一個 ZK-SNARK（使用他們針對任意 NP 計算的通用方案），因此它也是一個 NIZK。

引用自：https://crypto.stackexchange.com/questions/87473