@proto-kit/protocol • Docs

Documentation / @proto-kit/protocol / MinaActionsHashList

Class: MinaActionsHashList

Utilities for creating a hash list from a given value type.

Extends

• MinaPrefixedProvableHashList<Field>

Constructors

new MinaActionsHashList()

new MinaActionsHashList(internalCommitment?): MinaActionsHashList

Parameters

• internalCommitment?: Field

Returns

MinaActionsHashList

Overrides

MinaPrefixedProvableHashList.constructor

Defined in

packages/protocol/src/utils/MinaPrefixedProvableHashList.ts:67

Properties

commitment

commitment: Field

Inherited from

MinaPrefixedProvableHashList.commitment

Defined in

packages/protocol/src/utils/ProvableHashList.ts:26

prefix

readonly prefix: string

Inherited from

MinaPrefixedProvableHashList.prefix

Defined in

packages/protocol/src/utils/MinaPrefixedProvableHashList.ts:49

valueType

protected readonly valueType: ProvablePure<Field>

Inherited from

MinaPrefixedProvableHashList.valueType

Defined in

packages/protocol/src/utils/ProvableHashList.ts:29

Methods

empty()

empty(): Field

Returns

Field

Inherited from

MinaPrefixedProvableHashList.empty

Defined in

packages/protocol/src/utils/MinaPrefixedProvableHashList.ts:55

fastForward()

fastForward(transition, message): void

Fast-forwards the state of the hashlist to a specified new tip. This assumes the transition (from -> to) to be already verified somewhere else that is outside this scope.

Parameters

• transition: VerifiedTransition<Field>

• message: string = "some hashlist"

Returns

void

Inherited from

MinaPrefixedProvableHashList.fastForward

Defined in

packages/protocol/src/utils/ProvableHashList.ts:62

fastForwardIf()

fastForwardIf(transition, condition, message): void

Parameters

• transition: VerifiedTransition<Field>

• condition: Bool

• message: string = "some hashlist"

Returns

void

Inherited from

MinaPrefixedProvableHashList.fastForwardIf

Defined in

packages/protocol/src/utils/ProvableHashList.ts:75

getUnconstrainedValues()

getUnconstrainedValues(): Unconstrained<ProvableHashListData<Field>[]>

Returns

Unconstrained<ProvableHashListData<Field>[]>

Inherited from

MinaPrefixedProvableHashList.getUnconstrainedValues

Defined in

packages/protocol/src/utils/ProvableHashList.ts:140

hash()

protected hash(elements): Field

Parameters

• elements: Field[]

Returns

Field

Inherited from

MinaPrefixedProvableHashList.hash

Defined in

packages/protocol/src/utils/MinaPrefixedProvableHashList.ts:59

isEmpty()

isEmpty(): Bool

Returns

Bool

Inherited from

MinaPrefixedProvableHashList.isEmpty

Defined in

packages/protocol/src/utils/ProvableHashList.ts:136

push()

push(value): MinaActionsHashList

Converts the provided value to Field[] and appends it to the current hashlist.

Parameters

• value: Field

Value to be appended to the hash list

Returns

MinaActionsHashList

Current hash list.

Inherited from

MinaPrefixedProvableHashList.push

Defined in

packages/protocol/src/utils/ProvableHashList.ts:106

pushIf()

pushIf(value, condition): MinaActionsHashList

Parameters

• value: Field

• condition: Bool

Returns

MinaActionsHashList

Inherited from

MinaPrefixedProvableHashList.pushIf

Defined in

packages/protocol/src/utils/ProvableHashList.ts:117

toField()

toField(): Field

Returns

Field

Traling hash of the current hashlist.

Inherited from

MinaPrefixedProvableHashList.toField

Defined in

packages/protocol/src/utils/ProvableHashList.ts:132

witnessTip()

witnessTip(preimage, value): Bool

Parameters

• preimage: Field

• value: Field

Returns

Bool

Inherited from

MinaPrefixedProvableHashList.witnessTip

Defined in

packages/protocol/src/utils/ProvableHashList.ts:93