Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

bug: debug_assert_eq! on codehash fails in release mode #725

Open
einar-polygon opened this issue Oct 15, 2024 · 2 comments
Open

bug: debug_assert_eq! on codehash fails in release mode #725

einar-polygon opened this issue Oct 15, 2024 · 2 comments
Assignees
Labels
bug Something isn't working

Comments

@einar-polygon
Copy link
Contributor

Adding the following to zk_evm/Cargo.toml:

[profile.release]
debug-assertions = true

and then running this:

export RPC=<ping me for url>
export BLOCK=19578175
cargo run --release --bin rpc -- --backoff 3000 --max-retries 100 --rpc-url $RPC --rpc-type native fetch --start-block $BLOCK --end-block $BLOCK 1> $BLOCK.json
./prove_stdio.sh $BLOCK.json test_only

exits with EXITCODE 1 and should produce a test.out, that contains:

assertion `left == right` failed
  left: 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
 right: 0x0000000000000000000000000000000000000000000000000000000000000001

The value is a codehash and the right side is supposed to come from the KECCAK_GENERAL procedure.

@einar-polygon einar-polygon added the bug Something isn't working label Oct 15, 2024
@github-project-automation github-project-automation bot moved this to Backlog in Zero EVM Oct 15, 2024
@Nashtare
Copy link
Collaborator

I guess this is solved by @hratoanina on slack?

@einar-polygon
Copy link
Contributor Author

It's now solved on my RRC jumpdest branch.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
Status: Backlog
Development

No branches or pull requests

2 participants