TACEO:Proof Quickstart

To make it easy to seamlessly integrate TACEO:Proof into your applications, we implemented client libraries for different languages. You can find the client libraries and example clients in the proof-client repository. There you will find installations instructions and example circuits.

JavaScript/TypeScript

The JavaScript clients use WebAssembly generated with wasm-pack and therefore need different packages for different targets. Currently we support nodejs and bundler with their respective npm packages @taceo/proof-client-node and @taceo/proof-client-bundler.

• Install the package for your target using your favorite package manager

  npm install @taceo/proof-client-node

• Setup the API client configuration

  const configParams: ConfigurationParameters = {
    basePath: "https://proof.taceo.network",
  }
  const configuration = new Configuration(configParams)
  const jobInstance = new JobApi(configuration );
  const nodeInstance = new NodeApi(configuration );

• Request distinct set of Node Providers

  const nodes = await nodeInstance.randomNodeProviders();

• Choose Blueprint + Job Type + MPC Protocol

  Witness Extension + Prove with REP3

  const blueprint = "69c28d4a-f3de-468d-ba5a-0117b0c9d316";
  const voucher = null; // only required for Restricted blueprints
  const publicInputs = ["public_input_name_a", "public_input_name_b"];
  const input = new Uint8Array(fs.readFileSync("input.json"));
  const jobId = await scheduleFullJobRep3(jobInstance, nodes, blueprint, voucher, "Bn254", publicInputs, input);

  Prove with REP3

  const blueprint = "69c28d4a-f3de-468d-ba5a-0117b0c9d316";
  const voucher = null; // only required for Restricted blueprints
  const numInputs = 2;
  const witness = new Uint8Array(fs.readFileSync("witness.wtns"));
  const jobId = await scheduleProveJobRep3(jobInstance, nodes, blueprint, voucher, "Bn254", numInputs, witness);

  Prove with Shamir

  const blueprint = "69c28d4a-f3de-468d-ba5a-0117b0c9d316";
  const voucher = null; // only required for Restricted blueprints
  const numInputs = 2;
  const witness = new Uint8Array(fs.readFileSync("witness.wtns"));
  const jobId = await scheduleProveJobShamir(jobInstance, nodes, blueprint, voucher, "Bn254", numInputs, witness);

• Fetch the job Results

  const jobResult = await fetchJobResult("wss://proof.taceo.network/api/v1/reports/subs", jobId);
  fs.writeFileSync("proof.json", jobResult.proof);
  fs.writeFileSync("public.json", jobResult.public_inputs);

Rust

Currently we don't publish the Rust client lib to crates.io, instead you can add it as a git dependency to your Cargo.toml file.

• Add the following line to your Cargo.toml

  taceo-proof-client = { git = "https://github.com/TaceoLabs/proof-client" }

• Setup the API client configuration

  let config = Configuration {
      base_path: "https://proof.taceo.network".to_string(),
      ..Default::default()
  };

• Request distinct set of Node Providers

  let nodes = taceo_proof_client::get_random_node_providers(&config).await?;

• Choose Blueprint + Job Type + MPC Protocol

  Witness Extension + Prove with REP3

  let blueprint_id = uuid::Uuid::parse_str("54f9ee38-0160-44e2-a1d8-08d1b6771cbf")?;
  let voucher = None; // only required for Restricted blueprints
  let public_inputs = ["public_input_name_a".to_string(), "public_input_name_b".to_string()];
  let input = serde_json::from_reader(std::fs::File::open("input.json")?)?;
  let job_id = taceo_proof_client::schedule_full_job_rep3::<ark_bn254::Bn254>(
      &config,
      &nodes,
      blueprint_id,
      voucher,
      public_inputs,
      input
  )
  .await?;

  Prove with REP3

  let blueprint_id = uuid::Uuid::parse_str("54f9ee38-0160-44e2-a1d8-08d1b6771cbf")?;
  let voucher = None; // only required for Restricted blueprints
  let num_inputs = 2;
  let witness = circom_types::Witness::from_reader(std::fs::File::open("witness.wtns")?)?;
  let job_id = taceo_proof_client::schedule_prove_job_rep3::<ark_bn254::Bn254>(
      &config,
      &nodes,
      blueprint_id,
      voucher,
      num_inputs,
      witness,
  )
  .await?;

  Prove with Shamir

  let blueprint_id = uuid::Uuid::parse_str("54f9ee38-0160-44e2-a1d8-08d1b6771cbf")?;
  let voucher = None; // only required for Restricted blueprints
  let num_inputs = 2;
  let witness = circom_types::Witness::from_reader(std::fs::File::open("witness.wtns")?)?;
  let job_id = taceo_proof_client::schedule_prove_job_shamir::<ark_bn254::Bn254>(
      &config,
      &nodes,
      blueprint_id,
      voucher,
      num_inputs,
      witness,
  )
  .await?;

