This program takes the output of the trace from the emulator, transforms it, feeds it into Noir and runs the Noir proofs.