We have updated our Lelantus paper with updated performance benchmarks that in many cases halves verification time of Lelantus proofs making it much more scalable.
