Investigate block 35 prover behavior when not masking `looked` precompiles

0xPolygonZero / zk_evm

Apache License 2.0

85 stars 37 forks source link

Investigate block 35 prover behavior when not masking `looked` precompiles #640

Open Nashtare opened 2 months ago

Nashtare commented 2 months ago

When not masking precompile addresses that are just looked instead of touched, the prover seems to behave weirdly, which may hint at some deeper issues. I have attached below an example block from our test chain that triggers a invalid run, with a gas used mismatch. The txn status is correct (i.e. 0x1), but the leftover gas is 41589 instead of 38536.

b35_header.json b35.json

Nashtare commented 2 weeks ago

@0xaatif correct me if I'm wrong, but I believe this got outdated with #695?