4.1.3 ZK Proof Aggregation sub-layer of TS-zkVM The aggregation sub-layer is responsible for aggregating the different transaction proofs and producing a proof to verify the correctness of the entire batch of transactions, which achieves increased efficiency in proof verification and reduced on-chain costs for transactions.
https://docs.zk.link/architecture/execution-layer/ts-zkvm-for-app-rollup

