Discover matter-labs/zinc Open Source project

1

awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

5,253

2

zksync

zkSync: trustless scaling and privacy engine for Ethereum

Rust

4,883

3

zksync-era

zkSync era

Rust

3,084

4

zksync-web-era-docs

zkSync Era Documentation

JavaScript

982

5

zksync-lite-docs

zkSync Lite documentation

Shell

773

6

zksync-wallet-vue

zkSync Lite web wallet

Vue

517

7

era-contracts

Smart Contract Submodule For zkSync Era

Solidity

481

8

l2-intro-pre-ethdenver

Introduction to layer two and zkSync

TypeScript

355

9

era-test-node

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

Rust

308

10

era-boojum

Boojum, the scariest SNARK implementation.

Rust

302

11

foundry-zksync

Fork of Foundry tailored for zkSync environment

Rust

295

12

hardhat-zksync

TypeScript

281

13

era-sync_vm

Circuit Implementation of zkVM for zkSync Era

Rust

278

14

era-system-contracts

Implementation of the system contracts

Solidity

201

15

zksync-cli

CLI tool that simplifies ZKsync development

TypeScript

163

16

era-tutorial-examples

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

TypeScript

129

17

zksync-dapp-checkout

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

Vue

124

18

block-explorer

zkSync Era Block Explorer

TypeScript

123

19

franklin-crypto

Rust

115

20

paymaster-examples

Ready to use paymaster contracts for zkSync Era

TypeScript

110

21

era-zk_evm

Out-of-circuit zkEVM implementation

Rust

81

22

hodor

Open source implementation of zkSTARKs in pure Rust

Rust

79

23

era-bellman-cuda

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

Cuda

71

24

eip1962

EIP1962 implementation effort

Rust

65

25

local-setup

zkSync 2.0 setup for local development

Shell

64

26

v2-testnet-contracts

Solidity

63

27

era-compiler-solidity

Solidity compiler for ZKsync

Rust

62

28

zksync-hardhat-template

[DEPRECATED] Template project for zksync-hardhat

TypeScript

62

29

era-consensus

Consensus layer implementation for zkSync Era

Rust

62

30

era-zkevm_circuits

Rust

59

31

era-zkevm_test_harness

Compare in-circuit and out-of-circuit VMs

Rust

59

32

zksolc-bin

Releases of the Solidity compiler for ZKsync

55

33

zksync-withdrawal-finalizer

zkSync 2.0 Withdrawal Finalizer

Rust

54

34

zk_os

OS for next iteration of the world computer

Rust

45

35

tutorials

TypeScript

43

36

rescue-poseidon

Rescue and Poseidon hash function implementations

Rust

42

37

zksync-link

PayNow - Create payment links, get paid in tokens

Svelte

41

38

curve-zinc

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

Rust

40

39

solidity_plonk_verifier

Solidity verifier for Plonk

Solidity

38

40

era-zkevm_opcode_defs

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

Rust

38

41

recursive_aggregation_circuit

Kate commitment based PLONK recursive aggregation circuit

Solidity

38

42

era-compiler-vyper

Vyper compiler for ZKsync

Rust

37

43

zksync-contract-templates

Contract Templates for zkSync: solidity, hardhat, vyper

TypeScript

32

44

era-compiler-llvm

ZKsync fork of the LLVM framework.

C++

31

45

schnorr-musig

Simple Schnorr Multi-Signatures

Rust

28

46

custom-aa-tutorial

A full example for the tutorial on custom AA

Solidity

28

47

zkSync-account-abstraction-template

28

48

era-shivini

A library implementing GPU-accelerated zkSync prover.

Rust

27

49

zkvyper-bin

Releases of the Vyper compiler for ZKsync

27

50

cross-chain-tutorial

TypeScript

27

51

hackathon-winner-projects

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

25

52

era-boojum-cuda

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

Rust

25

53

era-heavy-ops-service

Specialized GPU Prover for zkSync Era

Rust

24

54

vm2

High performance EraVM for zkSync.

Rust

22

55

compiler-solidity

The zkEVM Solidity compiler.

Rust

22

56

era-boojum-validator-cli

Rust

21

57

risc_v_simulator

Rust

20

58

custom-paymaster-tutorial

Full example for the custom paymaster tutorial in the documentation

TypeScript

20

59

zksync-web-landing

zkSync.io landing page

CSS

20

60

era-zkevm_tester

Adapter between zk_evm and era-compiler-tester

Rust

19

61

era-compiler-llvm-context

Shared front-end code of the ZKsync compilers

Rust

19

62

z-prize-msm-gpu

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

Cuda

19

63

era-compiler-tests

Collection of tests for ZKsync compilers

Solidity

17

64

era-compiler-tester

Integration testing framework for ZKsync compilers

Rust

17

65

z-prize-msm-gpu-combined

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

Cuda

15

66

eravm-spec

Coq

15

67

zksync-crypto

Cryptography libraries for ZKsync

Rust

14

68

teepot

Key Value store in a TEE with Remote Attestation for Authentication

Rust

13

69

era-compiler-llvm-builder

ZKsync LLVM framework builder

Rust

12

70

compiler-llvm

The zkEVM fork of the LLVM framework

12

71

zksync-packages-info

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

Vue

12

72

.github

zkSync Frontend Team workflow configuration

12

73

era-solidity

ZKsync fork of the original Solidity compiler

C++

12

74

era-hardhat-with-plugins

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

TypeScript

11

75

era-revm

revm (Rust Ethereum VM) translation for Era / zkEVM

Rust

11

76

zksync-frontend-templates

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

TypeScript

10

77

ETHLisbon-2022-hackathon

Information about MatterLabs bounty program for ETH Lisbon 2022 hackathon

TypeScript

10

78

era-zkEVM-assembly

The zkEVM assembly tools

Rust

10

79

aa-signature-checker

TypeScript

9

80

era-zk_evm_abstractions

Rust

9

81

zksync-v2-issues

Report issues encountered when using the zkSync 2.0 testnet.

9

82

vault-auth-tee

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

Go

9

83

proof_system_info_v1.0

Information about proof system used in zkSync v1.0

8

84

zksync-hardhat-ft-template

Template for a fungible token project on zkSync Era

TypeScript

8

85

vise

Tools to define and export metrics in Rust libraries and apps

Rust

8

86

l2-intro-ethdenver

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

Vue

8

87

nixsgx

Reproducible Nix packages for TEEs

Nix

8

88

eip1962_specs

Specification documents for EIP1962

7

89

compiler-infra

Docker images with build tools for compiler repos.

Dockerfile

7

90

era-compiler-common

Shared constants of the ZKSync compilers

Rust

7

91

demo-circuit

Rust

7

92

zkcli-block-explorer

zkSync Block Explorer module for zkcli

TypeScript

7

93

zksync-hardhat-vyper-template

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

TypeScript

7

94

compiler-tests

The compiler tests collection

Solidity

6

95

ansible-en-role

Ansible role for zkSync Era External Node

Jinja

6

96

zksync-dapp-forced-exit

CSS

6

97

simple-oracle-benchmarking

Deploy a simplified oracle, track gas usage.

TypeScript

6

98

zksync-crypto-gpu

GPU-acceselerated cryptography libraries for ZKsync

Rust

6

99

zksync-docs

Developer documentation site for zkSync community.

Vue

5

100

hyperchain-da

Common clients and contracts for DA solutions for zkSync hyperchains.

Rust

5

matter-labs/zinc

matter-labs

Reviews

Repository Details

The Zinc language

More Repositories