Haircomb Quirks
Things to keep in mind when re-implementing haircomb from scratch.
Doublespend Checking Performed Past the Comb Handle
Currently, doublespend checking is performed even for values after the comb handle. This applies to both haircomb and the decider. Consequently, the number of values checked exceeds the theoretical bound of 59213 for haircomb and 65535 for the decider. Specifically, it is 21 * 59213 for haircomb and 2 * 65535 for the decider.
Combbases Are Not Redirects
It might be possible to re-implement haircomb to allow new money to insert redirects into the liquidity graph from COMMIT(addr) to addr. Then, one could generate new money at COMMIT(addr) and trickle it to addr. However, this assumption is false. There are two scenarios in which this would behave differently from the current consensus:
Random users paying to COMMIT(addr) would effectively pay to the claimer. Currently, any such funds are burned; under the new rules, they would recycle back into the economy.
COMMIT(COMMIT(addr)) would also be a valid claim address for addr. Currently, it isn't.
Last updated