ADI Foundation

Member since: October 6, 2025

Submissions 201

Programs 3

Dual Defense

Triaged by HackenProof

Audit

ENDED

ADI Predictstreet SC DualDefense Audit

Official Prediction Market Partner of the FIFA World Cup 2026™

Start date: 22 May 2026End date: 12 Jun 2026Submissions: 27

up to $10,000

PREDICTION MARKET

SMART CONTRACT

SOLIDITY

Triaged by HackenProof

LIVE

ADI Foundation zkVM Verification

The ADI Foundation is an Abu Dhabi-based organization building sovereign-grade blockchain infrastructure to help modernize public systems across emerging markets. Founded by Sirius International, the digital arm of IHC, ADI is focused on powering national-scale services that work at the policy level. The program rewards for bugs that break the soundness of the Airbender prover and its on-chain verifier(s) used by ADI’s zkEVM stack—i.e., any issue that makes an invalid state transition (or forged/incorrect proof) be accepted as valid, either in native (Rust) verification or on L1 smart contracts.

Started date: 09 Dec 2025Last updated: 13 May 2026Submissions: 81

up to $10,000 Paid: 0

INFRASTRUCTURE

L1/L2

BLOCKCHAIN

SMART CONTRACT

OTHER

Triaged by HackenProof

LIVE

ADI Foundation Smart Contracts

The ADI Foundation is an Abu Dhabi-based organization building sovereign-grade blockchain infrastructure to help modernize public systems across emerging markets. Founded by Sirius International, the digital arm of IHC, ADI is focused on powering national-scale services that work at the policy level. The program covers all smart-contract logic outside the proof verification procedures themselves (bridging, finalization, governance, upgrades, message passing, accounting, etc.).

Started date: 09 Dec 2025Last updated: 13 May 2026Submissions: 93

up to $10,000 Paid: 2000

INFRASTRUCTURE

L1/L2

SMART CONTRACT

SOLIDITY