tornado-packages/phase2-bn254
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix generate verifier command line args

Browse Source
This commit is contained in:
poma 2020-01-17 22:22:52 +07:00
parent 82592ae2e7
commit f182648aa4
No known key found for this signature in database
GPG Key ID: BA20CB01FE165657
1 changed files with 7 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
phase2/src/bin/generate_verifier.rs
View File

@ -23,21 +23,17 @@ use bellman_ce::pairing::{
};
fn main() {
// let args: Vec<String> = std::env::args().collect();
// if args.len() != 3 {
// println!("Usage: \n<params> <out_contract.sol>");
// std::process::exit(exitcode::USAGE);
// }
// let params_filename = &args[1];
// let verifier_filename = &args[2];
let params_filename = "circom4.params";
let verifier_filename = "verifier.sol";
let args: Vec<String> = std::env::args().collect();
if args.len() != 3 {
println!("Usage: \n<params> <out_contract.sol>");
std::process::exit(exitcode::USAGE);
}
let params_filename = &args[1];
let verifier_filename = &args[2];
let should_filter_points_at_infinity = false;
let bytes = include_bytes!("../verifier_groth.sol");
let template = String::from_utf8_lossy(bytes);
//print!("{}", String::from_utf8_lossy(bytes));
let reader = OpenOptions::new()
.read(true)