Using polynomial commitments to replace state roots

But if the keys’ indexes are sorted during the writing phase, according to you, can this problem be bypassed?