Advance an action cursor together with a Mina reducer result
Dispatching a zkApp action records input for later processing. A tally needs a processed action-state cursor alongside its accumulated value.
Reduce the unprocessed suffix
Assume the finalized counter is 100 at cursor S0. Fetch actions after S0 and process +3 and +4 using the reducer's action ordering. Bind the starting cursor and total to the zkApp's current state and commit both the resulting cursor and 107 in the same update.
processed action cursor = S0, total = 100
pending actions = [+3, +4]
next commit: cursor S2, total 107
Detect overlapping workers
If two workers build proofs from S0, a current-state precondition should prevent the second from applying the same suffix after the first commits. A new dispatch after the chosen endpoint stays pending for another reduction. Distinguish the submitted action count from the processed tally in the user interface.