All code for Axiom V2 can be found at:
[https://github.com/axiom-crypto/axiom-v2-contracts/releases/tag/v1.0.0](https://github.com/axiom-crypto/axiom-v2-contracts/releases/tag/v1.0.0)
[https://github.com/axiom-crypto/halo2-lib/releases/tag/v0.4.1](https://github.com/axiom-crypto/halo2-lib/releases/tag/v0.4.1)
[https://github.com/axiom-crypto/snark-verifier/releases/tag/v0.1.7](https://github.com/axiom-crypto/snark-verifier/releases/tag/v0.1.7)
[https://github.com/axiom-crypto/axiom-eth/releases/tag/v2.0.14](https://github.com/axiom-crypto/axiom-eth/releases/tag/v2.0.14)

Documentation for the table assets can be found at [https://docs.axiom.xyz/](https://docs.axiom.xyz/). The deployed assets can be found at: [https://docs.axiom.xyz/docs/transparency-and-security/security](https://docs.axiom.xyz/docs/transparency-and-security/security).

The ZK verifiers AxiomV2CoreVerifier, AxiomV2CoreHistoricalVerifier, and AxiomV2QueryVerifier are generated via the procedure described here: [https://docs.axiom.xyz/docs/transparency-and-security/on-chain-zk-verifiers](https://docs.axiom.xyz/docs/transparency-and-security/on-chain-zk-verifiers)


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. 

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

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

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

Permanent freezing of funds

Permanent freezing of NFTs

Protocol insolvency

Caching of incorrect historic block hash in AxiomV1

Theft of unclaimed yield

Theft of unclaimed royalties

Permanent freezing of unclaimed yield

Permanent freezing of unclaimed royalties

Temporary freezing of funds

Soundness error in ZK circuits with parameters deployed on-chain.

Smart contract unable to operate due to lack of token funds

Theft of gas

Unbounded gas consumption

Rewards are distributed according to the impact the vulnerability could otherwise cause based on the Impacts in Scope table further below. 

__Reward Calculation for Critical Level Reports__

For critical Smart Contract bugs, the reward amount is 10% of the funds directly affected up to a maximum of USD 50 000. The calculation of the amount of funds at risk is based on the time and date the bug report is submitted. However, a minimum reward of USD 25 000 is to be rewarded in order to incentivize security researchers against withholding a bug report. 

__Repeatable Attack Limitations__

In cases of repeatable attacks for smart contract bugs, only the first attack will be counted, regardless of whether the smart contract is upgradable, pausable, or killable.

__Restrictions on Security Researcher Eligibility__  

Security researchers who fall under any of the following are ineligible for a reward
- Citizens or residents of OFAC-sanctioned countries
- Individuals on an OFAC sanctions list

__Proof of Concept (PoC) Requirements__

A PoC is required for the following severity levels:
- Smart Contract - Critical
- Smart Contract - High
- Smart Contract - Medium
- Smart Contract - Low

All PoCs submitted must comply with the Immunefi-wide [PoC Guidelines and Rules](https://immunefisupport.zendesk.com/hc/en-us/articles/9946217628561-Proof-of-Concept-PoC-Guidelines-and-Rules). Bug report submissions without a PoC when a PoC is required will not be provided with a reward.

__Reward Payment Terms__

Payouts are handled by the Axiom team directly and are denominated in USD. However, payments are done in USDC. 


Axiom

Resources & Documentation