cs

Documentation

Index

• func GetHashBuilder(name string) (func() hash.Hash, error)
• func GkrProveHint(hashName string, data *GkrSolvingData) hint.Hint
• func GkrSolveHint(info constraint.GkrInfo, solvingData *GkrSolvingData) hint.Hint
• func RegisterHashBuilder(name string, builder func() hash.Hash)
• 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 ConstPseudoHash
  • func (c ConstPseudoHash) BlockSize() int
  • func (c ConstPseudoHash) Reset()
  • func (c ConstPseudoHash) Size() int
  • func (c ConstPseudoHash) Sum([]byte) []byte
  • func (c ConstPseudoHash) Write(p []byte) (int, error)
• 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

Functions

func GetHashBuilder

func GetHashBuilder(name string) (func() hash.Hash, error)

func GkrProveHint

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

func GkrSolveHint

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

func RegisterHashBuilder

func RegisterHashBuilder(name string, builder func() hash.Hash)

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 ConstPseudoHash

type ConstPseudoHash int

For testing purposes

func (ConstPseudoHash) BlockSize

func (c ConstPseudoHash) BlockSize() int

func (ConstPseudoHash) Reset

func (c ConstPseudoHash) Reset()

func (ConstPseudoHash) Size

func (c ConstPseudoHash) Size() int

func (ConstPseudoHash) Sum

func (c ConstPseudoHash) Sum([]byte) []byte

func (ConstPseudoHash) Write

func (c ConstPseudoHash) Write(p []byte) (int, error)

type GkrSolvingData

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

type R1CS

type R1CS = system

func NewR1CS

func NewR1CS(capacity int) *R1CS

NewR1CS is a constructor for R1CS. It is meant to be use by gnark frontend only, and should not be used by gnark users. See groth16.NewCS(...) instead.

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

NewSparseR1CS is a constructor for SparseR1CS. It is meant to be use by gnark frontend only, and should not be used by gnark users. See plonk.NewCS(...) instead.

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