search

runtimeverification / proof-generation

University of Illinois/NCSA Open Source License
10 stars 4 forks source link

Figure out how to verify a certificate #54

Open fiedlr opened 1 year ago

fiedlr commented 1 year ago

@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 commented 1 year ago

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

fiedlr commented 1 year ago

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

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

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.