bb's proof output is not easily fed into the verifier smart contract

[TomAFrench]

See PR comment at link

We currently need to do a bunch of data wrangling to convert from the proof format outputted by bb into something which can be fed into the verifier smart contract. The current steps to do this are:

1. Get number of public inputs to circuit.
2. Split binary data according to number of public inputs to separate these from rest of proof.
3. Convert public inputs from binary to hexadecimal string.
   a. Split public inputs at every 32 bytes and prefix with 0x
4. Convert proof from binary to hexadecimal string and prefix with 0x.

Which is a bit unwieldy in bash for an end user plus requires outside knowledge about the circuit.

[Savio-Sou]

Assume this applies to bb.js as well?

[TomAFrench]

Yep, bb.js's output is the same as bb's