We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 863f321 commit 1698fdaCopy full SHA for 1698fda
prover/src/prover_stages/cached_data.rs
@@ -364,7 +364,10 @@ impl ProverCachedData {
364
let circuit_sequence_bits_shift = (trace_len.trailing_zeros()
365
+ num_bits_in_timestamp_for_index_log_2)
366
- TIMESTAMP_COLUMNS_NUM_BITS;
367
- assert!((circuit_sequence << circuit_sequence_bits_shift) < (1 << TIMESTAMP_COLUMNS_NUM_BITS));
+ assert!(
368
+ (circuit_sequence << circuit_sequence_bits_shift)
369
+ < (1 << TIMESTAMP_COLUMNS_NUM_BITS)
370
+ );
371
372
let memory_timestamp_high_from_circuit_idx =
373
Mersenne31Field::from_u64_with_reduction(
0 commit comments