Feature: add zksync support to v1.5.0

mmv08 commented 7 months ago

This PR:

Implements https://github.com/safe-global/safe-smart-account/issues/766 by adding the zksync support for deployment and testing contracts
It is based on https://github.com/safe-global/safe-smart-account/pull/651. However, Matter Labs has published many updates in the meantime, so there are many changes
Add zksync tests to the CI

Importants changes

The zksync team did a great job of adding a lot of interoperability features with hardhat's environment ethers object, however, there are certain features we rely on that require zksync-specific adjustments, such as compiling code from string, contract deployment, create2 address calculation. Functions specific to that had to be adjusted
we had incorrect test assumptions: for example, we assumed that hre.ethers.getContractAt would always return a contract instance connected to the first account returned from hre.ethers.getSigners. This didn't hold in zksync environment as they use the 9th account

Notes

This PR doesn't include changes to Safe Migration contract tests for zksync, as we decided to merge this first and add the support to 1.4.1 and fix the migration contracts there, then cherry-pick it back to 1.5.0

Proof of deployment:

> hardhat deploy-contracts --network zkSyncSepolia

Yul codegen is only supported for solc >= 0.8. Flag forceEVMLA will automatically be set to true by default.
Yul codegen is only supported for solc >= 0.8. Flag forceEVMLA will automatically be set to true by default.
The zksolc compiler version in your Hardhat config file (1.5.2) is not the latest. We recommend using the latest version 1.5.3.
Nothing to compile
No need to generate any newer typings.
reusing "SimulateTxAccessor" at 0x1aaa95173dAA2F9B18df1277485CAd842Bb5EeFe
reusing "SafeProxyFactory" at 0x9c8588F1Cfbf54845c06C6924E90b20AB0912B6F
reusing "TokenCallbackHandler" at 0x94AA81a0E2e857A0e5978b7E4218DdAE2d611bCf
reusing "CompatibilityFallbackHandler" at 0x7e940bC046e2a069F67e40f00A9d5749Abf59f70
reusing "CreateCall" at 0xded498F0eEEAe67E2E339a42e5c926335fDDCcf7
reusing "MultiSend" at 0xE25a6DFf1cbD91d195D87ECb90C96517fc98F581
reusing "MultiSendCallOnly" at 0x0E5006a4179dF454031800eC575F413c83d7B025
reusing "SignMessageLib" at 0x97273487793848a571054bf3a5FDc9c0982648B9
reusing "Safe" at 0xB23798CfB614f3A1a6d0820c08e004922475CD76
reusing "SafeL2" at 0x0ED239feb23632cE272A0AE5f8bfd843377897DF
reusing "SafeToL2Migration" at 0x4c81Ce72dD304E27739A5607f0Ba7207eD415360
reusing "SafeMigration" at 0x80dd94053ED6075992771A2Df501eFF101fBc281
Verification status for CompatibilityFallbackHandler: SUCCESS
Verification status for CreateCall: SUCCESS
Verification status for MultiSend: SUCCESS
Verification status for MultiSendCallOnly: SUCCESS
Verification status for Safe: SUCCESS
Verification status for SafeL2: SUCCESS
Verification status for SafeMigration: SUCCESS
Verification status for SafeProxyFactory: SUCCESS
Verification status for SafeToL2Migration: SUCCESS
Verification status for SignMessageLib: SUCCESS
Verification status for SimulateTxAccessor: SUCCESS
Verification status for TokenCallbackHandler: SUCCESS

Running zk verification on block explorer

Verifying CompatibilityFallbackHandler at 0x7e940bC046e2a069F67e40f00A9d5749Abf59f70...
Your verification ID is: 23855
Contract successfully verified on ZKsync block explorer!

Verifying CreateCall at 0xded498F0eEEAe67E2E339a42e5c926335fDDCcf7...
Your verification ID is: 23856
Contract successfully verified on ZKsync block explorer!

Verifying MultiSend at 0xE25a6DFf1cbD91d195D87ECb90C96517fc98F581...
Your verification ID is: 23857
Contract successfully verified on ZKsync block explorer!

Verifying MultiSendCallOnly at 0x0E5006a4179dF454031800eC575F413c83d7B025...
Your verification ID is: 23858
Contract successfully verified on ZKsync block explorer!

Verifying Safe at 0xB23798CfB614f3A1a6d0820c08e004922475CD76...
Your verification ID is: 23859
Contract successfully verified on ZKsync block explorer!

Verifying SafeL2 at 0x0ED239feb23632cE272A0AE5f8bfd843377897DF...
Your verification ID is: 23860
Contract successfully verified on ZKsync block explorer!

Verifying SafeMigration at 0x80dd94053ED6075992771A2Df501eFF101fBc281...
Your verification ID is: 23861
Contract successfully verified on ZKsync block explorer!

Verifying SafeProxyFactory at 0x9c8588F1Cfbf54845c06C6924E90b20AB0912B6F...
Your verification ID is: 23862
Contract successfully verified on ZKsync block explorer!

Verifying SafeToL2Migration at 0x4c81Ce72dD304E27739A5607f0Ba7207eD415360...
Your verification ID is: 23863
Contract successfully verified on ZKsync block explorer!

Verifying SignMessageLib at 0x97273487793848a571054bf3a5FDc9c0982648B9...
Your verification ID is: 23864
Contract successfully verified on ZKsync block explorer!

Verifying SimulateTxAccessor at 0x1aaa95173dAA2F9B18df1277485CAd842Bb5EeFe...
Your verification ID is: 23865
Contract successfully verified on ZKsync block explorer!

Verifying TokenCallbackHandler at 0x94AA81a0E2e857A0e5978b7E4218DdAE2d611bCf...
Your verification ID is: 23866
Contract successfully verified on ZKsync block explorer!
Execution time: 51.41s

ElvisKrop commented 7 months ago

@mmv08 sorry, for delay :disappointed: It seems "edits from maintainers" feature is disabled on protofire organization level, therefore I was not able to give you access quickly.

coveralls commented 5 months ago

Pull Request Test Coverage Report for Build 10726230198

Details

0 of 0 changed or added relevant lines in 0 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage remained the same at 93.478%

Totals
Change from base Build 10451906756:	0.0%
Covered Lines:	386
Relevant Lines:	398

💛 - Coveralls

mmv08 commented 5 months ago

This is put on pause again because of a bug with zksync-hardhat-node, it was reported to the zksync team: https://github.com/zkSync-Community-Hub/zksync-developers/discussions/482

@nlordell and I are also tried a few workarounds:

Running the in-memory node locally, it worked, but it failed for all the tests with the mock contract because, for some reason, the invocation count didn't update 🤷 perhaps this should be reported to zksync team too
Running the "full" dockerized node -> connection failed with ECONNRESET, so the testing suite couldn't be run.

nlordell commented 5 months ago

I feel like the invocation count not updating is something we are doing wrong (as other storage updates were working as expected), and I am super curious and will likely try to debug at some point :P

mmv08 commented 5 months ago

testing with the "full" local node was also not possible https://github.com/matter-labs/local-setup/issues/19

safe-global / safe-smart-account