Skip to content
Request an audit

‹ Findings database

Unnecessary currentEpoch zero check in StandardGovernor and ThresholdGovernor

Low/InfoM^0 Minter Gateway audit·Three Sigma·Stablecoin framework·8th January, 20243S-M^0-N09

Description

The currentEpoch value is derived from BatchGovernor._clock, which can never be zero. But the execute functions of both StandardGovernor and ThresholdGovernor check if currentEpoch is zero.

Recommendation

Since the epoch implementation being used doesn't allow for a zero value returned by _clock, consider removing these zero checks.

Status

Addressed in #1c7576f.

Source

Disclosed by 0xSimao · Sherlock's 2025 Watson of the Year · 21 first places in 57 audit contests