Merge pull request matter-labs#1980 from matter-labs/add-zksyncos-dual-verifier

sanekmelnikov · web-flow · commit e954a9ee1eee · 2026-01-20T15:02:40.000-07:00
fix: ZKsyncOSDualVerifier as non-testnet verifier for ZKSyncOS
diff --git a/l1-contracts/deploy-scripts/ctm/DeployCTMUtils.s.sol b/l1-contracts/deploy-scripts/ctm/DeployCTMUtils.s.sol
@@ -322,7 +322,11 @@ abstract contract DeployCTMUtils is DeployUtils {
                         return type(EraTestnetVerifier).creationCode;
                     }
                 } else {
-                    return type(EraDualVerifier).creationCode;
+                    if (config.isZKsyncOS) {
+                        return type(ZKsyncOSDualVerifier).creationCode;
+                    } else {
+                        return type(EraDualVerifier).creationCode;
+                    }
                 }
             } else if (compareStrings(contractName, "EraVerifierFflonk")) {
                 return type(EraVerifierFflonk).creationCode;

Original file line number	Diff line number	Diff line change
`@@ -322,7 +322,11 @@ abstract contract DeployCTMUtils is DeployUtils {`
`322`	`322`	`return type(EraTestnetVerifier).creationCode;`
`323`	`323`	`}`
`324`	`324`	`} else {`
`325`		`- return type(EraDualVerifier).creationCode;`
	`325`	`+ if (config.isZKsyncOS) {`
	`326`	`+ return type(ZKsyncOSDualVerifier).creationCode;`
	`327`	`+ } else {`
	`328`	`+ return type(EraDualVerifier).creationCode;`
	`329`	`+ }`
`326`	`330`	`}`
`327`	`331`	`} else if (compareStrings(contractName, "EraVerifierFflonk")) {`
`328`	`332`	`return type(EraVerifierFflonk).creationCode;`