ADI Foundation zkVM Verification

{
  "assetTypes": [
    "blockchain",
    "smart contract",
    "other"
  ],
  "stage1Hash": "dba8ff171522032446cb65f2141d0b8a42c4b3421a1553b1e3d049aac8aba53e",
  "description": "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.\r\nThe 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.",
  "projectTypes": [
    "Infrastructure",
    "L1/L2"
  ]
}