The transaction process on Mina Protocol is as follows:
A user initiates a transaction, which is then added to the mempool (a pool of valid but unconfirmed transactions).
Snarkers generate zk-SNARKs for the transactions in the mempool.
A block producer is selected to bundle the transactions into a new block.
The block producer chooses the lowest-cost zk-SNARKs from the snarker bids to include in the block.
The block producer adds the block to the blockchain, and the transactions are considered confirmed.
This process allows Mina to maintain a constant blockchain size and enable efficient verification, even as the network grows in usage and transaction volume.