cs

Documentation

Index

• func Bsb22CommitmentComputePlaceholder(mod *big.Int, _ []*big.Int, output []*big.Int) (err error)
• func RegisterBsb22CommitmentComputePlaceholder(index int) (hintId solver.HintID, err error)
• type CoeffTable
  • func NewCoeffTable() CoeffTable
  • func (t *CoeffTable) CoeffID(v *big.Int) int

Functions

func Bsb22CommitmentComputePlaceholder

func Bsb22CommitmentComputePlaceholder(mod *big.Int, _ []*big.Int, output []*big.Int) (err error)

func RegisterBsb22CommitmentComputePlaceholder

func RegisterBsb22CommitmentComputePlaceholder(index int) (hintId solver.HintID, err error)

Types

type CoeffTable

type CoeffTable struct {
	// Coefficients in the constraints
	Coeffs         []big.Int      // list of unique coefficients.
	CoeffsIDsLarge map[string]int // map to check existence of a coefficient (key = coeff.Bytes())
	CoeffsIDsInt64 map[int64]int  // map to check existence of a coefficient (key = int64 value)
}

CoeffTable helps build a constraint system but need not be serialized after compilation

func NewCoeffTable

func NewCoeffTable() CoeffTable

func (*CoeffTable) CoeffID

func (t *CoeffTable) CoeffID(v *big.Int) int

CoeffID tries to fetch the entry where b is if it exits, otherwise appends b to the list of Coeffs and returns the corresponding entry