Compress public data signals

[Divide-By-0]

Utilize hashing (either just naiively hash all the public inputs and check a pre-image) or do Dmitry’s new idea of efficient hashing on both sides of the proof to reduce public input size for larger circuits. Not needed for Twitter verification due to convenience of small SHAs for the time being.