F-2025-0019·compiler-version
Consider updating to latest Solidity version
TL;DR
Contract pins ^0.8.0 instead of a recent stable Solidity, missing named mappings, push0 gas savings, custom error selector ergonomics, and improved overflow checks.
Severity
INFO
Impact
LOW
Likelihood
LOW
Method
MManual review
CAT.
Complexity
LOW
Exploitability
LOW
02Section · Description
Description
The contract uses an older Solidity version:
solidity
pragma solidity ^0.8.0;
Recent Solidity versions (e.g., 0.8.23) include important features and optimisations such as:
- Named mappings for better readability.
- Push0 opcode support for gas optimisation.
- Custom errors with
error.selector. - Using
forwith free functions. - Improved overflow checks.
03Section · Recommendation
Recommendation
Update to the latest stable version of Solidity.

