From 7cb140c2b4f453bb12fb193bf3c2a9d8d41aa22e Mon Sep 17 00:00:00 2001
From: Miguel Ambrona <mac.ambrona@gmail.com>
Date: Wed, 24 Apr 2024 17:51:57 +0200
Subject: [PATCH] Remove usable_rows check on fixed columns (#5)

---
 halo2_proofs/src/plonk/keygen.rs | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/halo2_proofs/src/plonk/keygen.rs b/halo2_proofs/src/plonk/keygen.rs
index 16ef4c6fda..c8c53aa902 100644
--- 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())