zk-SNARKsの原理
https://zenn.dev/qope/articles/f94b37ff2d9541