cs

Documentation

Index

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

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