Versions in this module Expand all Collapse all v0 v0.8.2 Feb 4, 2023 v0.7.2 Feb 4, 2023 Changes in this version + type R1CS struct + Coefficients []fr.Element + func NewR1CS(cs compiled.R1CS, coefficients []big.Int) *R1CS + func (cs *R1CS) CurveID() ecc.ID + func (cs *R1CS) FrSize() int + func (cs *R1CS) GetConstraints() [][]string + func (cs *R1CS) GetNbCoefficients() int + func (cs *R1CS) IsSolved(witness *witness.Witness, opts ...backend.ProverOption) error + func (cs *R1CS) ReadFrom(r io.Reader) (int64, error) + func (cs *R1CS) Solve(witness, a, b, c []fr.Element, opt backend.ProverConfig) ([]fr.Element, error) + func (cs *R1CS) WriteTo(w io.Writer) (int64, error) + type SparseR1CS struct + Coefficients []fr.Element + func NewSparseR1CS(ccs compiled.SparseR1CS, coefficients []big.Int) *SparseR1CS + func (cs *SparseR1CS) CurveID() ecc.ID + func (cs *SparseR1CS) FrSize() int + func (cs *SparseR1CS) GetConstraints() [][]string + func (cs *SparseR1CS) GetNbCoefficients() int + func (cs *SparseR1CS) IsSolved(witness *witness.Witness, opts ...backend.ProverOption) error + func (cs *SparseR1CS) ReadFrom(r io.Reader) (int64, error) + func (cs *SparseR1CS) Solve(witness []fr.Element, opt backend.ProverConfig) ([]fr.Element, error) + func (cs *SparseR1CS) WriteTo(w io.Writer) (int64, error) + type UnsatisfiedConstraintError struct + CID int + DebugInfo *string + Err error + func (r *UnsatisfiedConstraintError) Error() string
Go to main page