diff --git a/prover/zkevm/prover/ecpair/ecpair_constraints.go b/prover/zkevm/prover/ecpair/ecpair_constraints.go index 40e5c5be4..979f51769 100644 --- a/prover/zkevm/prover/ecpair/ecpair_constraints.go +++ b/prover/zkevm/prover/ecpair/ecpair_constraints.go @@ -29,6 +29,8 @@ func (ec *ECPair) csBinaryConstraints(comp *wizard.CompiledIOP) { common.MustBeBinary(comp, ec.UnalignedG2MembershipData.IsPulling) common.MustBeBinary(comp, ec.UnalignedG2MembershipData.IsComputed) common.MustBeBinary(comp, ec.UnalignedG2MembershipData.ToG2MembershipCircuitMask) + common.MustBeBinary(comp, ec.UnalignedPairingData.IsFirstLineOfPrevAccumulator) + common.MustBeBinary(comp, ec.UnalignedPairingData.IsFirstLineOfCurrAccumulator) } func (ec *ECPair) csFlagConsistency(comp *wizard.CompiledIOP) {