More debug dumps

sigma-compiler-core/src/rangeproof.rs

@@ -332,6 +332,12 @@ pub fn transform(
             &range_stmt.linscalar,
             &vardict,
         )?);
+        codegen.prove_append(convert_commitment(
+            &commitment_var,
+            &ped_assign,
+            &range_stmt.linscalar,
+            &vardict,
+        )?);
         codegen.prove_append(convert_randomness(
             &rand_var,
             &ped_assign,
@@ -550,6 +556,13 @@ pub fn transform(
             let #firstbitcomm_var =
                 #firstbit_var * #commit_generator +
                 #firstbitrand_var * #rand_generator;
+            sigma_compiler::dumper::dump(&format!("{} = {:?} = {:?} * {:?} + {:?} * {:?}\n",
+                stringify!(#firstbitcomm_var),
+                #firstbitcomm_var.to_bytes(),
+                #firstbit_var, #commit_generator.to_bytes(),
+                #firstbitrand_var, #rand_generator.to_bytes()));
+            sigma_compiler::dumper::dump(&format!("{} = {:?}\n",
+                stringify!(#commitment_var), #commitment_var.to_bytes()));
         });
 
         // The verifier also needs to compute the first commitment
@@ -559,6 +572,11 @@ pub fn transform(
                 #firstbitcomm_var -=
                     #bitcomm_var[i] * #bitrep_scalars_var[i+1];
             }
+            sigma_compiler::dumper::dump(&format!("{} = {:?}\n",
+                stringify!(#firstbitcomm_var),
+                #firstbitcomm_var.to_bytes()));
+            sigma_compiler::dumper::dump(&format!("{} = {:?}\n",
+                stringify!(#commitment_var), #commitment_var.to_bytes()));
         });
 
         basic_statements.push(parse_quote! {