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