Rank proof, two-pass merge. Comments outdated