Class: Sign

Hierarchy

• CircuitValue

  ↳ Sign

Table of contents

Constructors

• constructor

Properties

• value

Accessors

• minusOne
• one

Methods

• assertEquals
• equals
• isConstant
• isPositive
• mul
• neg
• toConstant
• toFields
• toJSON
• toString
• check
• fromJSON
• fromObject
• ofFields
• sizeInFields
• toConstant
• toFields
• toInput
• toJSON

Constructors

constructor

• new Sign(...props)

Parameters

Name	Type
...props	any[]

Inherited from

CircuitValue.constructor

Defined in

lib/circuit_value.ts:43

Properties

value

• value: Field

Defined in

lib/int.ts:369

Accessors

minusOne

• Static get minusOne(): Sign

Returns

Sign

Defined in

lib/int.ts:374

---

one

• Static get one(): Sign

Returns

Sign

Defined in

lib/int.ts:371

Methods

assertEquals

▸ assertEquals(x): void

Parameters

Name	Type
x	Sign

Returns

void

Inherited from

CircuitValue.assertEquals

Defined in

lib/circuit_value.ts:127

---

equals

▸ equals(x): Bool

Parameters

Name	Type
x	Sign

Returns

Bool

Inherited from

CircuitValue.equals

Defined in

lib/circuit_value.ts:123

---

isConstant

▸ isConstant(): boolean

Returns

boolean

Inherited from

CircuitValue.isConstant

Defined in

lib/circuit_value.ts:131

---

isPositive

▸ isPositive(): Bool

Returns

Bool

Defined in

lib/int.ts:395

---

mul

▸ mul(y): Sign

Parameters

Name	Type
y	Sign

Returns

Sign

Defined in

lib/int.ts:392

---

neg

▸ neg(): Sign

Returns

Sign

Defined in

lib/int.ts:389

---

toConstant

▸ toConstant(): Sign

Returns

Sign

Inherited from

CircuitValue.toConstant

Defined in

lib/circuit_value.ts:119

---

toFields

▸ toFields(): Field[]

Returns

Field[]

Inherited from

CircuitValue.toFields

Defined in

lib/circuit_value.ts:111

---

toJSON

▸ toJSON(): JSONValue

Returns

JSONValue

Inherited from

CircuitValue.toJSON

Defined in

lib/circuit_value.ts:115

---

toString

▸ toString(): string

Returns

string

Defined in

lib/int.ts:398

---

check

▸ Static check(x): void

Parameters

Name	Type
x	Sign

Returns

void

Overrides

CircuitValue.check

Defined in

lib/int.ts:377

---

fromJSON

▸ Static fromJSON<T>(this, value): null | InstanceType<T>

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
value	JSONValue

Returns

null | InstanceType<T>

Inherited from

CircuitValue.fromJSON

Defined in

lib/circuit_value.ts:193

---

fromObject

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

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
value	NonMethods<InstanceType<T>>

Returns

InstanceType<T>

Inherited from

CircuitValue.fromObject

Defined in

lib/circuit_value.ts:60

---

ofFields

▸ Static ofFields<T>(this, xs): InstanceType<T>

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
xs	Field[]

Returns

InstanceType<T>

Inherited from

CircuitValue.ofFields

Defined in

lib/circuit_value.ts:135

---

sizeInFields

▸ Static sizeInFields(): number

Returns

number

Inherited from

CircuitValue.sizeInFields

Defined in

lib/circuit_value.ts:67

---

toConstant

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

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
t	InstanceType<T>

Returns

InstanceType<T>

Inherited from

CircuitValue.toConstant

Defined in

lib/circuit_value.ts:171

---

toFields

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

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
v	InstanceType<T>

Returns

Field[]

Inherited from

CircuitValue.toFields

Defined in

lib/circuit_value.ts:72

---

toInput

▸ Static toInput(x): HashInput

Parameters

Name	Type
x	Sign

Returns

HashInput

Overrides

CircuitValue.toInput

Defined in

lib/int.ts:381

---

toJSON

▸ Static toJSON(x): "Positive" | "Negative"

Parameters

Name	Type
x	Sign

Returns

"Positive" | "Negative"

Overrides

CircuitValue.toJSON

Defined in

lib/int.ts:384