Skip to content
This repository has been archived by the owner on Feb 1, 2024. It is now read-only.

Latest commit

 

History

History
40 lines (25 loc) · 798 Bytes

README.md

File metadata and controls

40 lines (25 loc) · 798 Bytes

Nova CLI in Rust

command line interface for Nova Scotia.

  • Build
cargo build --release
  • Install the binary
cargo install --path .

Setup

This command takes a circom file and creates public parameters, prover key, verifier key.

nova-cli --verbose setup examples/toy.circom

Prove

This command takes public parameters, prover key, input, start public input and creates a proof.

nova-cli --verbose prove examples/toy.pp examples/toy.pk examples/input.json examples/start_input.json

Verify

This command takes proof, verifier key, start public input, iteration count and verifies the proof.

nova-cli --verbose verify examples/toy.proof examples/toy.vk examples/start_input.json 5