Zero-Knowledge-Proofs
哪些 ZK 證明系統是統計知識與計算零知識？
我很好奇 Groth16、Halo2、Bulletproofs 等中的哪一個具有統計與計算零知識保證。這也將為後量子零知識提供資訊，因為我認為過去的統計零知識系統不會被去匿名化，但過去的計算 zk 可以。（請注意，我不關心健全性。）
據我所知，以上所有內容，以及基本上所有 ZK-SNARK，都具有統計零知識。更準確地說，Groth16 可以在兩種模式下實例化，提供統計零知識或統計穩健性——ZK-SNARK 通常不能提供統計穩健性，但統計零知識通常很容易實現。事實上，統計零知識尤其是量子證明的。