検証可能な計算を使うとき #ZK 感覚。