Skip to main content

UInt32

o1js / Modules / UInt32

Class: UInt32

A 32 bit unsigned integer with values ranging from 0 to 4,294,967,295.

Hierarchy

Table of contents

Constructors

Properties

Accessors

Methods

Constructors

constructor

new UInt32(x)

Parameters

NameType
xstring | number | bigint | Field | UInt32

Overrides

CircuitValue.constructor

Defined in

lib/int.ts:549

Properties

value

value: Field

Defined in

lib/int.ts:546


NUM_BITS

Static NUM_BITS: number = 32

Defined in

lib/int.ts:547

Accessors

one

Static get one(): UInt32

Static method to create a UInt32 with value 0.

Returns

UInt32

Defined in

lib/int.ts:565


zero

Static get zero(): UInt32

Static method to create a UInt32 with value 0.

Returns

UInt32

Defined in

lib/int.ts:558

Methods

add

add(y): UInt32

Addition with overflow checking.

Parameters

NameType
ynumber | UInt32

Returns

UInt32

Defined in

lib/int.ts:712


addMod32

addMod32(y): UInt32

Addition modulo 2^32. Check addMod32 for a detailed description.

Parameters

NameType
yUInt32

Returns

UInt32

Defined in

lib/int.ts:638


and

and(x): UInt32

Bitwise AND gadget on UInt32 elements. Equivalent to the bitwise AND & operator in JavaScript. The AND gate works by comparing two bits and returning 1 if both bits are 1, and 0 otherwise.

It can be checked by a double generic gate that verifies the following relationship between the values below.

The generic gate verifies:\ a + b = sum and the conjunction equation 2 * and = sum - xor\ Where:\ a + b = sum\ a ^ b = xor\ a & b = and

You can find more details about the implementation in the Mina book

Parameters

NameType
xUInt32

Returns

UInt32

Example

let a = UInt32.from(3);    // ... 000011
let b = UInt32.from(5); // ... 000101

let c = a.and(b, 2); // ... 000001
c.assertEquals(1);

Defined in

lib/int.ts:883


assertEquals

assertEquals(x): void

Parameters

NameType
xUInt32

Returns

void

Inherited from

CircuitValue.assertEquals

Defined in

lib/circuit-value.ts:167


assertGreaterThan

assertGreaterThan(y, message?): void

Asserts that a UInt32 is greater than another one.

Parameters

NameType
yUInt32
message?string

Returns

void

Defined in

lib/int.ts:1009


assertGreaterThanOrEqual

assertGreaterThanOrEqual(y, message?): void

Asserts that a UInt32 is greater than or equal to another one.

Parameters

NameType
yUInt32
message?string

Returns

void

Defined in

lib/int.ts:1042


assertGt

assertGt(y, message?): void

Parameters

NameType
yUInt32
message?string

Returns

void

Deprecated

Use assertGreaterThan instead.

Asserts that a UInt32 is greater than another one.

Defined in

lib/int.ts:1002


assertGte

assertGte(y, message?): void

Parameters

NameType
yUInt32
message?string

Returns

void

Deprecated

Use assertGreaterThanOrEqual instead.

Asserts that a UInt32 is greater than or equal to another one.

Defined in

lib/int.ts:1035


assertLessThan

assertLessThan(y, message?): void

Asserts that a UInt32 is less than another one.

Parameters

NameType
yUInt32
message?string

Returns

void

Defined in

lib/int.ts:977


assertLessThanOrEqual

assertLessThanOrEqual(y, message?): void

Asserts that a UInt32 is less than or equal to another one.

Parameters

NameType
yUInt32
message?string

Returns

void

Defined in

lib/int.ts:935


assertLt

assertLt(y, message?): void

Parameters

NameType
yUInt32
message?string

Returns

void

Deprecated

Use assertLessThan instead.

Asserts that a UInt32 is less than another one.

Defined in

lib/int.ts:970


assertLte

