search

GeniusVentures / SuperGenius

MIT License
4 stars 3 forks source link

Prover integration #56

Open henriqueaklein opened 2 months ago

henriqueaklein commented 2 months ago

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 commented 1 month ago

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 commented 1 month ago

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