diff --git a/plonky2_verifier/plonk.go b/plonky2_verifier/plonk.go index f749201..1f7c501 100644 --- a/plonky2_verifier/plonk.go +++ b/plonky2_verifier/plonk.go @@ -118,6 +118,9 @@ func (p *PlonkChip) checkPartialProducts( func (p *PlonkChip) evaluateGateConstraints(vars EvaluationVars) []QuadraticExtension { constraints := make([]QuadraticExtension, p.commonData.NumGateConstraints) + for i, _ := range constraints { + constraints[i] = p.qeAPI.ZERO_QE + } for i, gate := range p.commonData.Gates { selectorIndex := p.commonData.SelectorsInfo.selectorIndices[i]