You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
1.0 KiB
21 lines
1.0 KiB
package variables
|
|
|
|
import gl "github.com/succinctlabs/gnark-plonky2-verifier/goldilocks"
|
|
|
|
type OpeningSet struct {
|
|
Constants []gl.QuadraticExtensionVariable // Length = CommonCircuitData.Constants
|
|
PlonkSigmas []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumRoutedWires
|
|
Wires []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumWires
|
|
PlonkZs []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumChallenges
|
|
PlonkZsNext []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumChallenges
|
|
PartialProducts []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumChallenges * CommonCircuitData.NumPartialProducts
|
|
QuotientPolys []gl.QuadraticExtensionVariable // Length = CommonCircuitData.NumChallenges * CommonCircuitData.QuotientDegreeFactor
|
|
}
|
|
|
|
type ProofChallenges struct {
|
|
PlonkBetas []gl.Variable
|
|
PlonkGammas []gl.Variable
|
|
PlonkAlphas []gl.Variable
|
|
PlonkZeta gl.QuadraticExtensionVariable
|
|
FriChallenges FriChallenges
|
|
}
|