ゼロ知識証明では何度か対話をして実現することの方があった
だけどzkSNARKsでは、そうではなく一回のTxでそれを実現することも可能にしている
理論がわかると実装でどこをしているのかがわかるからやる！