Module Mina_base.Pending_coinbase_intf

Pending_coinbase is to keep track of all the coinbase transactions that have been applied to the ledger but for which there is no ledger proof yet. Every ledger proof corresponds to a sequence of coinbase transactions which is part of all the transactions it proves. Each of these sequencesStack are stored using the merkle tree representation. The stacks are operated in a FIFO manner by keeping track of its positions in the merkle tree. Whenever a ledger proof is emitted, the oldest stack is removed from the tree and when a new coinbase is applied, the latest stack is updated with the new coinbase. The operations on the merkle tree of coinbase stacks include: 1) adding a new singleton stack 2) updating the latest stack when a new coinbase is added to it 2) deleting the oldest stack

A stack can be either be created or modified by pushing a coinbase on to it.

This module also provides an interface for the checked computations required required to prove it in snark

Stack operations are done for transaction snarks and tree operations are done for the blockchain snark