Implementation of Prover Clients

[SeiyaKobayashi]

🎨 Overview

Implemented prover clients of the verifier contract.

🌈 Details

Implemented the following functionalities of prover clients of the verifier contract.

• Encoding of testing results as a Merkle tree
• Interactions with our verifier contract
  • Searching a Merkle tree given the random challenge
  • Generating Merkle proofs of the matched leaves
  • Computing witness & generating ZKPs of the matched leaves
  • Providing Merkle proofs & ZKPs of the matched leaves
  • Verifying Merkle proofs & ZKPs of the matched leaves using auto-generated verifier via Circom

📚 References

• https://github.com/socathie/keras2circom
• https://docs.circom.io/getting-started/proving-circuits/
• https://github.com/OpenZeppelin/merkle-tree
• https://github.com/iden3/snarkjs
• https://github.com/tensorflow/tfjs

[SeiyaKobayashi]

Just recorded a short demo vid.

[tkmct]

Do you have test code?

[SeiyaKobayashi]

Do you have test code?

Not implemented. Just manually tested.

[SeiyaKobayashi]

Do you mean as long as env file is set for the demo? Because the content id is generated by hashing the file contents, you cannot change that with an arbitrary value.

Yes. This is just for future improvements.