1package variables
 2
 3import gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks"
 4
 5type OpeningSet struct {
 6	Constants       []gl.QuadraticExtensionVariable // Length = CommonCircuitData.Constants
 7	PlonkSigmas     []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumRoutedWires
 8	Wires           []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumWires
 9	PlonkZs         []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumChallenges
10	PlonkZsNext     []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumChallenges
11	PartialProducts []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumChallenges * CommonCircuitData.NumPartialProducts
12	QuotientPolys   []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumChallenges * CommonCircuitData.QuotientDegreeFactor
13}
14
15type ProofChallenges struct {
16	PlonkBetas    []gl.Variable
17	PlonkGammas   []gl.Variable
18	PlonkAlphas   []gl.Variable
19	PlonkZeta     gl.QuadraticExtensionVariable
20	FriChallenges FriChallenges
21}