• Fetch the job Results

  let ws_url = "wss://proof.taceo.network/api/v1/reports/subs".to_string();
  let res = taceo_proof_client::fetch_job_result(&ws_url, job_id, taceo_proof_client::StopStrategy::default()).await?;
  // CircomGroth16 proofs compatible with circom
  std::fs::write("proof.json", &res.proof)?;
  std::fs::write("public.json", &res.public_inputs)?;
  // LibsnarkGroth16 proofs
  let proof = ark_groth16::Proof::<ark_bn254::Bn254>::deserialize_uncompressed(
      base64ct::Base64::decode_vec(&res.proof)?.as_slice(),
  );
  let public_inputs = Vec::<ark_bn254::Fr>::deserialize_uncompressed(
      base64ct::Base64::decode_vec(&res.public_inputs)?.as_slice(),
  );

CLI tool

In the proof-client you can also find a Rust CLI example that you can install and use to schedule coSNARK jobs. After installing the CLI, you can run it with the --help flag to get more information.

Usage: taceo-proof-client <COMMAND>

Commands:
  full-prove  Schedule a full coSNARK job including witness extension
  prove       Schedule a prove coSNARK job
  help        Print this message or the help of the given subcommand(s)

Options:
  -h, --help  Print help

Usage: taceo-proof-client prove [OPTIONS] --curve <CURVE> --blueprint <BLUEPRINT> --witness <WITNESS> <--r1cs <R1CS>|--num-inputs <NUM_INPUTS>>

Options:
      --api-url <API_URL>
          The API endpoint URL [env: TACEO_PROOF_API_URL=] [default: https://proof.taceo.network]
      --curve <CURVE>
          The curve [env: PROOF_CURVE=] [possible values: bn254, bls381, bls377]
      --voucher <VOUCHER>
          The voucher for a proof job [env: PROOF_VOUCHER=]
      --blueprint <BLUEPRINT>
          The job blueprint [env: PROOF_BLUEPRINT=]
      --protocol <PROTOCOL>
          The MPC protocol [env: PROOF_MPC_PROTOCOL=] [default: rep3] [possible values: rep3, shamir]
      --witness <WITNESS>
          The path to the witness file [env: PROOF_WITNESS=]
      --r1cs <R1CS>
          The path to the r1cs file [env: PROOF_R1CS=]
      --num-inputs <NUM_INPUTS>
          The number of inputs for the circuit [env: PROOF_NUM_INPUTS=]
      --out <OUT>
          The output file where the final proof is written to [env: PROOF_OUT=] [default: proof.json]
      --out-public-inputs <OUT_PUBLIC_INPUTS>
          The output JSON file where the public inputs are written to [env: PROOF_OUT_PUBLIC_INPUTS=] [default: public.json]
  -h, --help
          Print help

Usage: taceo-proof-client full-prove [OPTIONS] --curve <CURVE> --blueprint <BLUEPRINT> --input <INPUT>

Options:
      --api-url <API_URL>
          The API endpoint URL [env: TACEO_PROOF_API_URL=] [default: https://proof.taceo.network]
      --curve <CURVE>
          The curve [env: PROOF_CURVE=] [possible values: bn254, bls381, bls377]
      --voucher <VOUCHER>
          The voucher for a proof job [env: PROOF_VOUCHER=]
      --blueprint <BLUEPRINT>
          The job blueprint [env: PROOF_BLUEPRINT=]
      --input <INPUT>
          The path to the job input [env: PROOF_INPUT=]
      --public-inputs <PUBLIC_INPUTS>
          The public inputs for witness extension [env: PROOF_PUBLIC_INPUTS=]
      --out <OUT>
          The output file where the final proof is written to [env: PROOF_OUT=] [default: proof.json]
      --out-public-inputs <OUT_PUBLIC_INPUTS>
          The output JSON file where the public inputs are written to [env: PROOF_OUT_PUBLIC_INPUTS=] [default: public.json]
  -h, --help
          Print help

Witness Extension + Prove with REP3

taceo-proof-client full-prove \
  --blueprint a1ce14e7-628e-4dfc-be2e-8f44ccdf8b29 \
  --curve bn254 \
  --input input.json \
  --public-inputs public_input_name_a,public_input_name_b

Prove with REP3

taceo-proof-client prove \
  --blueprint a1ce14e7-628e-4dfc-be2e-8f44ccdf8b29 \
  --curve bn254 \
  --protocol rep3 \
  --witness witness.wtns \
  --num-inputs 2

Prove with Shamir

taceo-proof-client prove \
  --blueprint a1ce14e7-628e-4dfc-be2e-8f44ccdf8b29 \
  --curve bn254 \
  --protocol shamir \
  --witness witness.wtns \
  --num-inputs 2

After following these steps, you should have 2 files called proof.json and public.json which contain the Circom Groth16 proof and public inputs.

Assuming that the provided blueprint type was for Circom + Groth16, other blueprint type results are encoded differently.

You can now use snarkjs to verify the proof

snarkjs groth16 verify verification_key.json public.json proof.json