github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

clean hints

Browse source
This commit is contained in:
schaeff 2019-01-25 12:10:27 +01:00
parent 6b916e779f
commit 35896ec8a2
1 changed files with 20 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

40
zokrates_cli/src/bin.rs
View file

@ -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)