Skip to content

Commit

Permalink
Delete debugging print statements.
Browse files Browse the repository at this point in the history
  • Loading branch information
tideofwords committed Jul 12, 2023
1 parent d463b8d commit 8db7f10
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 4 deletions.
2 changes: 0 additions & 2 deletions axiom-eth/src/rlp/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,6 @@ pub fn witness_subarray<F: ScalarField>(
// `u32` should be enough for array indices
let [start_id, sub_len] = [start_id, sub_len].map(|fe| fe.get_lower_32() as usize);
debug_assert!(sub_len <= max_len);
println!("About to have problem at {} {}", start_id, sub_len);
ctx.assign_witnesses(
array[start_id..start_id + sub_len]
.iter()
Expand Down Expand Up @@ -847,7 +846,6 @@ impl<'range, F: ScalarField> RlpChip<'range, F> {
rlp_array.iter().copied().take(running_max_len + 1),
prefix_idx,
);
println!("Prefix: {:?}", prefix);
let prefix_parsed = self.parse_rlp_prefix(ctx, prefix); // constrained correct

let mut len_len = prefix_parsed.len_len;
Expand Down
2 changes: 0 additions & 2 deletions axiom-eth/src/rlp/rlc.rs
Original file line number Diff line number Diff line change
Expand Up @@ -222,7 +222,6 @@ impl<F: ScalarField> RlcChip<F> {

let (mut running_rlc, mut running_len, _) = inputs.next().unwrap();
for (input, len, max_len) in inputs {
println!("Looping 225: {:?}", max_len);
running_len = gate.add(ctx_gate, running_len, len);
let gamma_pow = self.rlc_pow(ctx_gate, gate, len, bit_length(max_len as u64));
running_rlc = gate.mul_add(ctx_gate, running_rlc, gamma_pow, input);
Expand Down Expand Up @@ -332,7 +331,6 @@ impl<F: ScalarField> RlcChip<F> {
if pow_bits == 0 {
pow_bits = 1;
}
println!("assertion {}>={}", self.gamma_pow_cached().len(), pow_bits);
assert!(pow_bits <= self.gamma_pow_cached().len());

let bits = gate.num_to_bits(ctx_gate, pow, pow_bits);
Expand Down

0 comments on commit 8db7f10

Please sign in to comment.