Skip to content

Commit

Permalink
fix: add binary constraints for accumulators first lines
Browse files Browse the repository at this point in the history
  • Loading branch information
@ivokub
ivokub committed Oct 10, 2024
1 parent e1b956c commit abde94b
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions prover/zkevm/prover/ecpair/ecpair_constraints.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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) {
Expand Down

0 comments on commit abde94b

Please sign in to comment.