Prover integration

[henriqueaklein]

Integrating the zkLLVM's prover into SuperGenius.

The input will be a bytecode.ll file and the output will be a proof.bin file or just a binary to be recorded on CRDT/ipfs

Initially need to port the code that turns the bytecode into the circuit and assignment table (assigner and circifier) and feed those into the placeholder prover part of transpiler/crypto3

[Super-Genius]

Code has been ported and now last integration step into SuperGenius.

Then testing for consensus (i.e. sending to all full ipfs nodes to store the transaction)

[henriqueaklein]

The proof for transfer transactions has been created and serialized into CRDT, as well as deserialized by other nodes to process locally their variables.