cs

Documentation

Index

• Variables
• func GkrProveHint(hashName string, data *GkrSolvingData) hint.Hint
• func GkrSolveHint(info constraint.GkrInfo, solvingData *GkrSolvingData) hint.Hint
• type CoeffTable
  • func (ct *CoeffTable) AddCoeff(coeff constraint.Element) uint32
  • func (ct *CoeffTable) CoeffToString(cID int) string
  • func (ct *CoeffTable) MakeTerm(coeff constraint.Element, variableID int) constraint.Term
• type GkrSolvingData
• type R1CS
  • func NewR1CS(capacity int) *R1CS
• type R1CSSolution
  • func (t *R1CSSolution) ReadFrom(r io.Reader) (int64, error)
  • func (t *R1CSSolution) WriteTo(w io.Writer) (int64, error)
• type SparseR1CS
  • func NewSparseR1CS(capacity int) *SparseR1CS
• type SparseR1CSSolution
  • func (t *SparseR1CSSolution) ReadFrom(r io.Reader) (int64, error)
  • func (t *SparseR1CSSolution) WriteTo(w io.Writer) (int64, error)
• type UnsatisfiedConstraintError
  • func (r *UnsatisfiedConstraintError) Error() string

Variables

var HashBuilderRegistry = make(map[string]func() hash.Hash)

TODO: Move to gnark-crypto

Functions

func GkrProveHint

func GkrProveHint(hashName string, data *GkrSolvingData) hint.Hint

func GkrSolveHint

func GkrSolveHint(info constraint.GkrInfo, solvingData *GkrSolvingData) hint.Hint

Types

type CoeffTable

type CoeffTable struct {
	Coefficients []fr.Element
	// contains filtered or unexported fields
}

CoeffTable ensure we store unique coefficients in the constraint system

func (*CoeffTable) AddCoeff

func (ct *CoeffTable) AddCoeff(coeff constraint.Element) uint32

func (*CoeffTable) CoeffToString

func (ct *CoeffTable) CoeffToString(cID int) string

CoeffToString implements constraint.Resolver

func (*CoeffTable) MakeTerm

func (ct *CoeffTable) MakeTerm(coeff constraint.Element, variableID int) constraint.Term

type GkrSolvingData

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

type R1CS

type R1CS = system

func NewR1CS

func NewR1CS(capacity int) *R1CS

type R1CSSolution

type R1CSSolution struct {
	W       fr.Vector
	A, B, C fr.Vector
}

R1CSSolution represent a valid assignment to all the variables in the constraint system. The vector W such that Aw o Bw - Cw = 0

func (*R1CSSolution) ReadFrom

func (t *R1CSSolution) ReadFrom(r io.Reader) (int64, error)

func (*R1CSSolution) WriteTo

func (t *R1CSSolution) WriteTo(w io.Writer) (int64, error)

type SparseR1CS

type SparseR1CS = system

func NewSparseR1CS

func NewSparseR1CS(capacity int) *SparseR1CS

type SparseR1CSSolution

type SparseR1CSSolution struct {
	L, R, O fr.Vector
}

SparseR1CSSolution represent a valid assignment to all the variables in the constraint system.

func (*SparseR1CSSolution) ReadFrom

func (t *SparseR1CSSolution) ReadFrom(r io.Reader) (int64, error)

func (*SparseR1CSSolution) WriteTo

func (t *SparseR1CSSolution) WriteTo(w io.Writer) (int64, error)

type UnsatisfiedConstraintError

type UnsatisfiedConstraintError struct {
	Err       error
	CID       int     // constraint ID
	DebugInfo *string // optional debug info
}

UnsatisfiedConstraintError wraps an error with useful metadata on the unsatisfied constraint

func (*UnsatisfiedConstraintError) Error

func (r *UnsatisfiedConstraintError) Error() string