fri

Documentation

Index

• Variables
• type BatchInfo
• type Chip
  • func NewChip(api frontend.API, commonData *types.CommonCircuitData, ...) *Chip
  • func (f *Chip) GetInstance(zeta gl.QuadraticExtensionVariable) InstanceInfo
  • func (f *Chip) ToOpenings(c variables.OpeningSet) Openings
  • func (f *Chip) VerifyFriProof(instance InstanceInfo, openings Openings, ...)
• type InstanceInfo
• type OpeningBatch
• type Openings
• type OracleInfo
• type PlonkOracle
• type PolynomialInfo

Variables

var CONSTANTS_SIGMAS = PlonkOracle{
	// contains filtered or unexported fields
}

var QUOTIENT = PlonkOracle{
	// contains filtered or unexported fields
}

var WIRES = PlonkOracle{
	// contains filtered or unexported fields
}

var ZS_PARTIAL_PRODUCTS = PlonkOracle{
	// contains filtered or unexported fields
}

Types

type BatchInfo

type BatchInfo struct {
	Point       gl.QuadraticExtensionVariable
	Polynomials []PolynomialInfo
}

type Chip

type Chip struct {
	// contains filtered or unexported fields
}

func NewChip

func NewChip(
	api frontend.API,
	commonData *types.CommonCircuitData,
	friParams *types.FriParams,
) *Chip

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 OracleInfo struct {
	NumPolys uint64
	Blinding bool
}

type PlonkOracle

type PlonkOracle struct {
	// contains filtered or unexported fields
}

type PolynomialInfo

type PolynomialInfo struct {
	OracleIndex    uint64
	PolynomialInfo uint64
}