Welcome to our Docs - All information you need about zkSync and ZK Stack
English

Compiler Toolchain Overview

Compiler Toolchain Overview

This section introduces the zkEVM LLVM-based compiler toolchain for smart contract languages with Ethereum Virtual Machine (EVM) support. The toolchain works on top of existing compilers and requires their output, which typically includes intermediate representations (IRs), abstract syntax trees (ASTs), and auxiliary contract metadata and documentation.

Info

At the time of writing, we support Solidity and Vyper.

The toolchain consists of the following:

  1. High-level source code compilers: solc and vyper.
  2. IR compilers, front ends to LLVM: zksolc and zkvyper.
  3. The LLVM framework with a zkEVM back end which emits zkEVM text assembly.
  4. The assembler which produces the zkEVM bytecode from text assembly.
  5. Hardhat plugins which set up the environment.

Compiler Toolchain Visualization

High-level Source Code Compilers

High-level source code is processed by third-party compilers. These compilers do the following:

  1. Process and validate the high-level source code.
  2. Translate the source code into IR and metadata.
  3. Pass the IR and metadata to our IR compilers via the standard I/O streams.

We are using two high-level source code compilers at the time of writing:

Security and best practices

Follow the security considerations and best practices to build smart contracts on zkSync Era.

IR Compilers

Our toolchain includes LLVM front ends, written in Rust, that process the output of high-level source code compilers:

These IR compilers perform the following steps:

  1. Receive the input, which is usually standard or combined JSON passed by the Hardhat plugin via standard input.
  2. Save the relevant data, modify the input with zkEVM settings, and pass it to the underlying high-level source code compiler which is called as a child process.
  3. Receive the IR and metadata from the underlying compiler.
  4. Translate the IR into LLVM IR, resolving dependencies with the help of metadata.
  5. Optimize the LLVM IR with the powerful LLVM framework optimizer and emit zkEVM text assembly.
  6. Print the output matching the format of the input method the IR compiler is called with.

Our IR compilers leverage I/O mechanisms which already exist in the high-level source code compilers. They may modify the input and output to some extent, add data for features unique to zkEVM, and remove unsupported feature artifacts.

Assembler

The assembleropen in new window, which is written in Rust, compiles zkEVM assembly to zkEVM bytecode. This tool is not a part of our LLVM back end as it uses several cryptographic libraries which are easier to maintain outside of the framework.

Hardhat Plugins

We recommend using our IR compilers via their corresponding Hardhat plugins. Add these plugins to the Hardhat's config file to compile new projects or migrate existing ones to zkSync Era. For a lower-level approach, download our compiler binaries via the links above and use their CLI interfaces.

Installing and configuring plugins

Add the plugins below to the Hardhat's config file to compile new projects or migrate existing ones to zkSync Era. For a lower-level approach, download our compiler binaries links above and use their CLI interfaces.