bbradar.io
    Back to Programs
    ADI Foundation zkVM Verification logo

    ADI Foundation zkVM Verification

    Visit Program
    Hackenproof
    $200 - $10,000

    Tags

    blockchain-dlt
    other
    smart contract

    Program Targets

    Last updated Dec 26, 2025

    Showing 4 of 4

    https://github.com/ADI-Foundation-Labs/ADI-Stack-Airbender-Prover/tree/4f0cf4cd1a0d7cf48d366135e53da7960b936932

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

    https://github.com/ADI-Foundation-Labs/ADI-Stack-Airbender-System/tree/357b836552d72550b20a341e1b45b730bef87806

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

    https://github.com/ADI-Foundation-Labs/ADI-Stack-Contracts/tree/04346d566e7625ae42ec74861da409329f9f4a3d/l1-contracts/contracts/state-transition

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

    https://github.com/ADI-Foundation-Labs/ADI-Stack-Protocol/tree/767759541cd018e4271f9774f0d760ce727c905d

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