A lot of the information from the zksync C4 audit is fantastic.
https://github.com/code-423n4/2024-03-zksync/tree/main/docs
We should have these in the official docs somewhere.
In particular, this set of simulations I think is crucial for developers to understand, and how it works with the isSystem
flag.
https://github.com/code-423n4/2023-10-zksync/blob/main/docs/VM%20Section/How%20compiler%20works/instructions/extensions/call.md