ゼロ知識証明（ZKP）の一種で、証明者と検証者の対話なしに、簡潔（Succinct）かつ非対話的（Non-Interactive）に証明を行う技術はどれか。

zk-SNARKs（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）は、ブロックチェーンのプライバシー保護（Zcash等）で広く利用される技術である。