The prover benchmarks were performed in Brave on a core i5 macbook pro. Order/Lend Tx proofs can be verified under 1-2 ms for upto 1000txs on a single core. QuisQuis verification can be paralellized as well. The performace is subject to further optimisation.