m31

Documentation

Index

• Constants
• Variables
• type Field
  • func (engine *Field) Add(a, b constraint.Element) constraint.Element
  • func (engine *Field) Field() *big.Int
  • func (engine *Field) FieldBitLen() int
  • func (engine *Field) FromInterface(i interface{}) constraint.Element
  • func (engine *Field) Inverse(a constraint.Element) (constraint.Element, bool)
  • func (engine *Field) IsOne(a constraint.Element) bool
  • func (engine *Field) Mul(a, b constraint.Element) constraint.Element
  • func (engine *Field) Neg(a constraint.Element) constraint.Element
  • func (engine *Field) One() constraint.Element
  • func (engine *Field) SerializedLen() int
  • func (engine *Field) String(a constraint.Element) string
  • func (engine *Field) Sub(a, b constraint.Element) constraint.Element
  • func (engine *Field) ToBigInt(c constraint.Element) *big.Int
  • func (engine *Field) Uint64(a constraint.Element) (uint64, bool)

Constants

const P = 0x7fffffff

Variables

var Pbig = big.NewInt(P)

var ScalarField = Pbig

Types

type Field

type Field struct{}

func (*Field) Add

func (engine *Field) Add(a, b constraint.Element) constraint.Element

func (*Field) Field

func (engine *Field) Field() *big.Int

func (*Field) FieldBitLen

func (engine *Field) FieldBitLen() int

func (*Field) FromInterface

func (engine *Field) FromInterface(i interface{}) constraint.Element

func (*Field) Inverse

func (engine *Field) Inverse(a constraint.Element) (constraint.Element, bool)

func (*Field) IsOne

func (engine *Field) IsOne(a constraint.Element) bool

func (*Field) Mul

func (engine *Field) Mul(a, b constraint.Element) constraint.Element

func (*Field) Neg

func (engine *Field) Neg(a constraint.Element) constraint.Element

func (*Field) One

func (engine *Field) One() constraint.Element

func (*Field) SerializedLen

func (engine *Field) SerializedLen() int

func (*Field) String

func (engine *Field) String(a constraint.Element) string

func (*Field) Sub

func (engine *Field) Sub(a, b constraint.Element) constraint.Element

func (*Field) ToBigInt

func (engine *Field) ToBigInt(c constraint.Element) *big.Int

func (*Field) Uint64

func (engine *Field) Uint64(a constraint.Element) (uint64, bool)