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

Codebase

Title
Axiom Codebase
Description
Program Codebase
Link
Title
Axiom Codebase
Description
Program Codebase
Link
Title
Axiom Codebase
Description
Program Codebase
Link
Title
Axiom Codebase
Description
Program Codebase
Link

Documentation

Title
Axiom Documentation
Description
Program Documentation
Link
Go to Audits & Known Issues

Documentation for the table assets can be found at https://docs.axiom.xyz/. The deployed assets can be found at: 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