ゼロ知識証明

ある主張が正しいことを、その中身を明かさずに証明する暗号技術。
zkRollupでは、L2で行った処理の正しさをこの証明にまとめてL1に提出することで、検証を短時間で終わらせている。