cs

package

v1.0.1 Latest Latest Go to latest Published: Dec 19, 2023 License: Apache-2.0 Imports: 29 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

This section is empty.

This section is empty.

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

CoeffToString implements constraint.Resolver

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

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

type R1CS = system

func NewR1CS(capacity int) *R1CS

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

func NewSparseR1CS(capacity int) *SparseR1CS

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