From 35896ec8a2bc3f3d794cbb82ea5a6ec70eecba39 Mon Sep 17 00:00:00 2001 From: schaeff Date: Fri, 25 Jan 2019 12:10:27 +0100 Subject: [PATCH] clean hints --- zokrates_cli/src/bin.rs | 40 ++++++++++++++++++++-------------------- 1 file changed, 20 insertions(+), 20 deletions(-) diff --git a/zokrates_cli/src/bin.rs b/zokrates_cli/src/bin.rs index 954cf78f..cda57b60 100644 --- a/zokrates_cli/src/bin.rs +++ b/zokrates_cli/src/bin.rs @@ -55,18 +55,18 @@ fn main() { .author("Jacob Eberhardt, Thibaut Schaeffer, Dennis Kuhnert") .about("Supports generation of zkSNARKs from high level language code including Smart Contracts for proof verification on the Ethereum Blockchain.\n'I know that I show nothing!'") .subcommand(SubCommand::with_name("compile") - .about("Compiles into flattened conditions. Produces two files: human-readable '.code' file and binary file") + .about("Compiles into flattened conditions. Produces two files: human-readable '.code' file for debugging and binary file") .arg(Arg::with_name("input") .short("i") .long("input") - .help("path of source code file to compile.") + .help("Path of the source code") .value_name("FILE") .takes_value(true) .required(true) ).arg(Arg::with_name("output") .short("o") .long("output") - .help("output file path.") + .help("Path of the output file") .value_name("FILE") .takes_value(true) .required(false) @@ -78,11 +78,11 @@ fn main() { ) ) .subcommand(SubCommand::with_name("setup") - .about("Performs a trusted setup for a given constraint system.") + .about("Performs a trusted setup for a given constraint system") .arg(Arg::with_name("input") .short("i") .long("input") - .help("path of compiled code.") + .help("Path of compiled code") .value_name("FILE") .takes_value(true) .required(false) @@ -91,7 +91,7 @@ fn main() { .arg(Arg::with_name("proving-key-path") .short("p") .long("proving-key-path") - .help("Path of the generated proving key file.") + .help("Path of the generated proving key file") .value_name("FILE") .takes_value(true) .required(false) @@ -100,7 +100,7 @@ fn main() { .arg(Arg::with_name("verification-key-path") .short("v") .long("verification-key-path") - .help("Path of the generated verification key file.") + .help("Path of the generated verification key file") .value_name("FILE") .takes_value(true) .required(false) @@ -109,7 +109,7 @@ fn main() { .arg(Arg::with_name("meta-information") .short("m") .long("meta-information") - .help("Path of file containing meta information for variable transformation.") + .help("Path of the file containing meta-information for variable transformation") .value_name("FILE") .takes_value(true) .required(false) @@ -126,11 +126,11 @@ fn main() { ) ) .subcommand(SubCommand::with_name("export-verifier") - .about("Exports a verifier as Solidity smart contract.") + .about("Exports a verifier as Solidity smart contract") .arg(Arg::with_name("input") .short("i") .long("input") - .help("path of verifier.") + .help("Path of the verifier") .value_name("FILE") .takes_value(true) .required(false) @@ -139,7 +139,7 @@ fn main() { .arg(Arg::with_name("output") .short("o") .long("output") - .help("output file path.") + .help("Path of the output file") .value_name("FILE") .takes_value(true) .required(false) @@ -155,11 +155,11 @@ fn main() { ) ) .subcommand(SubCommand::with_name("compute-witness") - .about("Calculates a witness for a given constraint system, i.e., a variable assignment which satisfies all constraints. Private inputs are specified interactively.") + .about("Calculates a witness for a given constraint system") .arg(Arg::with_name("input") .short("i") .long("input") - .help("path of compiled code.") + .help("Path of compiled code") .value_name("FILE") .takes_value(true) .required(false) @@ -167,7 +167,7 @@ fn main() { ).arg(Arg::with_name("output") .short("o") .long("output") - .help("output file path.") + .help("Path of the output file") .value_name("FILE") .takes_value(true) .required(false) @@ -175,13 +175,13 @@ fn main() { ).arg(Arg::with_name("arguments") .short("a") .long("arguments") - .help("Arguments for the program's main method. Space separated list.") + .help("Arguments for the program's main method as a space separated list") .takes_value(true) .multiple(true) // allows multiple values .required(false) ).arg(Arg::with_name("interactive") .long("interactive") - .help("enter private inputs interactively.") + .help("Enter private inputs interactively. Public inputs still need to be passed non-interactively") .required(false) ) ) @@ -190,7 +190,7 @@ fn main() { .arg(Arg::with_name("witness") .short("w") .long("witness") - .help("Path of witness file.") + .help("Path of the witness file") .value_name("FILE") .takes_value(true) .required(false) @@ -198,7 +198,7 @@ fn main() { ).arg(Arg::with_name("provingkey") .short("p") .long("provingkey") - .help("Path of proving key file.") + .help("Path of the proving key file") .value_name("FILE") .takes_value(true) .required(false) @@ -206,7 +206,7 @@ fn main() { ).arg(Arg::with_name("proofpath") .short("j") .long("proofpath") - .help("Path of the json proof file") + .help("Path of the JSON proof file") .value_name("FILE") .takes_value(true) .required(false) @@ -214,7 +214,7 @@ fn main() { ).arg(Arg::with_name("meta-information") .short("i") .long("meta-information") - .help("Path of file containing meta information for variable transformation.") + .help("Path of file containing meta information for variable transformation") .value_name("FILE") .takes_value(true) .required(false)