Figure out how to verify a certificate

[fiedlr]

@mariaKt was able to run zkLLVM and generate an output based on their examples. Now we should figure out how to verify the output. Let's ask Nil foundation on Telegram (@xc93 please add us to their Telegram).

[mariaKt]

We have successfully reproduced the steps for proof generation, for their example circuit.

[fiedlr]

What do you mean by proof generation? Did you run their example to produce a ZK certificate, and verified it against the original source code? @mariaKt

[mariaKt]

I did the first part. Specifically, I was able, given the C++ source and an input to that source, to create the circuit, and then run the proof generator (using the circuit and the input) and generate a proof.

I am not entirely certain yet about the verification. I was able to complete their verification tutorial, but it is not clear to me yet how we would go from that to being able to verify the proof we generated before. I will get back to you on this once I have more information. @fiedlr

[mariaKt]

According to Misha, generating a proof means that is is verified, because a proof is verified as part of being generated.
The tool to also do that independently is not ready yet.