ゼロ知識証明とは、zk-SNARKsに使用されている暗号理論を指す。ある解の数値を公開せず、その解が正しいことを証明するというもので、ブロックチェーンではZcashがはじめて実装した。イーサリアムも2017年のビザンチウムで実装しており、イーサリアム上ではZcash on Ethereumとして匿名送金などに使用される。
2020年現在、Zokratesなどでイーサリアム上でゼロ知識証明を活用することができ、匿名送金やコントラクトの難読化などにも活用されている。
