plonk

Documentation

Index

• type PlonkChip
  • func NewPlonkChip(api frontend.API, commonData types.CommonCircuitData) *PlonkChip
  • func (p *PlonkChip) Verify(proofChallenges variables.ProofChallenges, openings variables.OpeningSet, ...)

Types

type PlonkChip

type PlonkChip struct {

	// These are global constant variables that we use in this Chip that we save here.
	// This avoids having to recreate them every time we use them.
	DEGREE        gl.Variable                   `gnark:"-"`
	DEGREE_BITS_F gl.Variable                   `gnark:"-"`
	DEGREE_QE     gl.QuadraticExtensionVariable `gnark:"-"`
	// contains filtered or unexported fields
}

func NewPlonkChip

func NewPlonkChip(api frontend.API, commonData types.CommonCircuitData) *PlonkChip

func (*PlonkChip) Verify

func (p *PlonkChip) Verify(
	proofChallenges variables.ProofChallenges,
	openings variables.OpeningSet,
	publicInputsHash poseidon.GoldilocksHashOut,
)