zk-Sync v2.0 is just one of the many projects in currently in play in developing a zk-EVM (others include StarkNet, Polygon Hermez, and Scroll). Unlike zk-Sync v1.0, which required users to re-build large sections of their codebases to port from the EVM to zk-Sync, in zk-Sync v2.0 programmers can deploy their applications with little-to-no changes — or as zk-Sync may like to claim. In practice, not all zk-EVMs are created equal. There is a distinct tradeoff between composability (how close it...