This is probably important https://electriccoin.co/blog/halo-recursive-proof-composition-without-a-trusted-setup/