cs

Documentation

Index

• 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 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

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 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