From 3c6219d407165f1db0af4c5d0f6f3ab2c8a9f301 Mon Sep 17 00:00:00 2001 From: Ivo Kubjas Date: Wed, 16 Oct 2024 11:08:38 +0200 Subject: [PATCH] fix: add binary constraints for accumulators first lines (#173) --- prover/zkevm/prover/ecpair/ecpair_constraints.go | 2 ++ 1 file changed, 2 insertions(+) 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) {