Argument: Rank Groups
Before we explain how to pay, we group the nodes into “rank groups.” A rank group is a group of consecutive rank values that will allow efficient bookkeeping in the proof.
Group 4: Rank 5 through 16
Group 5: Rank 17 through 216
Group 6: Rank 65537 through 265536
Group 7: (impractically) extremely large rank values
Define G(r) = Number of the group containing rank r.