Discover matter-labs/vm2 Open Source project

Smart Contract Submodule For zkSync Era

521

era-contracts

Introduction to layer two and zkSync

471

l2-intro-pre-ethdenver

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

356

era-test-node

The Zinc language public repository

311

zinc

Boojum, the scariest SNARK implementation.

310

era-boojum

Fork of Foundry tailored for zkSync environment

299

foundry-zksync

hardhat-zksync

era-sync_vm

Circuit Implementation of zkVM for zkSync Era

Implementation of the system contracts

275

era-system-contracts

CLI tool that simplifies ZKsync development

202

zksync-cli

[DEPRECATED ]Full examples for tutorials in the zkSync Era documentation. Visit: https://github.com/matter-labs/tutorials

159

era-tutorial-examples

zkCheckout — trustable permissionless DeFi payment gateway. Fast & cheap transfers / simple & quick withdrawal

130

zksync-dapp-checkout

zkSync Era Block Explorer

124

block-explorer

Ready to use paymaster contracts for zkSync Era

121

paymaster-examples

Out-of-circuit zkEVM implementation

105

era-zk_evm

Open source implementation of zkSTARKs in pure Rust

hodor

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

era-bellman-cuda

Cuda

eip1962

EIP1962 implementation effort

franklin-crypto

zkSync 2.0 setup for local development

local-setup

Shell

zksync-hardhat-template

[DEPRECATED] Template project for zksync-hardhat

v2-testnet-contracts

Solidity compiler for ZKsync

era-compiler-solidity

Compare in-circuit and out-of-circuit VMs

era-zkevm_test_harness

era-zkevm_circuits

Consensus layer implementation for zkSync Era

era-consensus

Releases of the Solidity compiler for ZKsync

zksolc-bin

zksync-withdrawal-finalizer

zkSync 2.0 Withdrawal Finalizer

OS for next iteration of the world computer

zk_os

PayNow - Create payment links, get paid in tokens

zksync-link

Svelte

tutorials

Rescue and Poseidon hash function implementations

rescue-poseidon

The Curve Stableswap smart contract implementation in Zinc v0.2.2.

curve-zinc

Solidity verifier for Plonk

solidity_plonk_verifier

Kate commitment based PLONK recursive aggregation circuit

recursive_aggregation_circuit

Definitions of zkEVM opcodes (primary dependency for all other repos)

era-zkevm_opcode_defs

Vyper compiler for ZKsync

era-compiler-vyper

Simple Schnorr Multi-Signatures

schnorr-musig

Contract Templates for zkSync: solidity, hardhat, vyper

zkSync-account-abstraction-template

zksync-contract-templates

A library implementing GPU-accelerated zkSync prover.

era-shivini

A full example for the tutorial on custom AA

custom-aa-tutorial

Releases of the Vyper compiler for ZKsync

zkvyper-bin

era-compiler-llvm

ZKsync fork of the LLVM framework

C++

cross-chain-tutorial

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

era-boojum-cuda

Specialized GPU Prover for zkSync Era

era-heavy-ops-service

The zkEVM Solidity compiler.

compiler-solidity

A list of all the projects submitted in all zksync hackathons.

hackathon-winner-projects

era-boojum-validator-cli

zksync-web-landing

zkSync.io landing page

CSS

risc_v_simulator

Adapter between zk_evm and era-compiler-tester

era-zkevm_tester

Full example for the custom paymaster tutorial in the documentation

custom-paymaster-tutorial

Submission for https://www.zprize.io/prizes/accelerating-msm-operations-on-gpu-fpga

z-prize-msm-gpu

Cuda

era-compiler-llvm-context

Shared front-end code of the ZKsync compilers

Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations on GPU/FPGA

z-prize-msm-gpu-combined

Cuda

era-compiler-tester

Integration testing framework for ZKsync compilers

Collection of tests for ZKsync compilers

era-compiler-tests

The zkEVM fork of the LLVM framework

eravm-spec

Coq

compiler-llvm

era-revm

revm (Rust Ethereum VM) translation for Era / zkEVM

ZKsync fork of the original Solidity compiler

era-solidity

C++

era-compiler-llvm-builder

ZKsync LLVM framework builder

Information about MatterLabs bounty program for ETH Lisbon 2022 hackathon

ETHLisbon-2022-hackathon

A zkSync Hardhat project configured with multiple plugins to improve the developer experience

era-hardhat-with-plugins

era-zkEVM-assembly

The zkEVM assembly tools

Information about the different packages and SDKs by MatterLabs to interact with zkSync Era

zksync-packages-info

zkSync Frontend Team workflow configuration

.github

zksync-v2-issues

Report issues encountered when using the zkSync 2.0 testnet.

proof_system_info_v1.0

Information about proof system used in zkSync v1.0

aa-signature-checker

era-zk_evm_abstractions

Tools to define and export metrics in Rust libraries and apps

vise

Frontend Templates for zkSync: vue, react, next, wagmi

zksync-frontend-templates

Introduction to layer 2 protocols and smart contract examples on zkSync for ETH Denver

l2-intro-ethdenver

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

vault-auth-tee

nixsgx

Reproducible Nix packages for TEEs

Nix

eip1962_specs

Specification documents for EIP1962

compiler-infra

Docker images with build tools for compiler repos

Dockerfile

demo-circuit

zkSync Block Explorer module for zkcli

zkcli-block-explorer

[DEPRECATED] Template project for zksync-cli. Includes a Vyper smart contract, tests and script to deploy to zkSync Era

zksync-hardhat-vyper-template

The compiler tests collection

compiler-tests

Template for a fungible token project on zkSync Era

zksync-hardhat-ft-template

Deploy a simplified oracle, track gas usage.

zksync-dapp-forced-exit

CSS

simple-oracle-benchmarking

gated-nft-tutorial

Key Value store in a TEE with Remote Attestation for Authentication

teepot

Ansible role for zkSync Era External Node

ansible-en-role

Jinja

l2-intro-demo

Introduction to layer 2 protocols and smart contract examples on zkSync

multisig

JavaScript

gated-nft-tutorial-starter

100

greeter-tutorial-starter