github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #366 from petscheit/print-proof

Browse source 
Add print-proof command to cli
This commit is contained in:
Thibaut Schaeffer 2019-06-13 18:09:43 +02:00 committed by GitHub
commit eb2638e93e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 72 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

72
zokrates_cli/src/bin.rs
View file

@ -6,6 +6,7 @@
use bincode::{deserialize_from, serialize_into, Infinite};
use clap::{App, AppSettings, Arg, SubCommand};
use serde_json::Value;
use std::env;
use std::fs::File;
use std::io::{stdin, BufReader, BufWriter, Read, Write};
@ -200,6 +201,26 @@ fn cli() -> Result<(), String> {
.required(false)
.default_value(&default_scheme)
)
)
.subcommand(SubCommand::with_name("print-proof")
.about("Prints proof in chosen format [remix, json]")
.arg(Arg::with_name("proofpath")
.short("j")
.long("proofpath")
.help("Path of the JSON proof file")
.value_name("FILE")
.takes_value(true)
.required(false)
.default_value(JSON_PROOF_PATH)
).arg(Arg::with_name("format")
.short("f")
.long("format")
.value_name("FORMAT")
.help("Format in which the proof should be printed. [remix, json]")
.takes_value(true)
.possible_values(&["remix", "json", "testingV1", "testingV2"])
.required(true)
)
)
.get_matches();
@ -427,6 +448,57 @@ fn cli() -> Result<(), String> {
scheme.generate_proof(program, witness, pk_path, proof_path)
);
}
("print-proof", Some(sub_matches)) => {
let format = sub_matches.value_of("format").unwrap();
let path = Path::new(sub_matches.value_of("proofpath").unwrap());
let file = File::open(&path)
.map_err(|why| format!("couldn't open {}: {}", path.display(), why))?;
let proof_object: Value =
serde_json::from_reader(file).map_err(|why| format!("{:?}", why))?;
match format {
"json" => {
println!("~~~~~~~~ Copy the output below for valid ABIv2 format ~~~~~~~~");
println!();
print!("{}", proof_object["proof"]);
print!(",");
println!("{}", proof_object["inputs"]);
println!();
println!("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~");
}
"remix" => {
println!("~~~~~~~~ Copy the output below for valid ABIv1 format ~~~~~~~~");
println!();
for (_, value) in proof_object["proof"].as_object().unwrap().iter() {
print!("{}", value);
print!(",");
}
println!("{}", proof_object["inputs"]);
println!();
println!("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~");
}
"testingV1" => {
//used by testing pipeline to generate arguments for contract call
for (_, value) in proof_object["proof"].as_object().unwrap().iter() {
print!("{}", value);
print!(",");
}
println!("{}", proof_object["inputs"]);
}
"testingV2" => {
//used by testing pipeline to generate arguments for contract call
print!("{}", proof_object["proof"]);
print!(",");
println!("{}", proof_object["inputs"]);
}
_ => unreachable!(),
}
}
_ => unreachable!(),
}
Ok(())