Sfoglia il codice sorgente

The generators don't appear to match? Explicitly dump them.

Ian Goldberg 6 mesi fa
parent
commit
ad1129a301
1 ha cambiato i file con 4 aggiunte e 0 eliminazioni
  1. 4 0
      sigma-compiler-core/src/rangeproof.rs

+ 4 - 0
sigma-compiler-core/src/rangeproof.rs

@@ -563,6 +563,10 @@ pub fn transform(
                 #firstbitrand_var, #rand_generator.to_bytes()));
             sigma_compiler::dumper::dump(&format!("commitment_var {} = {:?}\n",
                 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()));
         });
 
         // The verifier also needs to compute the first commitment