From bea44059a5636760a62f6d2b536bfcf0b9f9be5b Mon Sep 17 00:00:00 2001
From: ambrona <mac.ambrona@gmail.com>
Date: Wed, 24 Apr 2024 11:51:22 +0200
Subject: [PATCH] Remove usable_rows check on fixed columns

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

diff --git a/halo2_frontend/src/plonk/keygen.rs b/halo2_frontend/src/plonk/keygen.rs
index 8e9b829033..3b72f9b590 100644
--- a/halo2_frontend/src/plonk/keygen.rs
+++ b/halo2_frontend/src/plonk/keygen.rs
@@ -86,10 +86,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())
@@ -120,10 +116,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())