zkSync-logo

zkSync

zkSync Lite is a scaling engine for Ethereum. Its current functionality scope includes low gas transfers of ETH and ERC20 tokens, atomic swaps & limit orders as well as native L2 NFT support.

ETH
zkSync
Blockchain
Infrastructure
L2
Zero-Knowledge Proofs
Rust
Maximum Bounty
$2,300,000
Live Since
15 March 2022
Last Updated
03 December 2024
  • PoC required

  • KYC required

Rewards

zkSync provides rewards in USDC on zksync lite, denominated in USD.

Rewards by Threat Level

Blockchain/DLT
Critical
Flat: $500,000
Primacy of Rules
High
Flat: $10,000
Primacy of Rules
Smart Contract
Critical
Up to: $2,300,000
Primacy of Rules
High
Flat: $50,000
Primacy of Rules
Medium
Flat: $5,000
Primacy of Rules
Low
Flat: $1,000
Primacy of Rules
Critical Reward Calculation

Mainnet assets:

Reward amount is 10% of the funds directly affected up to a maximum of:

$2,300,000
Websites and Applications
Critical
Flat: $25,000
Primacy of Rules

Rewards are distributed according to the impact of the vulnerability based on the Immunefi Vulnerability Severity Classification System V2.2. This is a simplified 5-level scale, with separate scales for websites/apps and smart contracts/blockchains, encompassing everything from consequence of exploitation to privilege required to likelihood of a successful exploit. For the ZK-SNARK Circuits, the classification will be based on the impacts listed on the Impacts in Scope section below

All critical and high severity bug reports must come with a PoC with an end-effect impacting an asset-in-scope in order to be considered for a reward. Explanations and statements are not accepted as PoC and code is required.

Rewards for critical smart contract vulnerabilities are further capped at 10% of economic damage, with the main consideration being the funds affected in addition to PR and brand considerations, at the discretion of the team. However, there is a minimum reward of USD 50 000 for Critical bug reports.

The rewards for the Blockchain/DLT section is only for the ZK-SNARK Circuits assets and not any other blockchain/DLT section.

KYC

zkSync has a Know Your Customer (KYC) requirement for bug bounty payouts. Government identification is required for the KYC process.

Payouts are handled by the zkSync Lite team directly and are denominated in USD. However, payouts are done in USDC via zkSync Lite.

Program Overview

zkSync Lite is a scaling engine for Ethereum. Its current functionality scope includes low gas transfers of ETH and ERC20 tokens, atomic swaps & limit orders as well as native L2 NFT support.

zkSync Lite is built on ZK Rollup architecture. ZK Rollup is an L2 scaling solution in which all funds are held by a smart contract on the mainchain, while computation and storage are performed off-chain. For every Rollup block, a state transition zero-knowledge proof (SNARK) is generated and verified by the mainchain contract. This SNARK includes the proof of the validity of every single transaction in the Rollup block. Additionally, the public data update for every block is published over the mainchain network as cheap calldata.

For more information about zkSync Lite, please visit https://zksync.io/.

This bug bounty program is focused on their smart contracts, ZK-SNARK circuits, web and app and is focused on preventing:

  • Loss of user funds by permanent freezing or direct theft
  • Temporary freezing of funds
  • Smart contract destruction
  • Double spending
  • Ability to execute a transaction with changed signed parameters

KYC required

The submission of KYC information is a requirement for payout processing.

Proof of Concept

Proof of concept is always required for all severities.

Prohibited Activities

Default prohibited activities
  • Any testing on mainnet or public testnet deployed code; all testing should be done on local-forks of either public testnet or mainnet
  • Any testing with pricing oracles or third-party smart contracts
  • Attempting phishing or other social engineering attacks against our employees and/or customers
  • Any testing with third-party systems and applications (e.g. browser extensions) as well as websites (e.g. SSO providers, advertising networks)
  • Any denial of service attacks that are executed against project assets
  • Automated testing of services that generates significant amounts of traffic
  • Public disclosure of an unpatched vulnerability in an embargoed bounty
  • Any other actions prohibited by the Immunefi Rules

Feasibility Limitations

The project may be receiving reports that are valid (the bug and attack vector are real) and cite assets and impacts that are in scope, but there may be obstacles or barriers to executing the attack in the real world. In other words, there is a question about how feasible the attack really is. Conversely, there may also be mitigation measures that projects can take to prevent the impact of the bug, which are not feasible or would require unconventional action and hence, should not be used as reasons for downgrading a bug's severity.

Therefore, Immunefi has developed a set of feasibility limitation standards which by default states what security researchers, as well as projects, can or cannot cite when reviewing a bug report.

Severity
Min. - Max.
Critical
$25k -$2.3M
High
$10k -$50k
Medium
$5k
Low
$1k
Total Assets in Scope
34