setup

Documentation

Index

• func Setup(t trace.Trace, program board.Program, opts ...Option) (ProvingKey, VerificationKey, error)
• type Config
• type Option
  • func WithHashBackend(backend fri.HashBackend) Option
• type ProvingKey
  • func (pk ProvingKey) VerificationKey() VerificationKey
• type VerificationKey

Functions

func Setup

func Setup(t trace.Trace, program board.Program, opts ...Option) (ProvingKey, VerificationKey, error)

Types

type Config

type Config struct {
	HashBackend fri.HashBackend
}

type Option

type Option func(c *Config) error

func WithHashBackend

func WithHashBackend(backend fri.HashBackend) Option

type ProvingKey

type ProvingKey struct {
	HashBackendID string
	Trace         trace.Trace
	Setup         []fri.Committed
}

ProvingKey is the prover-side setup material. Setup contains the per-size setup commitments (Merkle tree + retained RS-encoded LeafSources) the prover hands to PCS.Open at proof time. Trace contains the fixed columns in Lagrange form so the prover can evaluate setup columns without carrying them in each witness.

func (ProvingKey) VerificationKey

func (pk ProvingKey) VerificationKey() VerificationKey

VerificationKey returns the verifier-side roots corresponding to pk.

type VerificationKey

type VerificationKey struct {
	HashBackendID string
	Roots         []hash.Digest // size of at most 1, since the setup outputs a single tree. Leaving it a [] to identify the zero value of the setup
}

VerificationKey is the verifier-side setup material.