@proto-kit/protocol • Docs
Documentation / @proto-kit/protocol / BlockProverState
Class: BlockProverState
Constructors
new BlockProverState()
new BlockProverState(
args):BlockProverState
Parameters
• args
• args.blockHashRoot: Field
• args.blockNumber: Field
• args.blockWitness: BlockHashMerkleTreeWitness
• args.bundleList: BundleHashList
• args.eternalTransactionsList: TransactionHashList
• args.incomingMessages: MinaActionsHashList
• args.networkState: NetworkState
• args.pendingSTBatches: AppliedBatchHashList
• args.stateRoot: Field
• args.witnessedRoots: WitnessedRootHashList
Returns
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:193
Properties
blockHashRoot
blockHashRoot:
Field
The root of the merkle tree encoding all block hashes,
see BlockHashMerkleTree
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:185
blockNumber
blockNumber:
Field
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:187
blockWitness
blockWitness:
BlockHashMerkleTreeWitness
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:189
bundleList
bundleList:
BundleHashList
The network state which gives access to values such as blockHeight This value is the same for the whole batch (L2 block)
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:161
eternalTransactionsList
eternalTransactionsList:
TransactionHashList
A variant of the transactionsHash that is never reset. Thought for usage in the sequence state mempool. In comparison, transactionsHash restarts at 0 for every new block
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:168
incomingMessages
incomingMessages:
MinaActionsHashList
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:172
networkState
networkState:
NetworkState
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:191
pendingSTBatches
pendingSTBatches:
AppliedBatchHashList
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:170
stateRoot
stateRoot:
Field
The current state root of the block prover
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:179
witnessedRoots
witnessedRoots:
WitnessedRootHashList
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:174
Methods
copy()
copy():
BlockProverState
Returns
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:262
toCommitments()
toCommitments():
BlockProverStateInput
Returns
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:217
toFields()
toFields():
Field[]
Returns
Field[]
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:266
blockProverFromCommitments()
staticblockProverFromCommitments(stateInput,networkState,blockWitness):BlockProverState
Parameters
• stateInput: NonMethods<BlockProverStateInput>
• networkState: NetworkState
• blockWitness: BlockHashMerkleTreeWitness
Returns
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:234
choose()
staticchoose(condition,a,b):BlockProverState
Parameters
• condition: Bool
• a: BlockProverState
• b: BlockProverState
Returns
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:302
fromFields()
staticfromFields(fields):BlockProverState
Parameters
• fields: Field[]