build-proving-key

This command takes the shared witness and circuit, and builds a shared proving key.

Example

co-noir build-proving-key --witness test_vectors/poseidon/poseidon.gz.0.shared --circuit test_vectors/poseidon/poseidon.json  --protocol REP3 --config configs/party1.toml --out proving_key.0.shared

Reference

Build the proving key for the specified circuit and witness share in MPC

Usage: co-noir build-proving-key [OPTIONS]

Options:
      --config <CONFIG>        The path to the config file
      --witness <WITNESS>      The path to the witness share file
      --circuit <CIRCUIT>      The path to the circuit file, generated by Noir
      --protocol <PROTOCOL>    The MPC protocol to be used [possible values: REP3, SHAMIR]
      --out <OUT>              The output file where the final proving key is written to
  -t, --threshold <THRESHOLD>  The threshold of tolerated colluding parties [default: 1]
      --recursive              Generate a recursive proof
  -h, --help                   Print help (see more with '--help')

Example​

Reference​

Example

Reference