Summary

All files is scope have solidity version fixed to 0.8.20. This version uses PUSH0 opcode which is not yet available on all EVM-compatible chains and L2s.

Details

All contracts in scope have solidity version fixed to 0.8.20. This version of the compiler uses the new PUSH0 opcode which was introduced in the Shanghai hardfork. This is now the default EVM version in the compiler.

Thunder Loan is currently on Ethereum chain only but it might eventually be on other chains and L2s such as Arbitrum for example.

Arbitrum does not yet support PUSH0 opcode (issue already raised here) so Thunder Loan might be deployed there with malformed bytecode which could introduce many unknown issues.

Filename

• src/L1BossBridge.sol

• src/L1Token.sol

• src/L1Vault.sol

• src/TokenFactory.sol

Permalinks

• https://github.com/Cyfrin/2023-11-Boss-Bridge/blob/dad104a9f481aace15a550cf3113e81ad6bdf061/src/L1BossBridge.sol#L15

• https://github.com/Cyfrin/2023-11-Boss-Bridge/blob/dad104a9f481aace15a550cf3113e81ad6bdf061/src/L1Token.sol#L2

• https://github.com/Cyfrin/2023-11-Boss-Bridge/blob/dad104a9f481aace15a550cf3113e81ad6bdf061/src/L1Vault.sol#L2

• https://github.com/Cyfrin/2023-11-Boss-Bridge/blob/dad104a9f481aace15a550cf3113e81ad6bdf061/src/TokenFactory.sol#L2C4-L2C4

Impact

Contracts might get deployed in malformed state and be completely unusable in other chains that do not yet support PUSH0 opcode.

Recommendations

Modify pragma in all in-scope contracts to exclude version 0.8.20. For example:

Tools Used

• Manual Audit

• Foundry