Documentation
¶
Index ¶
- Variables
- func NumPreprocessedPolys(c *types.CommonCircuitData) uint64
- func NumQuotientPolys(c *types.CommonCircuitData) uint64
- func NumZSPartialProductsPolys(c *types.CommonCircuitData) uint64
- type BatchInfo
- type Chip
- type InstanceInfo
- type OpeningBatch
- type Openings
- type OracleInfo
- type PlonkOracle
- type PolynomialInfo
Constants ¶
This section is empty.
Variables ¶
View Source
var CONSTANTS_SIGMAS = PlonkOracle{ // contains filtered or unexported fields }
View Source
var QUOTIENT = PlonkOracle{ // contains filtered or unexported fields }
View Source
var WIRES = PlonkOracle{ // contains filtered or unexported fields }
View Source
var ZS_PARTIAL_PRODUCTS = PlonkOracle{ // contains filtered or unexported fields }
Functions ¶
func NumPreprocessedPolys ¶ added in v0.0.7
func NumPreprocessedPolys(c *types.CommonCircuitData) uint64
func NumQuotientPolys ¶ added in v0.0.7
func NumQuotientPolys(c *types.CommonCircuitData) uint64
func NumZSPartialProductsPolys ¶ added in v0.0.7
func NumZSPartialProductsPolys(c *types.CommonCircuitData) uint64
Types ¶
type BatchInfo ¶
type BatchInfo struct {
Point gl.QuadraticExtensionVariable
Polynomials []PolynomialInfo
}
type Chip ¶
type Chip struct {
FriParams *types.FriParams `gnark:"-"`
// contains filtered or unexported fields
}
func (*Chip) GetInstance ¶
func (f *Chip) GetInstance(zeta gl.QuadraticExtensionVariable) InstanceInfo
func (*Chip) ToOpenings ¶
func (f *Chip) ToOpenings(c variables.OpeningSet) Openings
func (*Chip) VerifyFriProof ¶
func (f *Chip) VerifyFriProof( instance InstanceInfo, openings Openings, friChallenges *variables.FriChallenges, initialMerkleCaps []variables.FriMerkleCap, friProof *variables.FriProof, )
type InstanceInfo ¶
type InstanceInfo struct {
Oracles []OracleInfo
Batches []BatchInfo
}
type OpeningBatch ¶
type OpeningBatch struct {
Values []gl.QuadraticExtensionVariable
}
type Openings ¶
type Openings struct {
Batches []OpeningBatch
}
type OracleInfo ¶
type PlonkOracle ¶
type PlonkOracle struct {
// contains filtered or unexported fields
}
type PolynomialInfo ¶
Click to show internal directories.
Click to hide internal directories.