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

---
 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 984eecb9e8..d33a9325b9 100644
--- a/halo2_proofs/src/plonk/keygen.rs
+++ b/halo2_proofs/src/plonk/keygen.rs
@@ -126,10 +126,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())
@@ -160,10 +156,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())