Provide a Proof of Concept (PoC) for Solidity or Vyper compiler bugs
For compiler bugs, a Kurtosis devnet or state test is not required. Instead, provide the following:
- The source code that triggers the miscompilation.
- A write-up comparing the expected vs. actual behavior.
- The exact affected compiler versions and a comparison against a version that behaves correctly.
- (Optional) Links to live vulnerable contracts; Sourcify (https://sourcify.dev/) can be used to identify the compiler version of deployed contracts.