feat: integrate zksync on cli

.changeset/chatty-starfishes-double.md

@@ -0,0 +1,11 @@
+---
+'@hyperlane-xyz/core': minor
+---
+
+Add ZKSync support and restructure build artifacts:
+
+- Add ZKSync compilation support
+- Restructure typechain directory location to core-utils/typechain
+- Add ZKSync-specific artifact generation and exports
+- Update build process to handle both standard and ZKSync artifacts
+- Add new exports for ZKSync build artifacts and contract types

.changeset/eleven-cows-dance.md

@@ -0,0 +1,5 @@
+---
+'@hyperlane-xyz/sdk': minor
+---
+
+Added ZKSync specific deployment logic and artifact related utils

.changeset/empty-dingos-ring.md

@@ -0,0 +1,5 @@
+---
+'@hyperlane-xyz/cli': minor
+---
+
+Add support for zksync based netowrks

.changeset/fresh-mice-matter.md

@@ -0,0 +1,5 @@
+---
+'@hyperlane-xyz/sdk': minor
+---
+
+Support for zksync on deployments and verifications

.changeset/honest-readers-lick.md

@@ -0,0 +1,5 @@
+---
+'@hyperlane-xyz/sdk': minor
+---
+
+Check for ZKSync contracts and functionalities support

.changeset/mighty-terms-rest.md

@@ -0,0 +1,5 @@
+---
+'@hyperlane-xyz/sdk': minor
+---
+
+ZKSync Provider types with builders

.changeset/orange-cats-stare.md

@@ -0,0 +1,5 @@
+---
+'@hyperlane-xyz/sdk': minor
+---
+
+Add ZKSync contract verification with custom compiler options and refactor verification classes

solidity/.gitignore

@@ -15,3 +15,10 @@ docs
 flattened/
 buildArtifact.json
 fixtures/
+# ZKSync
+artifacts-zk
+cache-zk
+core-utils/zksync/artifacts/output
+.zksolc-libraries-cache/
+typechain-types/
+typechain/

solidity/core-utils/index.ts

@@ -0,0 +1,2 @@
+export * from './typechain/index.js';
+export * from './zksync/index.js';

solidity/core-utils/zksync/artifacts.ts

@@ -0,0 +1,5 @@
+import type { ZKSyncArtifact } from './types.js';
+
+// Default empty artifact array when `yarn build:zk` hasn't been run
+// This file will be populated with contract artifacts in dist after running the build:zk command
+export const zkSyncContractArtifacts: ZKSyncArtifact[] = [] as const;

solidity/core-utils/zksync/buildArtifact.ts

@@ -0,0 +1,19 @@
+// Default empty artifact array when `yarn build:zk` hasn't been run
+// This file will be populated with build artifacts in dist/zksync after running the build:zk command
+export const buildArtifact = {
+  solcLongVersion: '',
+  zk_version: '',
+  input: {
+    language: 'Solidity',
+    sources: {},
+    settings: {
+      optimizer: {
+        enabled: false,
+        runs: 200,
+      },
+      outputSelection: {},
+      evmVersion: 'london',
+      remappings: [],
+    },
+  },
+};

solidity/core-utils/zksync/index.ts

@@ -0,0 +1,4 @@
+export * from './artifacts.js';
+export * from './buildArtifact.js';
+export * from './utils.js';
+export * from './types.js';

solidity/core-utils/zksync/types.ts

@@ -0,0 +1,11 @@
+export interface ZKSyncArtifact {
+  _format: string;
+  contractName: string;
+  sourceName: string;
+  abi: any[];
+  bytecode: string;
+  deployedBytecode: string;
+  linkReferences: Record<string, any>;
+  deployedLinkReferences: Record<string, any>;
+  factoryDeps: Record<string, any>;
+}

solidity/core-utils/zksync/utils.ts

