@proto-kit/protocol • Docs

Documentation / @proto-kit/protocol / StateTransitionReductionList

Class: StateTransitionReductionList

Extends

• ProvableReductionHashList<ProvableStateTransition>

Constructors

new StateTransitionReductionList()

new StateTransitionReductionList(valueType, commitment): StateTransitionReductionList

Parameters

• valueType: ProvablePure<ProvableStateTransition>

• commitment: Field = ...

Returns

StateTransitionReductionList

Inherited from

ProvableReductionHashList.constructor

Defined in

packages/protocol/src/utils/ProvableReductionHashList.ts:6

Properties

commitment

commitment: Field

Inherited from

ProvableReductionHashList.commitment

Defined in

packages/protocol/src/utils/ProvableReductionHashList.ts:8

unconstrainedList

unconstrainedList: ProvableStateTransition[] = []

Inherited from

ProvableReductionHashList.unconstrainedList

Defined in

packages/protocol/src/utils/ProvableReductionHashList.ts:11

valueType

protected readonly valueType: ProvablePure<ProvableStateTransition>

Inherited from

ProvableReductionHashList.valueType

Defined in

packages/protocol/src/utils/ProvableReductionHashList.ts:7

Methods

getUnconstrainedValues()

getUnconstrainedValues(): NonMethods<ProvableStateTransition>[]

Returns

NonMethods<ProvableStateTransition>[]

Inherited from

ProvableReductionHashList.getUnconstrainedValues

Defined in

packages/protocol/src/utils/ProvableReductionHashList.ts:74

hash()

hash(elements): Field

Parameters

• elements: Field[]

Returns

Field

Inherited from

ProvableReductionHashList.hash

Defined in

packages/protocol/src/utils/ProvableReductionHashList.ts:70

push()

push(value): StateTransitionReductionList

Parameters

• value: ProvableStateTransition

Returns

StateTransitionReductionList

Defined in

packages/protocol/src/prover/accumulators/StateTransitionReductionList.ts:11

pushAndReduce()

pushAndReduce(value, reduce): object

Parameters

• value: ProvableStateTransition

• reduce

Returns

object

popLast

popLast: Bool

value

value: ProvableStateTransition

Inherited from

ProvableReductionHashList.pushAndReduce

Defined in

packages/protocol/src/utils/ProvableReductionHashList.ts:17

pushIf()

pushIf(value, condition): StateTransitionReductionList

Parameters

• value: ProvableStateTransition

• condition: Bool

Returns

StateTransitionReductionList

Inherited from

ProvableReductionHashList.pushIf

Defined in

packages/protocol/src/utils/ProvableReductionHashList.ts:64

pushWithMetadata()

pushWithMetadata(value): object

Parameters

• value: ProvableStateTransition

Returns

object

popLast

popLast: Bool

value

value: ProvableStateTransition

Defined in

packages/protocol/src/prover/accumulators/StateTransitionReductionList.ts:17

toField()

toField(): Field

Returns

Field

Defined in

packages/protocol/src/prover/accumulators/StateTransitionReductionList.ts:59