Fix functionality

[Divide-By-0]

A lot of functionality still doesn't completely work, like proof verification, trusted setup contribution, proof public input parsing (i.e. strings), showing verifiers correspond to same zkey from same trusted setup, etc. Nice to haves include showing CVEs from broken versions of snarkjs, contributing to trusted setups inline/in-browser, etc. We would be happy to give a grant to any one to help fix this!