Axiom-logo

Axiom

Axiom is the first ZK coprocessor scaling data-rich applications on Ethereum. Axiom provides smart contracts trustless access to all on-chain historic data and arbitrary expressive compute over it. Queries into Axiom are trustlessly fulfilled with ZK-verified results on-chain.

ETH
Infrastructure
Solidity
Rust
Maximum Bounty
$50,000
Live Since
24 July 2023
Last Updated
09 November 2024
  • PoC required

  • KYC required

Select the category you'd like to explore

Assets in Scope

Target
Type
Smart Contract - AxiomV2Query Impl
Added on
13 February 2024
Target
Type
Smart Contract - AxiomV2QueryVerifier
Added on
13 February 2024
Target
Type
Smart Contract - AxiomV2HeaderVerifier
Added on
13 February 2024
Target
Primacy Of Impact
Type
Smart Contract
Added on
5 October 2023
Target
Type
Smart Contract - AxiomV2Core Proxy
Added on
24 July 2023
Target
Type
Smart Contract - AxiomV2Core Impl
Added on
24 July 2023
Target
Type
Smart Contract - AxiomV2CoreVerifier
Added on
24 July 2023
Target
Type
Smart Contract - AxiomV2CoreHistoricalVerifier
Added on
24 July 2023
Target
Type
Smart Contract - AxiomV2Query Proxy
Added on
24 July 2023

Impacts in Scope

Severity
Critical
Title

Manipulation of governance voting result deviating from voted outcome and resulting in a direct change from intended effect of original results

Severity
Critical
Title

Direct theft of any user funds, whether at-rest or in-motion, other than unclaimed yield

Severity
Critical
Title

Direct theft of any user NFTs, whether at-rest or in-motion, other than unclaimed royalties

Severity
Critical
Title

Permanent freezing of funds

Severity
Critical
Title

Permanent freezing of NFTs

Severity
Critical
Title

Protocol insolvency

Severity
Critical
Title

Caching of incorrect historic block hash in AxiomV1

Severity
High
Title

Theft of unclaimed yield

Severity
High
Title

Theft of unclaimed royalties

Severity
High
Title

Permanent freezing of unclaimed yield

Severity
High
Title

Permanent freezing of unclaimed royalties

Severity
High
Title

Temporary freezing of funds

Out of scope

Default Out of Scope and rules

Smart Contract specific

  • Incorrect data supplied by third party oracles
    • Not to exclude oracle manipulation/flash loan attacks
  • Impacts requiring basic economic and governance attacks (e.g. 51% attack)
  • Lack of liquidity impacts
  • Impacts from Sybil attacks
  • Impacts involving centralization risks

All categories

  • Impacts requiring attacks that the reporter has already exploited themselves, leading to damage
  • Impacts caused by attacks requiring access to leaked keys/credentials
  • Impacts caused by attacks requiring access to privileged addresses (including, but not limited to: governance and strategist contracts) without additional modifications to the privileges attributed
  • Impacts relying on attacks involving the depegging of an external stablecoin where the attacker does not directly cause the depegging due to a bug in code
  • Mentions of secrets, access tokens, API keys, private keys, etc. in Github will be considered out of scope without proof that they are in-use in production
  • Best practice recommendations
  • Feature requests
  • Impacts on test files and configuration files unless stated otherwise in the bug bounty program
  • Impacts requiring phishing or other social engineering attacks against project's employees and/or customers
Severity
Min. - Max.
Critical
$25k -$50k
High
$25k
Medium
$5k
Total Assets in Scope
9
Total Impacts in Scope
16