Module scan_state

Modules

transaction_snark

Structs

BorderBlockContinuedInTheNextTree

JobValueWithIndex

ScanState

Scan state and any zkapp updates that were applied to the to the most recent snarked ledger but are from the tree just before the tree corresponding to the snarked ledger*)

SpacePartition

Space available and number of jobs required to enqueue data. first = space on the current tree and number of jobs required to be completed second = If the current-tree space is less than <max_base_jobs> then remaining number of slots on a new tree and the corresponding job count.

TransactionsOrdered

Enums

Extracted

JobValueBase

JobValueMerge

ParallelScanAvailableJob

All the jobs on a tree that can be done. Base.Full and Merge.Full

Pass

StatementCheck

Functions

completed_work_to_scanable_work 🔒

create_expected_statement 🔒

https://github.com/MinaProtocol/mina/blob/e5183ca1dde1c085b4c5d37d1d9987e24c294c32/src/lib/transaction_snark_scan_state/transaction_snark_scan_state.ml#L175

group_list

sha256_digest 🔒

total_proofs 🔒

Type Aliases

AvailableJob

AvailableJobMessage

JobValue