Versions in this module Expand all Collapse all v2 v2.0.0 Jul 18, 2024 Changes in this version + func DivHint(mod *big.Int, inputs []*big.Int, outputs []*big.Int) error + func GetHints() []solver.Hint + func InverseHint(mod *big.Int, inputs []*big.Int, outputs []*big.Int) error + func SqrtHint(mod *big.Int, inputs []*big.Int, outputs []*big.Int) error + func UnwrapHint(nativeInputs, nativeOutputs []*big.Int, nonnativeHint solver.Hint) error + func UnwrapHintWithNativeInput(nativeInputs, nativeOutputs []*big.Int, nonnativeHint solver.Hint) error + func UnwrapHintWithNativeOutput(nativeInputs, nativeOutputs []*big.Int, nonnativeHint solver.Hint) error + type BLS12377Fp = emparams.BLS12377Fp + type BLS12381Fp = emparams.BLS12381Fp + type BLS12381Fr = emparams.BLS12381Fr + type BN254Fp = emparams.BN254Fp + type BN254Fr = emparams.BN254Fr + type BW6761Fp = emparams.BW6761Fp + type BW6761Fr = emparams.BW6761Fr + type Element struct + Limbs []frontend.Variable + func ValueOf[T FieldParams](constant interface{}) Element[T] + func (e *Element[T]) GnarkInitHook() + type Field struct + func NewField[T FieldParams](native frontend.API) (*Field[T], error) + func (f *Field[T]) Add(a, b *Element[T]) *Element[T] + func (f *Field[T]) AssertIsEqual(a, b *Element[T]) + func (f *Field[T]) AssertIsInRange(a *Element[T]) + func (f *Field[T]) AssertIsLessOrEqual(e, a *Element[T]) + func (f *Field[T]) Div(a, b *Element[T]) *Element[T] + func (f *Field[T]) Exp(base, exp *Element[T]) *Element[T] + func (f *Field[T]) FromBits(bs ...frontend.Variable) *Element[T] + func (f *Field[T]) Inverse(a *Element[T]) *Element[T] + func (f *Field[T]) IsZero(a *Element[T]) frontend.Variable + func (f *Field[T]) Lookup2(b0, b1 frontend.Variable, a, b, c, d *Element[T]) *Element[T] + func (f *Field[T]) ModAdd(a, b *Element[T], modulus *Element[T]) *Element[T] + func (f *Field[T]) ModAssertIsEqual(a, b *Element[T], modulus *Element[T]) + func (f *Field[T]) ModExp(base, exp, modulus *Element[T]) *Element[T] + func (f *Field[T]) ModMul(a, b *Element[T], modulus *Element[T]) *Element[T] + func (f *Field[T]) Modulus() *Element[T] + func (f *Field[T]) Mul(a, b *Element[T]) *Element[T] + func (f *Field[T]) MulConst(a *Element[T], c *big.Int) *Element[T] + func (f *Field[T]) MulMod(a, b *Element[T]) *Element[T] + func (f *Field[T]) MulNoReduce(a, b *Element[T]) *Element[T] + func (f *Field[T]) Mux(sel frontend.Variable, inputs ...*Element[T]) *Element[T] + func (f *Field[T]) Neg(a *Element[T]) *Element[T] + func (f *Field[T]) NewElement(v interface{}) *Element[T] + func (f *Field[T]) NewHint(hf solver.Hint, nbOutputs int, inputs ...*Element[T]) ([]*Element[T], error) + func (f *Field[T]) NewHintWithNativeInput(hf solver.Hint, nbOutputs int, inputs ...frontend.Variable) ([]*Element[T], error) + func (f *Field[T]) NewHintWithNativeOutput(hf solver.Hint, nbOutputs int, inputs ...*Element[T]) ([]frontend.Variable, error) + func (f *Field[T]) One() *Element[T] + func (f *Field[T]) Reduce(a *Element[T]) *Element[T] + func (f *Field[T]) Select(selector frontend.Variable, a, b *Element[T]) *Element[T] + func (f *Field[T]) Sqrt(a *Element[T]) *Element[T] + func (f *Field[T]) Sub(a, b *Element[T]) *Element[T] + func (f *Field[T]) Sum(inputs ...*Element[T]) *Element[T] + func (f *Field[T]) ToBits(a *Element[T]) []frontend.Variable + func (f *Field[T]) Zero() *Element[T] + type FieldParams interface + BitsPerLimb func() uint + IsPrime func() bool + Modulus func() *big.Int + NbLimbs func() uint + type Goldilocks = emparams.Goldilocks + type P256Fp = emparams.P256Fp + type P256Fr = emparams.P256Fr + type P384Fp = emparams.P384Fp + type P384Fr = emparams.P384Fr + type Secp256k1Fp = emparams.Secp256k1Fp + type Secp256k1Fr = emparams.Secp256k1Fr Other modules containing this package github.com/danivilardell/gnark
Go to main page