vyperlang / titanoboa

a vyper interpreter
https://titanoboa.readthedocs.io
Other
247 stars 49 forks source link

Stale EVM version causes traces to be incorrect #105

Closed bout3fiddy closed 7 months ago

bout3fiddy commented 10 months ago

Issue:

telegram-cloud-photo-size-4-5958519369850010945-y

The compiler says there is a compiler: user assert, which would look something like:

assert 0 > 1, "Zero is not greater than 1"

The issue here is that the contract is compiled using # pragma evm-version paris, but for whatever reason, boa thinks it is # pragma evm-version shanghai.

The Offending commit is : https://github.com/vyperlang/titanoboa/commit/7171aee25c4d25fc1626a361a8c972e9316fd383

And before this commit, this error is correctly traced, and since this commit it is not.

Tips on how to resolve:

(From Charles) In boa: protect the codegen with correct evm version, but protect source map generation in the same way.

charles-cooper commented 7 months ago

i believe this was fixed in e927974d70ae1d89f36a2a2170e89fc34b726dd6. please reopen if it's still an issue!