ゼロ知識証明を元に、Zcashがはじめて導入して匿名送金を可能にしたプロトコル。ネットワークコンセンサスルールの一部をzk-SNARKsにエンコードすることで、匿名化する前の値がコンセンサスルールに従って正しいことを”その値を公開せずに”証明をすることができる。送信者と受信者は元の値を参照することができるが、ノードは”その値が正しいという証明”しかわからないことで、匿名を可能とする。
イーサリアムでは2022年11月現在、zk-SNARKsをSNARKと表記することが多く、SNARKはzk-SNARKを活用した検証可能な証明を指すことが多い。
