diff --git a/prover/zkevm/prover/statemanager/mimccodehash/assign.go b/prover/zkevm/prover/statemanager/mimccodehash/assign.go index e39b857c5a..e111fcc5fa 100644 --- a/prover/zkevm/prover/statemanager/mimccodehash/assign.go +++ b/prover/zkevm/prover/statemanager/mimccodehash/assign.go @@ -4,6 +4,7 @@ import ( "github.com/consensys/linea-monorepo/prover/crypto/mimc" "github.com/consensys/linea-monorepo/prover/maths/common/smartvectors" "github.com/consensys/linea-monorepo/prover/maths/field" + "github.com/consensys/linea-monorepo/prover/protocol/distributed/pragmas" "github.com/consensys/linea-monorepo/prover/protocol/wizard" "github.com/consensys/linea-monorepo/prover/utils" ) @@ -218,6 +219,7 @@ func (mh *Module) Assign(run *wizard.ProverRuntime) { } // Assign the columns of the mimc code hash module + pragmas.MarkRightPadded(mh.IsActive) run.AssignColumn(mh.IsActive.GetColID(), smartvectors.RightZeroPadded(builder.isActive, mh.Inputs.Size)) run.AssignColumn(mh.CFI.GetColID(), smartvectors.RightZeroPadded(builder.cfi, mh.Inputs.Size)) run.AssignColumn(mh.Limb.GetColID(), smartvectors.RightZeroPadded(builder.limb, mh.Inputs.Size))