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 9, 2025

    Showing 4 of 4

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

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

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

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

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

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

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

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