1package plonky2_verifier
 2
 3import (
 4	"fmt"
 5	. "gnark-plonky2-verifier/field"
 6)
 7
 8type MultiplicationExtensionGate struct {
 9	numOps uint64
10}
11
12func NewMultiplicationExtensionGate(numOps uint64) *MultiplicationExtensionGate {
13	return &MultiplicationExtensionGate{
14		numOps: numOps,
15	}
16}
17
18func (g *MultiplicationExtensionGate) Id() string {
19	return fmt.Sprintf("ArithmeticExtensionGate { num_ops: %d }", g.numOps)
20}
21
22func (g *MultiplicationExtensionGate) wiresIthMultiplicand0(i uint64) Range {
23	return Range{3 * D * i, 3*D*i + D}
24}
25
26func (g *MultiplicationExtensionGate) wiresIthMultiplicand1(i uint64) Range {
27	return Range{3*D*i + D, 3*D*i + 2*D}
28}
29
30func (g *MultiplicationExtensionGate) wiresIthOutput(i uint64) Range {
31	return Range{3*D*i + 2*D, 3*D*i + 3*D}
32}
33
34func (g *MultiplicationExtensionGate) EvalUnfiltered(p *PlonkChip, vars EvaluationVars) []QuadraticExtension {
35	const0 := vars.localConstants[0]
36
37	constraints := []QuadraticExtension{}
38	for i := uint64(0); i < g.numOps; i++ {
39		multiplicand0 := vars.GetLocalExtAlgebra(g.wiresIthMultiplicand0(i))
40		multiplicand1 := vars.GetLocalExtAlgebra(g.wiresIthMultiplicand1(i))
41		output := vars.GetLocalExtAlgebra(g.wiresIthOutput(i))
42
43		mul := p.qeAPI.MulExtensionAlgebra(multiplicand0, multiplicand1)
44		computed_output := p.qeAPI.ScalarMulExtensionAlgebra(const0, mul)
45
46		diff := p.qeAPI.SubExtensionAlgebra(output, computed_output)
47		for j := 0; j < D; j++ {
48			constraints = append(constraints, diff[j])
49		}
50	}
51
52	return constraints
53}