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

fixed template error and indentation problem

Browse source
This commit is contained in:
Steffen Haertlein 2017-10-25 11:06:29 +02:00
parent 88b803b7c4
commit b6218f120d
2 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/main.rs
View file

@ -461,8 +461,6 @@ fn main() {
}; };
let reader = BufReader::new(input_file); let reader = BufReader::new(input_file);
let mut lines = reader.lines(); let mut lines = reader.lines();
//TODO: Parse input file!
//read template //read template
let template_path = Path::new("templates/sol_verification.template"); let template_path = Path::new("templates/sol_verification.template");
@ -507,10 +505,11 @@ fn main() {
curr_template = vk_ic_points_regex.replace(curr_template.as_str(), current_line_split[1].trim()).into_owned(); curr_template = vk_ic_points_regex.replace(curr_template.as_str(), current_line_split[1].trim()).into_owned();
ic_repeat_text.push_str(curr_template.as_str()); ic_repeat_text.push_str(curr_template.as_str());
if x < ic_count - 1 { if x < ic_count - 1 {
ic_repeat_text.push_str("\n\t\t"); ic_repeat_text.push_str("\n ");
} }
} }
template_text = vk_ic_repeat_regex.replace(template_text.as_str(), ic_repeat_text.as_str()).into_owned(); template_text = vk_ic_repeat_regex.replace(template_text.as_str(), ic_repeat_text.as_str()).into_owned();
//write output file //write output file
let output_path = Path::new(sub_matches.value_of("output").unwrap()); let output_path = Path::new(sub_matches.value_of("output").unwrap());
let mut output_file = match File::create(&output_path) { let mut output_file = match File::create(&output_path) {

2
templates/sol_verification.template
View file

@ -210,7 +210,7 @@ contract Test {
function verifyingKey() internal returns (VerifyingKey vk) { function verifyingKey() internal returns (VerifyingKey vk) {
vk.A = Pairing.G2Point(<%vk_a%>); vk.A = Pairing.G2Point(<%vk_a%>);
vk.B = Pairing.G1Point(<%vk_b%>); vk.B = Pairing.G1Point(<%vk_b%>);
vk.C = Pairing.G2Point(<%vk_c%>]); vk.C = Pairing.G2Point(<%vk_c%>);
vk.gamma = Pairing.G2Point(<%vk_g%>); vk.gamma = Pairing.G2Point(<%vk_g%>);
vk.gammaBeta1 = Pairing.G1Point(<%vk_gb1%>); vk.gammaBeta1 = Pairing.G1Point(<%vk_gb1%>);
vk.gammaBeta2 = Pairing.G2Point(<%vk_gb2%>); vk.gammaBeta2 = Pairing.G2Point(<%vk_gb2%>);