pad proof with first proof

Author: altergui

circuits/aggregator/inputs.go

@@ -53,6 +53,11 @@ func (ai *AggregatorInputs) GenerateAssignment(innerCCS constraint.ConstraintSys
 		assignment.BallotHashes[i] = ai.ProofsInputHash[i]
 		assignment.Proofs[i] = ai.Proofs[i]
 	}
+	if len(ai.AggBallots) > 0 {
+		for i := len(ai.AggBallots); i < params.VotesPerBatch; i++ {
+			assignment.Proofs[i] = ai.Proofs[0]
+		}
+	}
 	return assignment, nil
 }