-
PR#2183 dramatically improves the performance of MS-SMT proof verification.
-
PR#2184 dramatically improves the performance of universe federation proof push.
-
PR#2194 significantly improves concurrent universe proof ingest on Postgres.
-
PR#2188 dramatically improves the performance of batched MS-SMT insertions.