Airbender is ZKsync’s next-generation proof system, purpose-built to enable efficient zero-knowledge proofs of RISC-V bytecode execution. Built on highly optimized STARK/FRI implementations, Airbender is designed to support ZKsync’s long-term scaling strategy by being fast, cost-efficient, and adaptable to a wide range of use cases — without compromising security.
PoC Required
KYC required
Select the category you'd like to explore
Assets in Scope
Impacts in Scope
Direct and publicly triggerable loss of funds
Underconstraints in the circuit that make invalid ZKsync OS executions provable
Circuit, node, or program mismatches that make valid ZKsync OS executions unprovable and require verification key regeneration
Undocumented deviation from EVM behavior (not related to gas)
Out of scope
Blockchain/DLT specific
- Incorrect data supplied by third party oracles
- Not to exclude oracle manipulation/flash loan attacks
- Impacts requiring basic economic and governance attacks (e.g. 51% attack)
- Lack of liquidity impacts
- Impacts from Sybil attacks
- Impacts involving centralization risks
All categories
- Impacts requiring attacks that the reporter has already exploited themselves, leading to damage
- Impacts caused by attacks requiring access to leaked keys/credentials
- Impacts caused by attacks requiring access to privileged addresses (including, but not limited to: governance and strategist contracts) without additional modifications to the privileges attributed
- Impacts relying on attacks involving the depegging of an external stablecoin where the attacker does not directly cause the depegging due to a bug in code
- Mentions of secrets, access tokens, API keys, private keys, etc. in Github will be considered out of scope without proof that they are in-use in production
- Best practice recommendations
- Feature requests
- Impacts on test files and configuration files unless stated otherwise in the bug bounty program
- Impacts requiring phishing or other social engineering attacks against project's employees and/or customers


