Axiom

About Axiom

Provides a zero-knowledge (ZK) coprocessor for Ethereum that enables smart contracts to access and compute over the entire history of the blockchain, including transactions, receipts, and contract storage. This solution reduces on-chain data access costs and ensures trustless verification of computation results through ZK proofs, enabling the development of data-rich, decentralized applications without relying on external oracles.

```xml <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. </problem> <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. </solution> <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 </features> <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. </target_audience> ```

What does Axiom do?

Provides a zero-knowledge (ZK) coprocessor for Ethereum that enables smart contracts to access and compute over the entire history of the blockchain, including transactions, receipts, and contract storage. This solution reduces on-chain data access costs and ensures trustless verification of computation results through ZK proofs, enabling the development of data-rich, decentralized applications without relying on external oracles.

Where is Axiom located?

Axiom is based in San Francisco, United States.

When was Axiom founded?

Axiom was founded in 2022.

How much funding has Axiom raised?

Axiom has raised 38200000.

Location
San Francisco, United States
Founded
2022
Funding
38200000
Employees
18 employees
Major Investors
Standard Crypto, Paradigm

Find Investable Startups and Competitors

Search thousands of startups using natural language

Axiom

⚠️ AI-generated overview based on web search data – may contain errors, please verify information yourself! You can claim this account with your email domain to make edits.

Executive Summary

Provides a zero-knowledge (ZK) coprocessor for Ethereum that enables smart contracts to access and compute over the entire history of the blockchain, including transactions, receipts, and contract storage. This solution reduces on-chain data access costs and ensures trustless verification of computation results through ZK proofs, enabling the development of data-rich, decentralized applications without relying on external oracles.

axiom.xyz300+
cb
Crunchbase
Founded 2022San Francisco, United States

Funding

$

Estimated Funding

$20M+

Major Investors

Standard Crypto, Paradigm

Team (15+)

No team information available.

Company Description

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.

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

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.

Want to add first party data to your startup here or get your entry removed? You can edit it yourself by logging in with your company domain.