Skip to main content

Implement the IVSTrait

You can find the same template for the IVSTrait implementation in the Prover and IVS Template repository in the src/bin/ivs.rs file.

Clone the repository​

git clone https://github.com/marlinprotocol/prover_and_ivs_template
cd prover_and_ivs_template

Implement the IVSTrait methods​

You need to implement the IVSTrait methods for the IVS interface, which are currently unimplemented!() methods.

The two methods you need to implement are:

  1. check_inputs: The check_inputs method takes a public and secret keys as inputs and returns a boolean value indicating whether the input is valid.

  2. check_inputs_and_proof: The check_inputs_and_proof method takes a public input, private input, and proof as inputs and returns a boolean value indicating whether they are valid.