gkr

Documentation

Index

• func ChallengeNames(sorted []*Wire, logNbInstances int, prefix string) []string
• func ProofSize(c Circuit, logNbInstances int) int
• func Verify(c Circuit, assignment WireAssignment, proof Proof, ...) error
• type Circuit
• type Gate
• type IdentityGate
  • func (IdentityGate) Degree() int
  • func (IdentityGate) Evaluate(input ...fr.Element) fr.Element
• type Option
  • func WithPool(pool *polynomial.Pool) Option
  • func WithSortedCircuit(sorted []*Wire) Option
• type Proof
  • func Prove(c Circuit, assignment WireAssignment, transcriptSettings fiatshamir.Settings, ...) (Proof, error)
• type Wire
  • func (w Wire) IsInput() bool
  • func (w Wire) IsOutput() bool
  • func (w Wire) NbClaims() int
• type WireAssignment
  • func (a WireAssignment) Complete(c Circuit) WireAssignment
  • func (a WireAssignment) NumInstances() int
  • func (a WireAssignment) NumVars() int

Functions

func ChallengeNames

func ChallengeNames(sorted []*Wire, logNbInstances int, prefix string) []string

func ProofSize

func ProofSize(c Circuit, logNbInstances int) int

ProofSize computes how large the proof for a circuit would be. It needs nbUniqueOutputs to be set

func Verify

func Verify(c Circuit, assignment WireAssignment, proof Proof, transcriptSettings fiatshamir.Settings, options ...Option) error

Verify the consistency of the claimed output with the claimed input Unlike in Prove, the assignment argument need not be complete

Types

type Circuit

type Circuit []Wire

type Gate

type Gate interface {
	Evaluate(...fr.Element) fr.Element
	Degree() int
}

Gate must be a low-degree polynomial

type IdentityGate

type IdentityGate struct{}

func (IdentityGate) Degree

func (IdentityGate) Degree() int

func (IdentityGate) Evaluate

func (IdentityGate) Evaluate(input ...fr.Element) fr.Element

type Option

type Option func(*settings)

func WithPool

func WithPool(pool *polynomial.Pool) Option

func WithSortedCircuit

func WithSortedCircuit(sorted []*Wire) Option

type Proof

type Proof []sumcheck.Proof // for each layer, for each wire, a sumcheck (for each variable, a polynomial)

func Prove

func Prove(c Circuit, assignment WireAssignment, transcriptSettings fiatshamir.Settings, options ...Option) (Proof, error)

Prove consistency of the claimed assignment

type Wire

type Wire struct {
	Gate   Gate
	Inputs []*Wire // if there are no Inputs, the wire is assumed an input wire
	// contains filtered or unexported fields
}

func (Wire) IsInput

func (w Wire) IsInput() bool

func (Wire) IsOutput

func (w Wire) IsOutput() bool

func (Wire) NbClaims

func (w Wire) NbClaims() int

type WireAssignment

type WireAssignment map[*Wire]polynomial.MultiLin

WireAssignment is assignment of values to the same wire across many instances of the circuit

func (WireAssignment) Complete

func (a WireAssignment) Complete(c Circuit) WireAssignment

Complete the circuit evaluation from input values

func (WireAssignment) NumInstances

func (a WireAssignment) NumInstances() int

func (WireAssignment) NumVars

func (a WireAssignment) NumVars() int