Sign

Defined in: lib/provable/int.ts:1115

Extends

• CircuitValue

Constructors

new Sign()

new Sign(...props: any[]): Sign

Defined in: lib/provable/types/circuit-value.ts:13

Parameters

props

...any[]

Returns

Sign

Inherited from

CircuitValue.constructor

Properties

value

value: Field;

Defined in: lib/provable/int.ts:1116

Accessors

minusOne

Get Signature

get static minusOne(): Sign

Defined in: lib/provable/int.ts:1121

Returns

Sign

---

one

Get Signature

get static one(): Sign

Defined in: lib/provable/int.ts:1118

Returns

Sign

Methods

assertEquals()

assertEquals(x: this): void

Defined in: lib/provable/types/circuit-value.ts:121

Parameters

x

this

Returns

void

Inherited from

CircuitValue.assertEquals

---

equals()

equals(x: this): Bool

Defined in: lib/provable/types/circuit-value.ts:117

Parameters

x

this

Returns

Bool

Inherited from

CircuitValue.equals

---

isConstant()

isConstant(): boolean

Defined in: lib/provable/types/circuit-value.ts:125

Returns

boolean

Inherited from

CircuitValue.isConstant

---

isNegative()

isNegative(): Bool

Defined in: lib/provable/int.ts:1151

Returns

Bool

---

isPositive()

isPositive(): Bool

Defined in: lib/provable/int.ts:1148

Returns

Bool

---

mul()

mul(y: Sign): Sign

Defined in: lib/provable/int.ts:1145

Parameters

y

Sign

Returns

Sign

---

neg()

neg(): Sign

Defined in: lib/provable/int.ts:1142

Returns

Sign

---

toConstant()

toConstant(): this

Defined in: lib/provable/types/circuit-value.ts:113

Returns

this

Inherited from

CircuitValue.toConstant

---

toFields()

toFields(): Field[]

Defined in: lib/provable/types/circuit-value.ts:79

Returns

Field[]

Inherited from

CircuitValue.toFields

---

toJSON()

toJSON(): any

Defined in: lib/provable/types/circuit-value.ts:109

Returns

any

Inherited from

CircuitValue.toJSON

---

toString()

toString(): string

Defined in: lib/provable/int.ts:1155

Returns a string representation of an object.

Returns

string

---

check()

static check(x: Sign): void

Defined in: lib/provable/int.ts:1124

Parameters

x

Sign

Returns

void

Overrides

CircuitValue.check

---

empty()

static empty<T>(): InstanceType<T>

Defined in: lib/provable/int.ts:1128

Type Parameters

• T extends AnyConstructor

Returns

InstanceType<T>

Overrides

CircuitValue.empty

---

fromFields()

static fromFields<T>(this: T, xs: Field[]): InstanceType<T>

Defined in: lib/provable/types/circuit-value.ts:129

Type Parameters

• T extends AnyConstructor

Parameters

this

T

xs

Field[]

Returns

InstanceType<T>

Inherited from

CircuitValue.fromFields

---

fromJSON()

static fromJSON<T>(x: "Positive" | "Negative"): InstanceType<T>

Defined in: lib/provable/int.ts:1139

Type Parameters

• T extends AnyConstructor

Parameters

x

"Positive" | "Negative"

Returns

InstanceType<T>

Overrides

CircuitValue.fromJSON

---

fromObject()

static fromObject<T>(this: T, value: NonMethods<InstanceType<T>>): InstanceType<T>

Defined in: lib/provable/types/circuit-value.ts:30

Type Parameters

• T extends AnyConstructor

Parameters

this

T

value

NonMethods<InstanceType<T>>

Returns

InstanceType<T>

Inherited from

CircuitValue.fromObject

---

fromValue()

static fromValue<T>(x: number | bigint | Sign): InstanceType<T>

Defined in: lib/provable/int.ts:1163

Type Parameters

• T extends AnyConstructor

Parameters

x

number | bigint | Sign

Returns

InstanceType<T>

Overrides

CircuitValue.fromValue

---

sizeInFields()

static sizeInFields(): number

Defined in: lib/provable/types/circuit-value.ts:37

Returns

number

Inherited from

CircuitValue.sizeInFields

---

toAuxiliary()

static toAuxiliary(): []

Defined in: lib/provable/types/circuit-value.ts:56

Returns

[]

Inherited from

CircuitValue.toAuxiliary

---

toCanonical()

static toCanonical<T>(this: T, value: InstanceType<T>): InstanceType<T>

Defined in: lib/provable/types/circuit-value.ts:161

Type Parameters

• T extends AnyConstructor

Parameters

this

T

value

InstanceType<T>

Returns

InstanceType<T>

Inherited from

CircuitValue.toCanonical

---

toConstant()

static toConstant<T>(this: T, t: InstanceType<T>): InstanceType<T>

Defined in: lib/provable/types/circuit-value.ts:170

Type Parameters

• T extends AnyConstructor

Parameters

this

T

t

InstanceType<T>

Returns

InstanceType<T>

Inherited from

CircuitValue.toConstant

---

toFields()

static toFields<T>(this: T, v: InstanceType<T>): Field[]

Defined in: lib/provable/types/circuit-value.ts:42

Type Parameters

• T extends AnyConstructor

Parameters

this

T

v

InstanceType<T>

Returns

Field[]

Inherited from

CircuitValue.toFields

---

toInput()

static toInput(x: Sign): HashInput

Defined in: lib/provable/int.ts:1131

Parameters

x

Sign

Returns

HashInput

Overrides

CircuitValue.toInput

---

toJSON()

static toJSON(x: Sign): "Positive" | "Negative"

Defined in: lib/provable/int.ts:1134

Parameters

x

Sign

Returns

"Positive" | "Negative"

Overrides

CircuitValue.toJSON

---

toValue()

static toValue(x: Sign): Sign

Defined in: lib/provable/int.ts:1159

Parameters

x

Sign

Returns

Sign

Overrides

CircuitValue.toValue