assertLte(y, message?): void

Parameters

NameType
yUInt32
message?string

Returns

void

Deprecated

Use assertLessThanOrEqual instead.

Asserts that a UInt32 is less than or equal to another one.

Defined in

lib/int.ts:928


div

div(y): UInt32

Integer division.

x.div(y) returns the floor of x / y, that is, the greatest z such that x * y <= x.

Parameters

NameType
ynumber | UInt32

Returns

UInt32

Defined in

lib/int.ts:689


divMod

divMod(y): Object

Integer division with remainder.

x.divMod(y) returns the quotient and the remainder.

Parameters

NameType
ystring | number | UInt32

Returns

Object

NameType
quotientUInt32
restUInt32

Defined in

lib/int.ts:647


equals

equals(x): Bool

Parameters

NameType
xUInt32

Returns

Bool

Inherited from

CircuitValue.equals

Defined in

lib/circuit-value.ts:163


greaterThan

greaterThan(y): Bool

Checks if a UInt32 is greater than another one.

Parameters

NameType
yUInt32

Returns

Bool

Defined in

lib/int.ts:993


greaterThanOrEqual

greaterThanOrEqual(y): Bool

Checks if a UInt32 is greater than or equal to another one.

Parameters

NameType
yUInt32

Returns

Bool

Defined in

lib/int.ts:1025


gt

gt(y): Bool

Parameters

NameType
yUInt32

Returns

Bool

Deprecated

Use greaterThan instead.

Checks if a UInt32 is greater than another one.

Defined in

lib/int.ts:986


gte

gte(y): Bool

Parameters

NameType
yUInt32

Returns

Bool

Deprecated

Use greaterThanOrEqual instead.

Checks if a UInt32 is greater than or equal to another one.

Defined in

lib/int.ts:1018


isConstant

isConstant(): boolean

Returns

boolean

Inherited from

CircuitValue.isConstant

Defined in

lib/circuit-value.ts:171


leftShift

leftShift(bits): UInt32

Performs a left shift operation on the provided UInt32 element. This operation is similar to the << shift operation in JavaScript, where bits are shifted to the left, and the overflowing bits are discarded.

It’s important to note that these operations are performed considering the big-endian 32-bit representation of the number, where the most significant (32th) bit is on the left end and the least significant bit is on the right end.

The operation expects the input to be range checked to 32 bit.

Parameters

NameTypeDescription
bitsnumberAmount of bits to shift the UInt32 element to the left. The amount should be between 0 and 32 (or else the shift will fail).

Returns

UInt32

Example

const x = UInt32.from(0b001100); // 12 in binary
const y = x.leftShift(2); // left shift by 2 bits
y.assertEquals(0b110000); // 48 in binary

Defined in

lib/int.ts:831


lessThan

lessThan(y): Bool

Checks if a UInt32 is less than another one.

Parameters

NameType
yUInt32

Returns

Bool

Defined in

lib/int.ts:961


lessThanOrEqual

lessThanOrEqual(y): Bool

Checks if a UInt32 is less than or equal to another one.

Parameters

NameType
yUInt32

Returns

Bool

Defined in

lib/int.ts:909


lt

lt(y): Bool

Parameters

NameType
yUInt32

Returns

Bool

Deprecated

Use lessThan instead.

Checks if a UInt32 is less than another one.

Defined in

lib/int.ts:954


lte

lte(y): Bool

Parameters

NameType
yUInt32

Returns

Bool

Deprecated

Use lessThanOrEqual instead.

Checks if a UInt32 is less than or equal to another one.

Defined in

lib/int.ts:892


mod

mod(y): UInt32

Integer remainder.

x.mod(y) returns the value z such that 0 <= z < y and x - z is divisible by y.

Parameters

NameType
ynumber | UInt32

Returns

UInt32

Defined in

lib/int.ts:698


mul

mul(y): UInt32

Multiplication with overflow checking.

Parameters

