Skip to main content

Interface: ProvablePure<T>

ProvablePure<T> is a special kind of Provable<T>, where the auxiliary data is empty. This means the type only consists of field elements, in that sense it is "pure".

Examples where ProvablePure<T> is required are types of on-chain state, events and actions.

Type parameters​

Name
T

Hierarchy​

Table of contents​

Properties​

Methods​

Properties​

check​

• check: (x: T) => void

Type declaration​

▸ (x): void

Parameters​
NameType
xT
Returns​

void

Overrides​

Provable.check

Defined in​

snarky.d.ts:50

fromFields​

• fromFields: (x: Field[]) => T

Type declaration​

▸ (x): T

Parameters​
NameType
xField[]
Returns​

T

Overrides​

Provable.fromFields

Defined in​

snarky.d.ts:48

toAuxiliary​

• toAuxiliary: (x?: T) => []

Type declaration​

▸ (x?): []

Parameters​
NameType
x?T
Returns​

[]

Overrides​

Provable.toAuxiliary

Defined in​

snarky.d.ts:47

toFields​

• toFields: (x: T) => Field[]

Type declaration​

▸ (x): Field[]

Parameters​
NameType
xT
Returns​

Field[]

Overrides​

Provable.toFields

Defined in​

snarky.d.ts:46

Methods​

sizeInFields​

▸ sizeInFields(): number

Returns​

number

Overrides​

Provable.sizeInFields

Defined in​

snarky.d.ts:49