ゼロ知識証明とは、zk-SNARKsに使用されている暗号理論を指す。ある解の数値を公開せず、その解が正しいことを証明するというもので、ブロックチェーンではZcashがはじめて実装した。イーサリアムにおいてゼロ知識証明は今後10年の開発のコア技術に取り込まれる予定となっており、すでにL2ではzk-Rollupとしてメインネットローンチされている。
イーサリアムでは2017年の”ビザンチウムアップデート”でzk-SNARKsを実装しており、Zcash on Ethereumとして利用することが可能となった。2020年にはZokratesなどでイーサリアム上でゼロ知識証明を活用することができ、匿名送金やコントラクトの難読化などにも活用されている。
2021年に入りL2のコア技術の一つであるRollup(ロールアップ)が注目を集めるようになり、zk-Rollupの開発研究が盛んに行われるようになった。2023年にはzkEVMを導入したStarknet(スタークネット)とzkSync(ジーケーシンク)がイーサリアムメインネットにローンチしており、これまで以上にゼロ知識証明の恩恵をイーサリアムが受けている。
イーサリアムは今後10年の開発ロードマップとしてゼロ知識証明を元にしたzk-SNARKsをイーサリアムL1に組み込むことを予定しており、”バージ(The Verge)”で導入する予定となっている。