Skip to main content

split-proving-key

Instead of building the proving key in MPC, one can also take the secret share computed by Noir. The command is the following:

Example​

co-noir split-proving-key --witness test_vectors/poseidon/poseidon.gz --circuit test_vectors/poseidon/poseidon.json --crs test_vectors/bn254_g1.dat --protocol REP3 --out-dir .

Reference​

Generate the proving key in plain and split it into secret shares used for MPC

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

Options:
      --config <CONFIG>            The path to the config file
      --witness <WITNESS>          The path to the input witness file generated by Noir
      --circuit <CIRCUIT>          The path to the circuit file, generated by Noir
      --crs <CRS>                  The path to the prover crs file
      --protocol <PROTOCOL>        The MPC protocol to be used [possible values: REP3, SHAMIR]
      --out-dir <OUT_DIR>          The path to the (existing) output directory
  -t, --threshold <THRESHOLD>      The threshold of tolerated colluding parties [default: 1]
  -n, --num-parties <NUM_PARTIES>  The number of parties [default: 3]
      --recursive                  Generate a recursive proof
  -h, --help                       Print help (see more with '--help')