Interface: Provable<T>
Provable<T> is the general circuit type interface. It describes how a type T is made up of field elements and auxiliary (non-field element) data.
You will find this as the required input type in a few places in snarkyjs. One convenient way to create a Provable<T> is using Struct.
Type parameters
| Name |
|---|
T |
Hierarchy
Provable
Table of contents
Properties
Methods
Properties
check
• check: (x: T) => void
Type declaration
▸ (x): void
Parameters
| Name | Type |
|---|---|
x | T |
Returns
void
Defined in
fromFields
• fromFields: (x: Field[], aux: any[]) => T
Type declaration
▸ (x, aux): T
Parameters
| Name | Type |
|---|---|
x | Field[] |
aux | any[] |
Returns
T
Defined in
toAuxiliary
• toAuxiliary: (x?: T) => any[]
Type declaration
▸ (x?): any[]
Parameters
| Name | Type |
|---|---|
x? | T |
Returns
any[]
Defined in
toFields
• toFields: (x: T) => Field[]
Type declaration
▸ (x): Field[]
Parameters
| Name | Type |
|---|---|
x | T |
Returns
Field[]
Defined in
Methods
sizeInFields
▸ sizeInFields(): number
Returns
number