@@ -0,0 +1,58 @@
+import { zkSyncContractArtifacts } from './artifacts.js';
+import { ZKSyncArtifact } from './types.js';
+
+type ArtifactMap = Record<string, ZKSyncArtifact>;
+
+/**
+ * @dev Exports the list of artifact names.
+ * @return An array of artifact names.
+ */
+export async function getZKSyncArtifactNames(): Promise<string[]> {
+  return zkSyncContractArtifacts.map((artifact) => artifact.contractName);
+}
+
+/**
+ * @dev Checks if a ZkSync artifact exists by its name.
+ * @param name The name of the artifact to check.
+ * @return True if the artifact exists, false otherwise.
+ */
+export async function artifactExists(name: string): Promise<boolean> {
+  return zkSyncContractArtifacts.some(
+    (artifact) => artifact.contractName === name,
+  );
+}
+
+/**
+ * @dev Loads a ZkSync artifact by its name.
+ * @param name The name of the artifact to load.
+ * @return The loaded ZKSyncArtifact or undefined if it cannot be found.
+ */
+export async function loadZKSyncArtifact(
+  name: string,
+): Promise<ZKSyncArtifact | undefined> {
+  return zkSyncContractArtifacts.find(
+    (artifact) => artifact.contractName === name,
+  );
+}
+
+/**
+ * @dev Loads all ZkSync artifacts into a map.
+ * @return A map of artifact names to their corresponding ZkSync artifacts.
+ */
+export async function loadAllZKSyncArtifacts(): Promise<ArtifactMap> {
+  return zkSyncContractArtifacts.reduce((map, artifact) => {
+    map[artifact.contractName] = artifact;
+    return map;
+  }, {} as ArtifactMap);
+}
+
+/**
+ * @dev Retrieves a specific ZkSync artifact by its name.
+ * @param name The name of the artifact to retrieve.
+ * @return The ZkSyncArtifact or undefined if it cannot be found.
+ */
+export async function getZKSyncArtifactByName(
+  name: string,
+): Promise<ZKSyncArtifact | undefined> {
+  return loadZKSyncArtifact(name);
+}

solidity/exportBuildArtifact.sh

@@ -37,3 +37,42 @@ else
   echo 'Failed to process build artifact with jq'
   exit 1
 fi
+
+# ZKSYNC
+
+if [ "$ZKSYNC" = "true" ]; then
+  # Define the artifacts directory
+  artifactsDir="./artifacts-zk/build-info"
+  # Define the output file
+  outputFileJson="./dist/zksync/buildArtifact.json"
+  outputFileJs="./dist/zksync/buildArtifact.js"
+  outputFileTsd="./dist/zksync/buildArtifact.d.ts"
+
+  # log that we're in the script
+  echo 'Finding and processing ZKSync hardhat build artifact...'
+
+  # Find most recently modified JSON build artifact
+  if [ "$(uname)" = "Darwin" ]; then
+    # for local flow
+    jsonFiles=$(find "$artifactsDir" -type f -name "*.json" -exec stat -f "%m %N" {} \; | sort -rn | head -n 1 | cut -d' ' -f2-)
+  else
+    # for CI flow
+    jsonFiles=$(find "$artifactsDir" -type f -name "*.json" -exec stat -c "%Y %n" {} \; | sort -rn | head -n 1 | cut -d' ' -f2-)
+  fi
+
+  if [ ! -f "$jsonFiles" ]; then
+    echo 'Failed to find ZKSync build artifact'
+    exit 1
+  fi
+
+  # Extract required keys and write to outputFile
+  if jq -c '{input, solcLongVersion, zk_version: .output.zk_version}' "$jsonFiles" >"$outputFileJson"; then
+    echo "export const buildArtifact = " >"$outputFileJs"
+    cat "$outputFileJson" >>"$outputFileJs"
+    echo "export const buildArtifact: any" >"$outputFileTsd"
+    echo 'Finished processing ZKSync build artifact.'
+  else
+    echo 'Failed to process ZKSync build artifact with jq'
+    exit 1
+  fi
+fi

solidity/generate-artifact-exports.mjs

