Repositories list

• eravm-spec

  Public
  EraVM specification.

  team-compiler

  Coq

  •

  Apache License 2.0

  •15•17•3•2•Updated Aug 8, 2025Aug 8, 2025

• zksync-withdrawal-finalizer

  Public
  zkSync 2.0 Withdrawal Finalizer

  cryptoethereum

  Rust

  •

  Apache License 2.0

  •48•58•5•32•Updated Aug 8, 2025Aug 8, 2025

• zksync-era

  Public
  zkSync era

  Rust

  •

  Apache License 2.0

  •2.1k•3.2k•114•157•Updated Aug 8, 2025Aug 8, 2025

• foundry-zksync-book

  Public
  A book on all things Foundry, available at https://foundry-book.zksync.io/.

  Rust

  •

  Apache License 2.0

  •799•4•8•3•Updated Aug 7, 2025Aug 7, 2025

• zksync-docs

  Public
  Developer documentation site for zkSync community.

  documentationdeveloperzk+ 1zksync

  TypeScript

  •

  Apache License 2.0

  •69•12•14•14•Updated Aug 7, 2025Aug 7, 2025

• era-bellman-cuda

  Public
  A library implementing GPU-accelerated cryptographic functionality for the zkSync prover

  Cuda

  •

  Apache License 2.0

  •26•75•1•5•Updated Aug 7, 2025Aug 7, 2025

• zkcli-portal

  Public
  zkSync Portal module for zkcli

  TypeScript

  •

  MIT License

  •5•6•1•10•Updated Aug 7, 2025Aug 7, 2025

• era-compiler-llvm

  Public
  ZKsync fork of the LLVM framework.

  team-compiler

  LLVM

  •

  Other

  •23•35•58•12•Updated Aug 6, 2025Aug 6, 2025

• foundry-zksync

  Public
  Fork of Foundry tailored for zkSync environment

  Rust

  •

  Apache License 2.0

  •153•347•56•5•Updated Aug 6, 2025Aug 6, 2025

• hardhat-zksync

  Public
  TypeScript

  •

  Apache License 2.0

  •222•279•15•6•Updated Aug 6, 2025Aug 6, 2025

• vault-auth-tee

  Public
  Hashicorp Vault plugin for authenticating Trusted Execution Environments (TEE) like SGX enclaves.

  Go

  •

  Mozilla Public License 2.0

  •9•15•2•7•Updated Aug 6, 2025Aug 6, 2025

• zksync-hardhat-ft-template

  Public
  Template for a fungible token project on zkSync Era

  TypeScript

  •

  MIT License

  •16•9•1•11•Updated Aug 5, 2025Aug 5, 2025

• anvil-zksync

  Public
  In-memory node that can be used for integration testing and debugging.

  testingdebugginganvil-zksync

  Rust

  •

  Apache License 2.0

  •85•326•40•6•Updated Aug 5, 2025Aug 5, 2025

• era-contracts

  Public
  Smart Contract Submodule For zkSync Era

  Solidity

  •

  MIT License

  •379•514•20•171•Updated Aug 5, 2025Aug 5, 2025

• era-compiler-tester

  Public
  Integration testing framework for ZKsync compilers.

  team-compiler

  Rust

  •

  Apache License 2.0

  •16•21•0•1•Updated Aug 5, 2025Aug 5, 2025

• era-solidity

  Public
  ZKsync fork of the original Solidity compiler.

  team-compiler

  C++

  •

  GNU General Public License v3.0

  •24•18•24•1•Updated Aug 5, 2025Aug 5, 2025

• teepot

  Public
  Nix, crates and tools for TEE handling

  Rust

  •

  Apache License 2.0

  •12•17•2•11•Updated Aug 4, 2025Aug 4, 2025

• block-explorer

  Public
  zkSync Era Block Explorer

  TypeScript

  •

  Apache License 2.0

  •127•129•45•23•Updated Aug 4, 2025Aug 4, 2025

• nixsgx

  Public
  Reproducible Nix packages for TEEs

  Nix

  •

  MIT License

  •6•13•2•3•Updated Aug 4, 2025Aug 4, 2025

• .github

  Public
  zkSync Frontend Team workflow configuration

  organizationteam-frontendgithub-config+ 1zksync

  MIT License

  •20•14•0•9•Updated Aug 4, 2025Aug 4, 2025

• zksync-os

  Public
  Generalized RISC-V based state transition function for the ZKsync protocol

  zkzksync

  Rust

  •

  Apache License 2.0

  •3•19•5•20•Updated Aug 4, 2025Aug 4, 2025

• zksync-airbender

  Public
  RISC-V prover system for ZKsync OS

  risc-vzkzksync

  Rust

  •

  Apache License 2.0

  •9•80•0•9•Updated Aug 1, 2025Aug 1, 2025

• zkos-wrapper

  Public
  Library for verifying zkos with boojum

  Rust

  •

  MIT License

  •1•0•0•2•Updated Aug 1, 2025Aug 1, 2025

• zksync-sso-clave-contracts

  Public
  ZKsync SSO Contracts based on Clave

  TypeScript

  •

  GNU General Public License v3.0

  •12•11•11•2•Updated Aug 1, 2025Aug 1, 2025

• solx

  Public
  LLVM-based Solidity compiler.

  team-compiler

  Rust

  •

  Other

  •11•130•1•1•Updated Aug 1, 2025Aug 1, 2025

• protocol-upgrade-verification-tool

  Public
  Protocol Upgrade Verification Tool

  Rust

  •

  Apache License 2.0

  •1•1•0•6•Updated Aug 1, 2025Aug 1, 2025

• era-compiler-ci

  Public
  ZKsync compilers CI actions, workflows and utils.

  team-compiler

  Python

  •

  Apache License 2.0

  •3•6•0•0•Updated Aug 1, 2025Aug 1, 2025

• era-evm-tester

  Public
  Testing framework for EVM implementations.

  Rust

  •

  Apache License 2.0

  •1•3•0•3•Updated Aug 1, 2025Aug 1, 2025

• zksync-sso

  Public
  ZKsync SSO SDK

  TypeScript

  •

  Apache License 2.0

  •16•14•11•5•Updated Aug 1, 2025Aug 1, 2025

• compiler-explorer

  Public
  ZKsync fork of Compiler Explorer.

  team-compiler

  TypeScript

  •

  BSD 2-Clause "Simplified" License

  •1.9k•4•0•1•Updated Aug 1, 2025Aug 1, 2025