Back to Programs
    ZKsync OS logo

    ZKsync OS

    Visit Program
    Immunefi
    $5,000 - $100,000

    Tags

    blockchain-dlt

    Program Targets

    Last updated Dec 26, 2025

    Showing 80 of 80

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/constraint.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/cs/circuit.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/cs/cs_reference.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/cs/spec_selection.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/cs/utils.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/csr_properties.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/delegation/bigint_with_control/mod.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/delegation/blake2_round_with_extended_control/mod.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/devices/aux_data.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/devices/diffs.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/devices/optimization_context.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/devices/risc_v_types.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/devices/utils.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/decoder/decode_optimized_must_handle_csr.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/instruction_decoding_data/mod.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/full_isa_no_exceptions/basic_state_transition.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/full_isa_no_exceptions/mod.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/full_isa_no_exceptions/optimized_state_transition.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/full_isa_with_delegation_no_exceptions_no_signed_mul_div/mod.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/full_isa_with_delegation_no_exceptions/mod.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/minimal_no_exceptions_with_delegation/mod.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/minimal_no_exceptions/basic_state_transition.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/minimal_state.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/mod.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/state_transition_parts/decode_and_read_operands.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/machine_configurations/state_transition_parts/writeback_no_exceptions.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/add_sub.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/binops.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/common_impls/csr_with_delegation.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/common_impls/csr.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/conditional.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/csr.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/jump.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/load.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/lui_auipc.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/mop.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/mul_div.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/shift.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/machine/ops/store.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/one_row_compiler/compile_layout.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/tables.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/cs/src/types.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/field/src/base.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/field/src/complex.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/field/src/field_like.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/field/src/field.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/field/src/ops.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/field/src/quartic.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/prover/src/prover_stages/stage1.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/prover/src/prover_stages/stage3.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_common/src/fri_folding.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_common/src/lib.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_common/src/proof_flattener.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_common/src/structs.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_generator/src/generator.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_generator/src/inlining_generator/everywhere_except_last_two.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_generator/src/inlining_generator/everywhere_except_last.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_generator/src/inlining_generator/first_or_last_rows.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_generator/src/inlining_generator/memory_accumulators.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_generator/src/inlining_generator/mod.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier_generator/src/inlining_generator/utils.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier/src/concrete/size_constants.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier/src/concrete/skeleton_instance.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier/src/lib.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier/src/skeleton.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-airbender/blob/0a0b78c1f14bd4cf8c3719b7c5c1f074c343690b/verifier/src/utils.rs

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/blob/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/basic_system

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/blob/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/callable_oracles

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/blob/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/crypto

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/basic_bootloader

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/evm_interpreter

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/oracle_provider/

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/proof_running_system

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/storage_models

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/supporting_crates/delegated_u256

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/supporting_crates/modexp

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/supporting_crates/u256

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/system_hooks/

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/zk_ee/

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source

    https://github.com/matter-labs/zksync-os/tree/4af87fdb6d30b8215d4affd81e6e5e9a8dbf8f52/zksync_os/

    Eligible for Bounty
    In scope
    source code
    First seen: Nov 27, 2025Last seen: Dec 26, 2025Scope source