Class Field

An element of a finite field.

Hierarchy

Field

Index

Constructors

constructor

Properties

Constructors

constructor

new Field(x: string | number | boolean | Field): Field

- Defined in snarky.d.ts:37
Coerces anything field-like to a Field.

Parameters
- x: string | number | boolean | Field
Returns Field

Properties

Static one

one: Field

The number 1 as a Field.

Static zero

zero: Field

The number 0 as a Field.

Methods

add

add(y: string | number | boolean | Field): Field

- Defined in snarky.d.ts:65
Adds this Field element to another coercible to a field.

Parameters
- y: string | number | boolean | Field
Returns Field

assertBoolean

assertBoolean(): void

- Defined in snarky.d.ts:220
Assert that this Field is either 0 or 1.
```
Field.zero.assertBoolean();
```
This function can only be called inside a checked computation, like a SmartContract method, and throws an error if the assertion fails.
Returns void

assertEquals

assertEquals(y: string | number | boolean | Field): void

- Defined in snarky.d.ts:209
Assert that this Field equals another Field-like value. Throws an error if the assertion fails.
```
Field.one.assertEquals(1);
```
Parameters
- y: string | number | boolean | Field
Returns void

assertGt

assertGt(y: string | number | boolean | Field): void

- Defined in snarky.d.ts:188
Assert that this Field is greater than another Field-like value.
```
Field.one.assertGt(0);
```
This function can only be called inside a checked computation, like a SmartContract method, and causes it to fail if the assertion fails.
Parameters
- y: string | number | boolean | Field
Returns void

assertGte

assertGte(y: string | number | boolean | Field): void

- Defined in snarky.d.ts:199
Assert that this Field is greater than or equal to another Field-like value.
```
Field.one.assertGte(0);
```
This function can only be called inside a checked computation, like a SmartContract method, and causes it to fail if the assertion fails.
Parameters
- y: string | number | boolean | Field
Returns void

assertLt

assertLt(y: string | number | boolean | Field): void

- Defined in snarky.d.ts:166
Assert that this Field is lower than another Field-like value.
```
Field.one.assertLt(2);
```
This function can only be called inside a checked computation, like a SmartContract method, and causes it to fail if the assertion fails.
Parameters
- y: string | number | boolean | Field
Returns void

assertLte

assertLte(y: string | number | boolean | Field): void

- Defined in snarky.d.ts:177
Assert that this Field is lower than or equal to another Field-like value.
```
Field.one.assertLte(2);
```
This function can only be called inside a checked computation, like a SmartContract method, and causes it to fail if the assertion fails.
Parameters
- y: string | number | boolean | Field
Returns void

div

div(y: string | number | boolean | Field): Field

- Defined in snarky.d.ts:80
Divides this Field element through another coercible to a field.

Parameters
- y: string | number | boolean | Field
Returns Field

equals

equals(y: string | number | boolean | Field): Bool

- Defined in snarky.d.ts:242
Check if this Field equals another Field-like value. Returns a Bool.
```
Field(2).equals(2); // Bool(true)
```
Parameters
- y: string | number | boolean | Field
Returns Bool

gt

gt(y: string | number | boolean | Field): Bool

- Defined in snarky.d.ts:144
Check if this Field is greater than another Field-like value. Returns a Bool.
```
Field(2).gt(1); // Bool(true)
```
Parameters
- y: string | number | boolean | Field
Returns Bool

gte

gte(y: string | number | boolean | Field): Bool

- Defined in snarky.d.ts:153
Check if this Field is greater than or equal to another Field-like value. Returns a Bool.
```
Field(2).gte(1); // Bool(true)
```
Parameters
- y: string | number | boolean | Field
Returns Bool

inv

inv(): Field

- Defined in snarky.d.ts:60
Inverts this Field element.
```
const invX = x.inv();
invX.assertEquals(Field.one.div(x));
```
Returns Field
A field element that is equivalent to one divided by this element.

isConstant

isConstant(): boolean

- Defined in snarky.d.ts:249
Returns boolean

isZero

