cs

package

v0.10.0 Latest Latest Go to latest Published: Apr 22, 2024 License: Apache-2.0 Imports: 28 Imported by: 10

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

Repository

github.com/consensys/gnark

Links

Open Source Insights

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

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

func GetHashBuilder ¶ added in v0.10.0

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

func GkrProveHint ¶ added in v0.9.0

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

func GkrSolveHint ¶ added in v0.9.0

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

func RegisterHashBuilder ¶ added in v0.10.0

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 ¶ added in v0.9.0

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 ¶ added in v0.9.0

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 ¶ added in v0.9.0

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 ¶ added in v0.9.0

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

func (*R1CSSolution) WriteTo ¶ added in v0.9.0

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 ¶ added in v0.9.0

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

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

func (*SparseR1CSSolution) ReadFrom ¶ added in v0.9.0

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

func (*SparseR1CSSolution) WriteTo ¶ added in v0.9.0

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

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL