Remove usable_rows check on fixed columns (#5)

input-output-hk · May 8, 2024 · 7cb140c · 7cb140c
1 parent b4842c3
commit 7cb140c
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/halo2_proofs/src/plonk/keygen.rs b/halo2_proofs/src/plonk/keygen.rs
@@ -127,10 +127,6 @@ impl<F: Field> Assignment<F> for Assembly<F> {
         A: FnOnce() -> AR,
         AR: Into<String>,
     {
-        if !self.usable_rows.contains(&row) {
-            return Err(Error::not_enough_rows_available(self.k));
-        }
-
         *self
             .fixed
             .get_mut(column.index())
@@ -161,10 +157,6 @@ impl<F: Field> Assignment<F> for Assembly<F> {
         from_row: usize,
         to: Value<Assigned<F>>,
     ) -> Result<(), Error> {
-        if !self.usable_rows.contains(&from_row) {
-            return Err(Error::not_enough_rows_available(self.k));
-        }
-
         let col = self
             .fixed
             .get_mut(column.index())