https://crypto.stackexchange.com/questions/61827/is-a-zk-snark-the-hash-of-a-linear-interactive-proof