Post-quantum aggregation is slow, but leanVM recently introduced performance improvements that made it much faster. On Devnet 5, worst-case proposal latency dropped from 2.5s to 1.3s, nearly a 2x improvement over the previous version.
