field

README

field

Within gnark's builder, the Rank-1 Constraint System (R1CS) is used, such as in gnark/constraint/bn254. R1CS implements arithmetic over a field.

Since the R1CS implementation is private and there is a need to support other fields, an independent library for field arithmetic was created.

Currently, the supported fields include bn254 and m31, where the modulus for m31 is $2^{31}-1$.

Documentation

Index

• func GetFieldId(f Field) uint64
• type Field
  • func GetFieldById(id uint64) Field
  • func GetFieldFromOrder(x *big.Int) Field

Functions

func GetFieldId

func GetFieldId(f Field) uint64

Types

type Field

type Field interface {
	constraint.Field
	Field() *big.Int
	FieldBitLen() int
	SerializedLen() int
}

func GetFieldById

func GetFieldById(id uint64) Field

func GetFieldFromOrder

func GetFieldFromOrder(x *big.Int) Field