Can the Overhead Be Amortized across Multiple Financial Transactions?

Yes, the computational overhead of proof generation is amortized in batching systems like ZK-Rollups. A single, complex proof is generated to validate a large batch of hundreds or thousands of transactions.

The high cost of generating that one proof is then divided among all the transactions in the batch, resulting in a very low cost per individual transaction.