After #497 report, investigation led to find that the cause was the incorrectly read value from ZK storage, done when migrating back to EVM, which lead to the checks inserted by solidity to fail.
Solution
Also migrate account code storage & nonce when switching between ZK forks
Motivation
After #497 report, investigation led to find that the cause was the incorrectly read value from ZK storage, done when migrating back to EVM, which lead to the checks inserted by solidity to fail.
Solution
Also migrate account code storage & nonce when switching between ZK forks