@@ -0,0 +1,174 @@
+import { promises as fs } from 'fs';
+import { basename, dirname, join } from 'path';
+import { glob } from 'typechain';
+import { fileURLToPath } from 'url';
+
+const cwd = process.cwd();
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = dirname(__filename);
+
+const ROOT_OUTPUT_DIR = join(__dirname, 'dist/zksync/');
+const ARTIFACTS_OUTPUT_DIR = join(ROOT_OUTPUT_DIR, 'artifacts');
+
+/**
+ * @notice Templates for TypeScript artifact generation
+ */
+const TEMPLATES = {
+  JS_ARTIFACT: `\
+export const {name} = {artifact};
+`,
+
+  DTS_ARTIFACT: `\
+import type { ZKSyncArtifact } from '../types.js';
+
+export declare const {name}: ZKSyncArtifact;
+`,
+
+  JS_INDEX: `\
+{imports}
+
+export const zkSyncContractArtifacts = [
+{exports}
+];
+`,
+
+  DTS_INDEX: `\
+import type { ZKSyncArtifact } from './types.js';
+
+export declare const zkSyncContractArtifacts: readonly ZKSyncArtifact[];
+`,
+};
+
+class ArtifactGenerator {
+  constructor() {
+    this.processedFiles = new Set();
+  }
+
+  /**
+   * @notice Retrieves paths of all relevant artifact files
+   * @dev Excludes debug files and build-info directory
+   * @return {string[]} Array of file paths matching the glob pattern
+   */
+  getArtifactPaths() {
+    return glob(cwd, [
+      `!./artifacts-zk/!(build-info)/**/*.dbg.json`,
+      `./artifacts-zk/!(build-info)/**/+([a-zA-Z0-9_]).json`,
+    ]);
+  }
+
+  /**
+   * @notice Creates the output directory if it doesn't exist
+   */
+  async createOutputDirectory() {
+    await fs.mkdir(ARTIFACTS_OUTPUT_DIR, { recursive: true });
+  }
+
+  /**
+   * @notice Reads and parses a JSON artifact file
+   * @param filePath Path to the artifact file
+   * @return {Promise<Object>} Parsed JSON content
+   */
+  async readArtifactFile(filePath) {
+    const content = await fs.readFile(filePath, 'utf-8');
+    return JSON.parse(content);
+  }
+
+  /**
+   * @notice Generates JavaScript content for a contract artifact
+   */
+  generateJavaScriptContent(name, artifact) {
+    return TEMPLATES.JS_ARTIFACT.replace('{name}', name).replace(
+      '{artifact}',
+      JSON.stringify(artifact, null, 2),
+    );
+  }
+
+  /**
+   * @notice Generates TypeScript declaration content for a contract artifact
+   */
+  generateDeclarationContent(name) {
+    return TEMPLATES.DTS_ARTIFACT.replace('{name}', name);
+  }
+
+  /**
+   * @notice Generates index file contents
+   */
+  generateIndexContents(artifactNames) {
+    const imports = artifactNames
+      .map((name) => `import { ${name} } from './artifacts/${name}.js';`)
+      .join('\n');
+    const exports = artifactNames.map((name) => `  ${name},`).join('\n');
+
+    const jsContent = TEMPLATES.JS_INDEX.replace('{imports}', imports).replace(
+      '{exports}',
+      exports,
+    );
+
+    const dtsContent = TEMPLATES.DTS_INDEX.replace(
+      '{imports}',
+      imports,
+    ).replace('{exports}', exports);
+
+    return { jsContent, dtsContent };
+  }
+
+  /**
+   * @notice Processes a single artifact file
+   */
+  async processArtifact(filePath) {
+    const name = basename(filePath, '.json');
+
+    if (this.processedFiles.has(name)) {
+      return;
+    }
+
+    const artifact = await this.readArtifactFile(filePath);
+
+    // Generate and write .js file
+    const jsContent = this.generateJavaScriptContent(name, artifact);
+    await fs.writeFile(
+      join(ROOT_OUTPUT_DIR, 'artifacts', `${name}.js`),
+      jsContent,
+    );
+
+    // Generate and write .d.ts file
+    const dtsContent = this.generateDeclarationContent(name);
+    await fs.writeFile(
+      join(ROOT_OUTPUT_DIR, 'artifacts', `${name}.d.ts`),
+      dtsContent,
+    );
+
+    this.processedFiles.add(name);
+  }
+
+  async generate() {
+    try {
+      await this.createOutputDirectory();
+
+      const artifactPaths = this.getArtifactPaths();
+
+      for (const filePath of artifactPaths) {
+        await this.processArtifact(filePath);
+      }
+
+      const processedNames = Array.from(this.processedFiles);
+
+      // Generate and write index files
+      const { jsContent, dtsContent } =
+        this.generateIndexContents(processedNames);
+
+      await fs.writeFile(join(ROOT_OUTPUT_DIR, 'artifacts.js'), jsContent);
+      await fs.writeFile(join(ROOT_OUTPUT_DIR, 'artifacts.d.ts'), dtsContent);
+
+      console.log(
+        `Successfully processed ${processedNames.length} zksync artifacts`,
+      );
+    } catch (error) {
+      console.error('Error processing zksync artifacts:', error);
+      throw error;
+    }
+  }
+}
+
+const generator = new ArtifactGenerator();
+generator.generate().catch(console.error);

solidity/hardhat.config.cts

@@ -22,7 +22,7 @@ module.exports = {
     currency: 'USD',
   },
   typechain: {
-    outDir: './types',
+    outDir: './core-utils/typechain',
     target: 'ethers-v5',
     alwaysGenerateOverloads: true,
     node16Modules: true,