Sign
Defined in: lib/provable/int.ts:1115
Extends
CircuitValue
Constructors
Constructor
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
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
isPositive()
isPositive(): Bool;
Defined in: lib/provable/int.ts:1148
Returns
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
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
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
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
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
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
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
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
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