Research post finds folding does not beat full-verifier recursion for post-quantum signature aggregation in leanVM

A researcher measured two ways of bundling post-quantum signatures in leanVM and reports negative results, which helps the field avoid dead ends.