1package plonky2_verifier
 2
 3import (
 4	. "gnark-ed25519/field"
 5)
 6
 7func reduceWithPowers(qe *QuadraticExtensionAPI, terms []QuadraticExtension, scalar QuadraticExtension) QuadraticExtension {
 8	sum := qe.ZERO_QE
 9
10	for i := len(terms) - 1; i >= 0; i-- {
11		sum = qe.AddExtension(
12			qe.MulExtension(
13				sum,
14				scalar,
15			),
16			terms[i],
17		)
18	}
19
20	return sum
21}