Following Certora/ChainSecurity’s review, Gauntlet canceled Proposal 483 to address a parameter-format mismatch between our upgraded internal tooling and Tally’s expected encoding. This is a formatting change only; the proposal’s intent and scope remain unchanged. We’ll resubmit the updated proposal after they review the adjustments.
We appreciate Certora/ChainSecurity’s quick coordination and will share the updated proposal link once it’s live.