zkevm@v0.3.3

This is a new release of projects/zkevm  which:

• Is based on a newly created bal@v5.6.1.
• Specs:
  • The sparse MPT implementation of the guest program now fails if it walks a HashedNode. The guest program must not conclude anything about the state if not enough MPT nodes were provided in the witness, i.e. this means an invalid execution witness.
  • Added tighter checks (1, 2, 3) and overall simplifications in the guest program code.
• Execution witness:
  • Correct construction:
    • Add a new test for a reverted SLOAD in an inner reverted call frame asserts witness contains read slot.
    • Add a new test for a failed CALL due to insufficient balance asserts witness contains account data.
  • Invalid execution witness for stateless execution:
    • Nine new tests covering invalid executionWitness.state scenarios. In these cases, the stateless execution must fail because information is missing. The following are examples of these scenarios which were implemented:
      • Missing nodes for the required proof of presence
      • Missing nodes for the required proof of absence
      • Missing sibilings required for post-state root calculation due to branch compressions.