# ZKsync Lite

Markdown version of https://l2beat.com/zk-catalog/zksyncprover

## Summary

- Creator: Matter Labs
- Total Value Secured: $28.25 M (-0.14% compared to seven days ago)
- Trusted setups for Zksync (Plonk):
  - Aztec Ignition, risk green (lowest risk) per the [Trusted Setups Risk Framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381): Aztec Ignition is a trusted setup ceremony that was run by Aztec for KZG commitment over BN254 curve in 2019. It included 176 participants and was publicly open for participation.
  - Used in: [ApeX Omni](https://l2beat.com/layer2s/projects/apex-omni)
  - Verifiers: 4 not verified
- zkVM: Zksync (Plonk), BN254 (curve), App-specific circuits (Other)

### About

A Plonk proving system designed by Matter Labs to prove custom predefined state transitions of ZKsync Lite.

### Links

- Website: https://lite.zksync.io/
- Docs: https://github.com/matter-labs/zksync/tree/master/docs, https://docs.lite.zksync.io/userdocs/
- Repository: https://github.com/matter-labs/zksync/tree/master

## Value Secured

The interactive TVS chart is shown on [the HTML page](https://l2beat.com/zk-catalog/zksyncprover#tvs).

## Proof System

### Proof system

ZKSync Lite prover is a monolithic SNARK proving system that generates validity proofs for the state transition of ZKSync Lite L2. It is a [Plonk system](https://docs.lite.zksync.io/userdocs/security/#primitives) over BN254 curve with [custom circuits](https://github.com/matter-labs/zksync/tree/master/core/lib/circuit/src) designed to prove the specific state transition function of the L2, including deposits and withdrawals, transfers, swaps, NFT operations. The proof system itself is implemented in the [bellman library](https://github.com/matter-labs/bellman), while many base cryptographic primitives are implemented in [franklin library](https://github.com/matter-labs/franklin-crypto/tree/dev).

## Trusted Setups

Risk levels follow the [Trusted Setups Risk Framework](https://forum.l2beat.com/t/the-trusted-setups-framework-for-zk-catalog/381). Yellow (medium risk): all contributions are published and the final output can be verified, the ceremony client is open source, there were at least 30 contributions, participation was open to the public and announced, and participants are publicly identified. Green (lowest risk): everything required for yellow, with at least 150 contributions. Red (highest risk): at least one requirement for yellow is not met. N/A: the proof system needs no trusted setup.

### Aztec Ignition

- Risk: green (lowest risk)
- Proof systems: Zksync (Plonk)

Aztec Ignition is a trusted setup ceremony for KZG commitments over BN254 curve that was run by Aztec for KZG commitment over BN254 curve in 2019.
It included 176 participants and was publicly open for participation.

- Github repo to download and verify the ceremony artifacts: [https://github.com/AztecProtocol/ignition-verification](https://github.com/AztecProtocol/ignition-verification).
- Github repo with instructions for ceremony participants: [https://github.com/AztecProtocol/Setup](https://github.com/AztecProtocol/Setup).
- Ceremony announcement with a call to participate: [https://aztec.network/blog/announcing-ignition](https://aztec.network/blog/announcing-ignition).

## Verifier IDs

List of different onchain verifiers for this proving system. Unique ID distinguishes different deployments of the same verifier from different verifiers (e.g. different versions).

### Plonk: Zksync

Matter Labs Rust implementation of Plonk proving system, originally developed for ZKsync Lite (old ZKsync).

#### ZkLink verifier ApeX Omni

Custom verifier ID: SHA256 hash of the abi packed array of uint256 obtained from flattening VerificationKey structure returned by getVkAggregated1()

- Verifier ID: `0xa43ed825e5cd25608fc1bf63fa12bbf73a05523066b040a90069b2c201e76d1e`
- Verification: not verified
- Used in: [ApeX Omni](https://l2beat.com/layer2s/projects/apex-omni)

**Known deployments**

- [0x235118AfB54B6d6c7b48F1B5434c25CD6Eb6B68F](https://arbiscan.io/address/0x235118AfB54B6d6c7b48F1B5434c25CD6Eb6B68F#code) on Arbitrum One, used in: [ApeX Omni](https://l2beat.com/layer2s/projects/apex-omni)

#### ZKsync Lite verifier 1

Custom verifier ID: SHA256 hash of the abi packed array of uint256 obtained from flattening VerificationKey structure returned by getVkAggregated1()

- Verifier ID: `0xfa15bba967ebf892d9657359fb8ff07aea13e152c0d5160143a494abb4bc9df3`
- Verification: not verified
- Used in: none

**Known deployments**

- [0x57B09100e6160503aBDEBC76012b6c358eA4e462](https://etherscan.io/address/0x57B09100e6160503aBDEBC76012b6c358eA4e462#code) on Ethereum, used in: none

#### ZKsync Lite verifier 4

Custom verifier ID: SHA256 hash of the abi packed array of uint256 obtained from flattening VerificationKey structure returned by getVkAggregated4()

- Verifier ID: `0xdfd9cbc5d113efddf3bfe382bcdd2cd67a9548fb62d758e9b18c8d8821ef1f22`
- Verification: not verified
- Used in: none

**Known deployments**

- [0x57B09100e6160503aBDEBC76012b6c358eA4e462](https://etherscan.io/address/0x57B09100e6160503aBDEBC76012b6c358eA4e462#code) on Ethereum, used in: none

#### ZKsync Lite verifier 8

Custom verifier ID: SHA256 hash of the abi packed array of uint256 obtained from flattening VerificationKey structure returned by getVkAggregated8()

- Verifier ID: `0xdfd12090ec7d5f3cc8c98dcad49e938e9e33f6807b70679c6bdfe61fdf9fd329`
- Verification: not verified
- Used in: none

**Known deployments**

- [0x57B09100e6160503aBDEBC76012b6c358eA4e462](https://etherscan.io/address/0x57B09100e6160503aBDEBC76012b6c358eA4e462#code) on Ethereum, used in: none