isZero(): Bool

- Defined in snarky.d.ts:221
Returns Bool

lt

lt(y: string | number | boolean | Field): Bool

- Defined in snarky.d.ts:126
Check if this Field is lower than another Field-like value. Returns a Bool.
```
Field(2).lt(3); // Bool(true)
```
Parameters
- y: string | number | boolean | Field
Returns Bool

lte

lte(y: string | number | boolean | Field): Bool

- Defined in snarky.d.ts:135
Check if this Field is lower than or equal to another Field-like value. Returns a Bool.
```
Field(2).lte(3); // Bool(true)
```
Parameters
- y: string | number | boolean | Field
Returns Bool

mul

mul(y: string | number | boolean | Field): Field

- Defined in snarky.d.ts:75
Multiplies this Field element with another coercible to a field.

Parameters
- y: string | number | boolean | Field
Returns Field

neg

neg(): Field

- Defined in snarky.d.ts:48
Negates this Field. This is equivalent to multiplying the Field by -1.
```
const negOne = Field.one.neg();
negOne.assertEquals(-1);
```
Returns Field

ofFields

ofFields(fields: Field[]): Field

- Defined in snarky.d.ts:296
Parameters
- fields: Field[]
Returns Field

rangeCheckHelper

rangeCheckHelper(numBits: number): Field

- Defined in snarky.d.ts:247
Parameters
- numBits: number
Returns Field

seal

seal(): Field

- Defined in snarky.d.ts:245
Returns Field

sizeInFields

sizeInFields(): number

- Defined in snarky.d.ts:113
Returns number

sqrt

sqrt(): Field

- Defined in snarky.d.ts:99
Square roots this Field element.
```
x.square().sqrt().assertEquals(x);
```
Returns Field

square

square(): Field

- Defined in snarky.d.ts:90
Squares this Field element.
```
const x2 = x.square();
x2.assertEquals(x.mul(x));
```
Returns Field

sub

sub(y: string | number | boolean | Field): Field

- Defined in snarky.d.ts:70
Subtracts another Field-like element from this one.

Parameters
- y: string | number | boolean | Field
Returns Field

toBits

toBits(): Bool[]
toBits(length: number): Bool[]

- Defined in snarky.d.ts:226
Little endian binary representation of the field element.

Returns Bool[]
- Defined in snarky.d.ts:232
Little endian binary representation of the field element. Fails if the field element cannot fit in length bits.

Parameters
- length: number
Returns Bool[]

toConstant

toConstant(): Field

- Defined in snarky.d.ts:250
Returns Field

toFields

toFields(): Field[]

- Defined in snarky.d.ts:115
Returns Field[]

toJSON

toJSON(): JSONValue

- Defined in snarky.d.ts:110
Serialize the Field to a JSON string. This operation does NOT affect the circuit and can't be used to prove anything about the string representation of the Field.

Returns JSONValue

toString

toString(): string

- Defined in snarky.d.ts:105
Serialize the Field to a string, e.g. for printing. This operation does NOT affect the circuit and can't be used to prove anything about the string representation of the Field.

Returns string

Static fromJSON

fromJSON(x: JSONValue): null | Field

- Defined in snarky.d.ts:334
Parameters
- x: JSONValue
Returns null | Field

Static ofBits

ofBits(x: (boolean | Bool)[]): Field

- Defined in snarky.d.ts:320
Converts a bit array into a field element (little endian) Fails if the field element cannot fit given too many bits.

TODO: Rename to fromBits

Parameters
- x: (boolean | Bool)[]
Returns Field

Static ofFields

ofFields(fields: Field[]): Field

- Defined in snarky.d.ts:299
Parameters
- fields: Field[]
Returns Field

Static random

random(): Field

- Defined in snarky.d.ts:266
A random field element.

Returns Field

Static sizeInFields

sizeInFields(): number

- Defined in snarky.d.ts:301
Returns number

Static toFields

toFields(x: Field): Field[]

- Defined in snarky.d.ts:303
Parameters
- x: Field
Returns Field[]

Generated using TypeDoc