Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
jtguibas committed Jun 3, 2024
1 parent 4af108d commit ddd8be2
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions core/src/stark/chip.rs
Original file line number Diff line number Diff line change
Expand Up @@ -78,9 +78,6 @@ where
air.name(),
nb_byte_sends + nb_byte_receives
);
if nb_byte_sends + nb_byte_receives > 1 << 11 {
panic!("too many byte interactions : {}", air.name());
}

let mut max_constraint_degree =
get_max_constraint_degree(&air, air.preprocessed_width(), PROOF_MAX_NUM_PVS);
Expand Down

0 comments on commit ddd8be2

Please sign in to comment.