Class: VerificationKey

Hierarchy

• { data: string = String; hash: Field = Field }

  ↳ VerificationKey

Table of contents

Constructors

• constructor

Properties

• data
• hash
• _isStruct
• check
• fromFields
• fromJSON
• toAuxiliary
• toFields
• toInput
• toJSON

Methods

• sizeInFields

Constructors

constructor

• new VerificationKey(value)

Parameters

Name	Type	Default value
value	Object	undefined
value.data	string	String
value.hash	Field	Field

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).constructor

Defined in

lib/circuit_value.ts:467

Properties

data

• data: string = String

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).data

Defined in

lib/zkapp.ts:1487

---

hash

• hash: Field = Field

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).hash

Defined in

lib/zkapp.ts:1487

---

_isStruct

▪ Static _isStruct: true

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, })._isStruct

Defined in

lib/circuit_value.ts:467

---

check

▪ Static check: (x: { data: string = String; hash: Field = Field }) => void

Type declaration

▸ (x): void

Parameters

Name	Type	Default value
x	Object	undefined
x.data	string	String
x.hash	Field	Field

Returns

void

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).check

Defined in

snarky.d.ts:37

---

fromFields

▪ Static fromFields: (x: Field[], aux: any[]) => { data: string = String; hash: Field = Field }

Type declaration

▸ (x, aux): Object

Parameters

Name	Type
x	Field[]
aux	any[]

Returns

Object

Name	Type
data	string
hash	Field

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).fromFields

Defined in

snarky.d.ts:35

---

fromJSON

▪ Static fromJSON: (x: string) => { data: string = String; hash: Field = Field }

Type declaration

▸ (x): Object

Parameters

Name	Type
x	string

Returns

Object

Name	Type
data	string
hash	Field

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).fromJSON

Defined in

lib/circuit_value.ts:475

---

toAuxiliary

▪ Static toAuxiliary: (x?: { data: string = String; hash: Field = Field }) => any[]

Type declaration

▸ (x?): any[]

Parameters

Name	Type	Default value
x?	Object	undefined
x.data	string	String
x.hash	Field	Field

Returns

any[]

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).toAuxiliary

Defined in

snarky.d.ts:34

---

toFields

▪ Static toFields: (x: { data: string = String; hash: Field = Field }) => Field[]

Type declaration

▸ (x): Field[]

Parameters

Name	Type	Default value
x	Object	undefined
x.data	string	String
x.hash	Field	Field

Returns

Field[]

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).toFields

Defined in

snarky.d.ts:33

---

toInput

▪ Static toInput: (x: { data: string = String; hash: Field = Field }) => { fields?: Field[] ; packed?: [Field, number][] }

Type declaration

▸ (x): Object

Parameters

Name	Type	Default value
x	Object	undefined
x.data	string	String
x.hash	Field	Field

Returns

Object

Name	Type
fields?	Field[]
packed?	[Field, number][]

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).toInput

Defined in

lib/circuit_value.ts:470

---

toJSON

▪ Static toJSON: (x: { data: string = String; hash: Field = Field }) => string

Type declaration

▸ (x): string

Parameters

Name	Type	Default value
x	Object	undefined
x.data	string	String
x.hash	Field	Field

Returns

string

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).toJSON

Defined in

lib/circuit_value.ts:474

Methods

sizeInFields

▸ Static sizeInFields(): number

Returns

number

Inherited from

Struct({ ...provable({ data: String, hash: Field }), toJSON({ data }: { data: string }) { return data; }, }).sizeInFields

Defined in

snarky.d.ts:36