This commit is contained in:
Nicholas Ward 2023-04-12 09:50:03 -07:00
parent 905c5eb5a0
commit 45c0d894d1
2 changed files with 1 additions and 1 deletions

View File

@ -33,7 +33,6 @@ rand_chacha = "0.3.1"
rlp = "0.5.1"
rlp-derive = "0.1.0"
serde = { version = "1.0.144", features = ["derive"] }
static_assertions = "1.1.0"
hashbrown = { version = "0.12.3" }
tiny-keccak = "2.0.2"

View File

@ -270,6 +270,7 @@ pub struct PrefixedGate<F: RichField + Extendable<D>, const D: usize> {
/// A gate's filter designed so that it is non-zero if `s = row`.
fn compute_filter<K: Field>(row: usize, group_range: Range<usize>, s: K, many_selector: bool) -> K {
debug_assert!(group_range.contains(&row));
group_range
.filter(|&i| i != row)
.chain(many_selector.then_some(UNUSED_SELECTOR))