It seems to me that what we want is for the cost of registering or renewing a single domain to remain roughly constant. The only variable we should take into account is then the cost in dollars of computation. I'd suggest a simple fixed deflation rate calibrated to the Moore's-law predicted curve. (But be careful about gotchas like GPU mining.)