|
@@ -556,12 +556,12 @@ pub fn transform(
|
|
|
let #firstbitcomm_var =
|
|
let #firstbitcomm_var =
|
|
|
#firstbit_var * #commit_generator +
|
|
#firstbit_var * #commit_generator +
|
|
|
#firstbitrand_var * #rand_generator;
|
|
#firstbitrand_var * #rand_generator;
|
|
|
- sigma_compiler::dumper::dump(&format!("{} = {:?} = {:?} * {:?} + {:?} * {:?}\n",
|
|
|
|
|
|
|
+ sigma_compiler::dumper::dump(&format!("firstbitcomm_var {} = {:?} = {:?} * {:?} + {:?} * {:?}\n",
|
|
|
stringify!(#firstbitcomm_var),
|
|
stringify!(#firstbitcomm_var),
|
|
|
#firstbitcomm_var.to_bytes(),
|
|
#firstbitcomm_var.to_bytes(),
|
|
|
#firstbit_var, #commit_generator.to_bytes(),
|
|
#firstbit_var, #commit_generator.to_bytes(),
|
|
|
#firstbitrand_var, #rand_generator.to_bytes()));
|
|
#firstbitrand_var, #rand_generator.to_bytes()));
|
|
|
- sigma_compiler::dumper::dump(&format!("{} = {:?}\n",
|
|
|
|
|
|
|
+ sigma_compiler::dumper::dump(&format!("commitment_var {} = {:?}\n",
|
|
|
stringify!(#commitment_var), #commitment_var.to_bytes()));
|
|
stringify!(#commitment_var), #commitment_var.to_bytes()));
|
|
|
});
|
|
});
|
|
|
|
|
|
|
@@ -572,11 +572,15 @@ pub fn transform(
|
|
|
#firstbitcomm_var -=
|
|
#firstbitcomm_var -=
|
|
|
#bitcomm_var[i] * #bitrep_scalars_var[i+1];
|
|
#bitcomm_var[i] * #bitrep_scalars_var[i+1];
|
|
|
}
|
|
}
|
|
|
- sigma_compiler::dumper::dump(&format!("{} = {:?}\n",
|
|
|
|
|
|
|
+ sigma_compiler::dumper::dump(&format!("firstbitcomm_var {} = {:?}\n",
|
|
|
stringify!(#firstbitcomm_var),
|
|
stringify!(#firstbitcomm_var),
|
|
|
#firstbitcomm_var.to_bytes()));
|
|
#firstbitcomm_var.to_bytes()));
|
|
|
- sigma_compiler::dumper::dump(&format!("{} = {:?}\n",
|
|
|
|
|
|
|
+ sigma_compiler::dumper::dump(&format!("commitment_var {} = {:?}\n",
|
|
|
stringify!(#commitment_var), #commitment_var.to_bytes()));
|
|
stringify!(#commitment_var), #commitment_var.to_bytes()));
|
|
|
|
|
+ sigma_compiler::dumper::dump(&format!("commit generator {} = {:?}\n",
|
|
|
|
|
+ stringify!(#commit_generator), #commit_generator.to_bytes()));
|
|
|
|
|
+ sigma_compiler::dumper::dump(&format!("rand generator {} = {:?}\n",
|
|
|
|
|
+ stringify!(#rand_generator), #rand_generator.to_bytes()));
|
|
|
});
|
|
});
|
|
|
|
|
|
|
|
basic_statements.push(parse_quote! {
|
|
basic_statements.push(parse_quote! {
|