Delegated circuit for Big U256 Integer operations

Defines instruction execution state changes

Optimization framework for RISC-V circuit

Full RV32I+M ISA machine configuration with trusted code model (no exception handling)

Full RV32I+M ISA machine configuration with delegation circuit support (CSR-triggered precompiles like BigInt and BLAKE2)

Full RV32I+M ISA machine configuration with delegation circuit support but without signed multiplication/division

Minimal RV32I base ISA machine configuration (without M extension: no MUL/DIV/REM) using trusted code model and no exception handling, for simpler/smaller circuits.

Minimal RV32I base ISA machine configuration (without M extension) with delegation circuit support for CSR-triggered precompiles

Writeback phase of the state transition circuit

Module coordinator that exports all machine configurations

Evaluate the constraint quotient on the coset domain. Contains a large set of hardcoded constraints

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.

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)

Codebase

Documentation

For critical Blockchain/DLT bugs, the reward is dependent on the ratio between the funds at risk, which includes all affected projects on top of the respective blockchain/DLT, and the market cap according to the average between CoinMarketCap.com and CoinGecko.com, calculated at the time the bug report is submitted. 

__Reward Payment Terms__

Payouts are handled by the ZKsync OS team directly and are denominated in **USD**. However, payments are done in **USDC** on **ZKsync Era**.

The calculation of the net amount rewarded is based on the average price between CoinMarketCap.com and CoinGecko.com at the time the bug report was submitted. No adjustments are made based on liquidity availability.

Title	Description	Link
Documentation	Documentation and further resources
Documentation	Documentation and further resources