Axiom provides the OpenVM and Axiom Proving API to integrate zero-knowledge (ZK) verification into any application. OpenVM allows developers to write programs in Rust and verify proofs on-chain efficiently with custom VM extensions. The Proving API offers high-performance, scalable ZK proof generation infrastructure for production deployment.
Funding
$38.2M raised to dateRaised to date based on public sources. This may differ from the amount the company actually raised and is based only on what is publicly available on the internet.
SCFounders
Product
Problem
Smart contracts on Ethereum have limited access to historical on-chain data, increasing costs and reliance on external oracles for data-rich decentralized applications. This restricts the types of computations and applications that can be built trustlessly on-chain.
Solution
Axiom provides a zero-knowledge (ZK) coprocessor that enables Ethereum smart contracts to trustlessly access and compute over the entire history of the blockchain, including transactions, receipts, and contract storage. By leveraging ZK proofs, Axiom reduces on-chain data access costs and ensures the integrity of computation results without relying on external oracles. Developers can use the Typescript SDK to specify computations over historical Ethereum data and access a library of ZK primitives for arithmetic, logic, and array operations. Axiom verifies query results on-chain with ZK proofs and sends them to smart contract callbacks, enabling the development of data-rich, decentralized applications.
Target Audience
The primary users are Web3 developers building DeFi, NFT, gaming, and other decentralized applications that require access to historical on-chain data for advanced computations and trustless verification.
Features
- ZK-verified access to historical Ethereum data, including block headers, accounts, contract storage, transactions, and receipts
- Typescript SDK for specifying computations over historical data
- Library of ZK primitives for arithmetic, logic, and array operations
- On-chain verification of query results using ZK proofs
- Support for on-chain accountability, dynamic DeFi, custom oracles, and on-chain loyalty/incentives
- Axiom Keystore, a special-purpose ZK rollup to manage signing data for smart accounts across every rollup