Description
In verifier.rs, the regtest/nightly fallback constructs a default LatestDaState with block_height: block_header.height() - 1. When height() == 0 and no prior state exists this underflows: panic in debug builds, u64::MAX in release.
Expected behaviour
Use saturating_sub(1) to safely produce 0 at genesis.
Description
In
verifier.rs, the regtest/nightly fallback constructs a defaultLatestDaStatewithblock_height: block_header.height() - 1. Whenheight() == 0and no prior state exists this underflows: panic in debug builds,u64::MAXin release.Expected behaviour
Use
saturating_sub(1)to safely produce0at genesis.