NameType
ynumber | UInt32

Returns

UInt32

Defined in

lib/int.ts:704


not

not(): UInt32

Bitwise NOT gate on UInt32 elements. Similar to the [bitwise NOT ~ operator in JavaScript](https://developer.mozilla.org/en-US/docs/ Web/JavaScript/Reference/Operators/Bitwise_NOT).

Note: The NOT gate operates over 32 bit for UInt32 types.

A NOT gate works by returning 1 in each bit position if the corresponding bit of the operand is 0, and returning 0 if the corresponding bit of the operand is 1.

NOT is implemented as a subtraction of the input from the all one bitmask.

You can find more details about the implementation in the Mina book

Returns

UInt32

Example

// NOTing 4 bits with the unchecked version
let a = UInt32.from(0b0101);
let b = a.not();

console.log(b.toBigInt().toString(2));
// 11111111111111111111111111111010

Defined in

lib/int.ts:776


rightShift

rightShift(bits): UInt32

Performs a left right operation on the provided UInt32 element. This operation is similar to the >> shift operation in JavaScript, where bits are shifted to the right, and the overflowing bits are discarded.

It’s important to note that these operations are performed considering the big-endian 32-bit representation of the number, where the most significant (32th) bit is on the left end and the least significant bit is on the right end.

Parameters

NameTypeDescription
bitsnumberAmount of bits to shift the UInt32 element to the right. The amount should be between 0 and 32 (or else the shift will fail). The operation expects the input to be range checked to 32 bit.

Returns

UInt32

Example

const x = UInt32.from(0b001100); // 12 in binary
const y = x.rightShift(2); // left shift by 2 bits
y.assertEquals(0b000011); // 48 in binary

Defined in

lib/int.ts:854


rotate

rotate(bits, direction?): UInt32

A (left and right) rotation operates similarly to the shift operation (<< for left and >> for right) in JavaScript, with the distinction that the bits are circulated to the opposite end of a 64-bit representation rather than being discarded. For a left rotation, this means that bits shifted off the left end reappear at the right end. Conversely, for a right rotation, bits shifted off the right end reappear at the left end.

It’s important to note that these operations are performed considering the big-endian 64-bit representation of the number, where the most significant (64th) bit is on the left end and the least significant bit is on the right end. The direction parameter is a string that accepts either 'left' or 'right', determining the direction of the rotation.

To safely use rotate(), you need to make sure that the value passed in is range-checked to 64 bits; for example, using rangeCheck64.

You can find more details about the implementation in the Mina book

Parameters

NameTypeDefault valueDescription
bitsnumberundefinedamount of bits to rotate this UInt32 element with.
direction"left" | "right"'left'left or right rotation direction.

Returns

UInt32

Example

const x = UInt32.from(0b001100);
const y = x.rotate(2, 'left');
const z = x.rotate(2, 'right'); // right rotation by 2 bits
y.assertEquals(0b110000);
z.assertEquals(0b000011);

Defined in

lib/int.ts:808


sub

sub(y): UInt32

Subtraction with underflow checking.

Parameters

NameType
ynumber | UInt32

Returns

UInt32

Defined in

lib/int.ts:720


toBigint

toBigint(): bigint

Turns the UInt32 into a BigInt.

Returns

bigint

Defined in

lib/int.ts:577


toConstant

toConstant(): UInt32

Returns

UInt32

Inherited from

CircuitValue.toConstant

Defined in

lib/circuit-value.ts:159


toFields

toFields(): Field[]

Returns

Field[]

Inherited from

CircuitValue.toFields

Defined in

lib/circuit-value.ts:151


toJSON

toJSON(): any

Returns

any

Inherited from

CircuitValue.toJSON

Defined in

lib/circuit-value.ts:155


toString

toString(): string

Turns the UInt32 into a string.

Returns

string

Defined in

lib/int.ts:571


toUInt64

toUInt64(): UInt64

Turns the UInt32 into a UInt64.

Returns

UInt64

Defined in

lib/int.ts:583


xor

xor(x): UInt32

Bitwise XOR gadget on UInt32 elements. Equivalent to the bitwise XOR ^ operator in JavaScript. A XOR gate works by comparing two bits and returning 1 if two bits differ, and 0 if two bits are equal.

This gadget builds a chain of XOR gates recursively.

You can find more details about the implementation in the Mina book

Parameters

NameTypeDescription
xUInt32UInt32 element to compare.

Returns

UInt32

Example

let a = UInt32.from(0b0101);
let b = UInt32.from(0b0011);

let c = a.xor(b);
c.assertEquals(0b0110);

Defined in

lib/int.ts:745


MAXINT

Static MAXINT(): UInt32

Creates a UInt32 with a value of 4,294,967,295.

Returns

UInt32

Defined in

lib/int.ts:631


check

Static check(x): void

Parameters

NameType
xUInt32

Returns

void

Overrides

CircuitValue.check

Defined in

lib/int.ts:588


checkConstant

Static Private checkConstant(x): Field

Parameters

NameType
xField

Returns

Field

Defined in

lib/int.ts:608


empty

Static empty\<T>(): InstanceType\<T>

Type parameters

NameType
Textends AnyConstructor

Returns

InstanceType\<T>

Inherited from

CircuitValue.empty

Defined in

lib/circuit-value.ts:255


from

Static from(x): UInt32

Creates a new UInt32.

Parameters

NameType
xstring | number | bigint | Field | UInt32

Returns

UInt32

Defined in

lib/int.ts:623


fromFields

Static fromFields\<T>(this, xs): InstanceType\<T>

Type parameters

NameType
Textends AnyConstructor

Parameters

NameType
thisT
xsField[]

Returns

InstanceType\<T>

Inherited from

CircuitValue.fromFields

Defined in

lib/circuit-value.ts:175


fromJSON

Static fromJSON\<T>(x): InstanceType\<T>

Decodes a JSON-like object into this structure.

Type parameters

NameType
Textends AnyConstructor

Parameters

NameType
xstring

Returns

InstanceType\<T>

Overrides

CircuitValue.fromJSON

Defined in

lib/int.ts:604


fromObject

Static fromObject\<T>(this, value): InstanceType\<T>

Type parameters

NameType
Textends AnyConstructor

Parameters

NameType
thisT
valueNonMethods\<InstanceType\<T>>

Returns

InstanceType\<T>

Inherited from

CircuitValue.fromObject

Defined in

lib/circuit-value.ts:96


sizeInFields

Static sizeInFields(): number

Returns

number

Inherited from

CircuitValue.sizeInFields

Defined in

lib/circuit-value.ts:103


toAuxiliary

Static toAuxiliary(): []

Returns

[]

Inherited from

CircuitValue.toAuxiliary

Defined in

lib/circuit-value.ts:125


toConstant

Static toConstant\<T>(this, t): InstanceType\<T>

Type parameters

NameType
Textends AnyConstructor

Parameters

NameType
thisT
tInstanceType\<T>

Returns

InstanceType\<T>

Inherited from

CircuitValue.toConstant

Defined in

lib/circuit-value.ts:214


toFields

Static toFields\<T>(this, v): Field[]

Type parameters

NameType
Textends AnyConstructor

Parameters

NameType
thisT
vInstanceType\<T>

Returns

Field[]

Inherited from

CircuitValue.toFields

Defined in

lib/circuit-value.ts:108


toInput

Static toInput(x): HashInput

Parameters

NameType
xUInt32

Returns

HashInput

Overrides

CircuitValue.toInput

Defined in

lib/int.ts:591


toJSON

Static toJSON(x): string

Encodes this structure into a JSON-like object.

Parameters

NameType
xUInt32

Returns

string

Overrides

CircuitValue.toJSON

Defined in

lib/int.ts:597