Current design does not work on zkSync
Summary
Current design does not work on zkSync due to its native account abstraction.
Vulnerability Details
README.md states under compatibilities:
Blockchains:
- Ethereum/Any EVM
Now zkSync is an EVM-compatible roll-up. However, the current design of Nexus on this roll-up is broken because zkSync has a set of unique characteristics. For example:
There is no native support for passing Ether on zkSync, so it is handled by a special system contract called
MsgValueSimulator. The simulator receives the callee address and Ether amount, performs all necessary balance changes, and then calls the callee.
Which is not the case for the current Nexus design.
Impact
Nexus design is broken on zkSync.
Tools Used
Manual review.
zkSync docs.
Recommendations
Refactor the code to work on zkSync.
Lead Judging Commences
finding-zksync-create-create2-opcode
Valid medium, since there is non-functionality on zkSync (cannot create accounts) since it is stated as follows > Blockchains: > - Ethereum/Any EVM
Prize pool breakdown
Live
The contest is live. Earn rewards by submitting a finding.
Appeals
This is your time to appeal against judgements on your submissions.
Appeals Review
Appeals are being carefully reviewed by our judges.