verifier

Documentation

Index

• type ExampleVerifierCircuit
  • func (c *ExampleVerifierCircuit) Define(api frontend.API) error
• type VerifierChip
  • func NewVerifierChip(api frontend.API, commonCircuitData types.CommonCircuitData) *VerifierChip
  • func (c *VerifierChip) GetChallenges(proof variables.Proof, publicInputsHash poseidon.GoldilocksHashOut, ...) variables.ProofChallenges
  • func (c *VerifierChip) GetPublicInputsHash(publicInputs []gl.Variable) poseidon.GoldilocksHashOut
  • func (c *VerifierChip) Verify(proof variables.Proof, publicInputs []gl.Variable, ...)

Types

type ExampleVerifierCircuit

type ExampleVerifierCircuit struct {
	PublicInputs            []gl.Variable                     `gnark:",public"`
	Proof                   variables.Proof                   `gnark:"-"`
	VerifierOnlyCircuitData variables.VerifierOnlyCircuitData `gnark:"-"`

	// This is configuration for the circuit, it is a constant not a variable
	CommonCircuitData types.CommonCircuitData
}

func (*ExampleVerifierCircuit) Define

func (c *ExampleVerifierCircuit) Define(api frontend.API) error

type VerifierChip

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

func NewVerifierChip

func NewVerifierChip(api frontend.API, commonCircuitData types.CommonCircuitData) *VerifierChip

func (*VerifierChip) GetChallenges

func (c *VerifierChip) GetChallenges(
	proof variables.Proof,
	publicInputsHash poseidon.GoldilocksHashOut,
	verifierData variables.VerifierOnlyCircuitData,
) variables.ProofChallenges

func (*VerifierChip) GetPublicInputsHash

func (c *VerifierChip) GetPublicInputsHash(publicInputs []gl.Variable) poseidon.GoldilocksHashOut

func (*VerifierChip) Verify

func (c *VerifierChip) Verify(
	proof variables.Proof,
	publicInputs []gl.Variable,
	verifierData variables.VerifierOnlyCircuitData,
)