vProgs Wires The Proving Pipeline Into Settlement
we_are_legion posted a short merge batch in the R&D channel on June 18, linking four vprogs pull requests: the broad settlement integration branch, the batch-aggregator split, an SMT tombstone fix, and the proving-pipeline settlement wiring. The largest frame is PR #36. It collects the settlement covenant, ZK proving pipeline, transaction, batch and aggregation provers, supporting SMT and core changes, and L1 bridge plumbing into one integration branch.