Indexed-axis top-k proof verification — returns the ranked groups the proof commits to, in ranking order.