challenger

Documentation

Index

• type Chip
  • func NewChip(api frontend.API) *Chip
  • func (c *Chip) GetChallenge() gl.Variable
  • func (c *Chip) GetExtensionChallenge() gl.QuadraticExtensionVariable
  • func (c *Chip) GetFriChallenges(commitPhaseMerkleCaps []variables.FriMerkleCap, ...) variables.FriChallenges
  • func (c *Chip) GetHash() poseidon.GoldilocksHashOut
  • func (c *Chip) GetNChallenges(n uint64) []gl.Variable
  • func (c *Chip) ObserveBN254Hash(hash poseidon.BN254HashOut)
  • func (c *Chip) ObserveCap(cap []poseidon.BN254HashOut)
  • func (c *Chip) ObserveElement(element gl.Variable)
  • func (c *Chip) ObserveElements(elements []gl.Variable)
  • func (c *Chip) ObserveExtensionElement(element gl.QuadraticExtensionVariable)
  • func (c *Chip) ObserveExtensionElements(elements []gl.QuadraticExtensionVariable)
  • func (c *Chip) ObserveHash(hash poseidon.GoldilocksHashOut)
  • func (c *Chip) ObserveOpenings(openings fri.Openings)

Types

type Chip

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

func NewChip

func NewChip(api frontend.API) *Chip

func (*Chip) GetChallenge

func (c *Chip) GetChallenge() gl.Variable

func (*Chip) GetExtensionChallenge

func (c *Chip) GetExtensionChallenge() gl.QuadraticExtensionVariable

func (*Chip) GetFriChallenges

func (c *Chip) GetFriChallenges(
	commitPhaseMerkleCaps []variables.FriMerkleCap,
	finalPoly variables.PolynomialCoeffs,
	powWitness gl.Variable,
	config types.FriConfig,
) variables.FriChallenges

func (*Chip) GetHash

func (c *Chip) GetHash() poseidon.GoldilocksHashOut

func (*Chip) GetNChallenges

func (c *Chip) GetNChallenges(n uint64) []gl.Variable

func (*Chip) ObserveBN254Hash

func (c *Chip) ObserveBN254Hash(hash poseidon.BN254HashOut)

func (*Chip) ObserveCap

func (c *Chip) ObserveCap(cap []poseidon.BN254HashOut)

func (*Chip) ObserveElement

func (c *Chip) ObserveElement(element gl.Variable)

func (*Chip) ObserveElements

func (c *Chip) ObserveElements(elements []gl.Variable)

func (*Chip) ObserveExtensionElement

func (c *Chip) ObserveExtensionElement(element gl.QuadraticExtensionVariable)

func (*Chip) ObserveExtensionElements

func (c *Chip) ObserveExtensionElements(elements []gl.QuadraticExtensionVariable)

func (*Chip) ObserveHash

func (c *Chip) ObserveHash(hash poseidon.GoldilocksHashOut)

func (*Chip) ObserveOpenings

func (c *Chip) ObserveOpenings(openings fri.Openings)