verifier

Documentation

Index

• func Verify(publicInputs public.Inputs, verificationKey setup.VerificationKey, ...) error
• type Config
• type Option
  • func SkipFRI() Option
  • func WithFriOption(opt fri.Option) Option
  • func WithHashBackend(backend fri.HashBackend) Option
  • func WithNewTranscriptHasher(h fiatshamir.NewTranscriptHasher) Option
  • func WithNumFriQueries(numQueries int) Option
  • func WithTranscript(fs *fiatshamir.Transcript) Option

Functions

func Verify

func Verify(publicInputs public.Inputs, verificationKey setup.VerificationKey, program board.Program, proof proof.Proof, opts ...Option) error

Types

type Config

type Config struct {
	SkipFRI             bool
	HashBackend         fri.HashBackend
	NewTranscriptHasher fiatshamir.NewTranscriptHasher
	NumFriQueries       int
	FriOptions          []fri.Option
	Fs                  *fiatshamir.Transcript
}

type Option

type Option func(c *Config) error

func SkipFRI

func SkipFRI() Option

func WithFriOption

func WithFriOption(opt fri.Option) Option

WithFriOption adds options for FRI

func WithHashBackend

func WithHashBackend(backend fri.HashBackend) Option

func WithNewTranscriptHasher

func WithNewTranscriptHasher(h fiatshamir.NewTranscriptHasher) Option

func WithNumFriQueries

func WithNumFriQueries(numQueries int) Option

WithNumFriQueries sets FRI NumQueries to numQueries

func WithTranscript

func WithTranscript(fs *fiatshamir.Transcript) Option

WithTranscript provides a running transcript to the verifier.