cs

type CoeffTable ¶

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

CoeffTable ensure we store unique coefficients in the constraint system

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 GkrSolvingData struct {
	// contains filtered or unexported fields
}

type R1CS ¶

type R1CS = system

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 (t *R1CSSolution) ReadFrom(r io.Reader) (int64, error)

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

type SparseR1CS ¶

type SparseR1CS = system

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 (t *SparseR1CSSolution) ReadFrom(r io.Reader) (int64, error)

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 (r *UnsatisfiedConstraintError) Error() string