in order to support getting back to its own phase, after slipping into the next one on post completion.
early exits enable smesher to tradeoff some fraction of ticks for large post proof, together with atx penalty it should make it rational to create large atx instead of splitting them into many small.
related: https://github.com/spacemeshos/pm/issues/262
in order to support getting back to its own phase, after slipping into the next one on post completion.
early exits enable smesher to tradeoff some fraction of ticks for large post proof, together with atx penalty it should make it rational to create large atx instead of splitting them into many small.