O que é Axiom? Solução de Coprocessor ZK financiada pela Paradigm

À medida que as necessidades de dados on-chain aumentam, a Axiom surge como um protocolo de coprocessador ZK projetado especificamente, capacitando contratos inteligentes a consultar e calcular sobre o estado histórico completo da Ethereum com provas de conhecimento zero. Apoiada por uma Série A de 20 milhões de dólares da Paradigm e outros principais investidores, a Axiom promete desbloquear novos casos de uso on-chain—variando de análises DeFi avançadas à lógica de governança complexa—sem as suposições de confiança ou sobrecarga de custos dos serviços off-chain. Como criador de conteúdo na Gate, aqui está sua introdução abrangente à Axiom: o que é, como funciona, por que seu coprocessador ZK é importante e quem está por trás do projeto.

O que é Axiom?

Axiom é um protocolo sem permissões que funciona como um coprocessador ZK para Ethereum. Em vez de depender de indexadores centralizados ou oráculos externos, os desenvolvedores constroem circuitos Axiom—programas personalizados de conhecimento zero—que especificam exatamente quais dados e cálculos on-chain são necessários. Quando um contrato inteligente envia uma consulta on-chain, Axiom executa o circuito contra o estado arquivado do Ethereum, gera uma prova ZK sucinta de execução correta e retorna o resultado verificado ao contrato. Esta abordagem permite que equipes de dApp acessem tudo, desde cabeçalhos de blocos históricos até recibos de transações, a uma fração do custo de gás e sem confiar em provedores de dados de terceiros.

Como Axiom Funciona

Por trás, Axiom opera em três estágios:

1. Submissão
Os desenvolvedores escrevem um circuito Axiom usando o SDK Type_script_ da Axiom, definindo os dados on-chain e a lógica necessária. O circuito é implantado no contrato Query da Axiom, e os usuários o invocam enviando uma transação com os parâmetros da consulta.

2. Cumprimento
Os nós Axiom recuperam os dados históricos solicitados—cabeçalhos de bloco, Ethereum entradas do trie de estado e recibos de transações—de nós de arquivo. Eles computam o resultado fora da cadeia e geram uma prova ZK que atesta a correção tanto da recuperação de dados quanto da computação.

3. Verificação & Callback
Uma vez que a prova é transmitida na cadeia, o contrato inteligente Axiom verifica-a em uma única execução na cadeia. Se válida, Axiom chama de volta o contrato inteligente original com o resultado computado, permitindo acesso sem confiança e eficiente em termos de gás a profundas percepções na cadeia.

Este modelo garante que cada resultado possui as garantias criptográficas do Ethereum, ao mesmo tempo que reduz drasticamente os requisitos de computação e armazenamento em cadeia.

Benefícios do Coprocessador ZK da Axiom

O design da Axiom traz várias vantagens em relação às soluções tradicionais de indexação de dados:

• Acesso Histórico Completo: Consulte o estado de qualquer bloco ou histórico de transações sem precisar executar o seu próprio nó de arquivo.
• Integridade de Dados Zero-Confiança: Provas ZK eliminam a dependência de oráculos centralizados—os resultados são verificáveis na cadeia.
• Eficiência de Gás: Ao deslocar computações pesadas e a busca de dados para fora da cadeia, Axiom reduz os custos de gás para consultas complexas em até 90%.
• Integração de Contratos Inteligentes Sem Costura: Os contratos interagem com a Axiom através de uma API de Consulta simples, exigindo mudanças mínimas de código.
• Design Componível: Múltiplos circuitos podem ser combinados para construir aplicações on-chain mais ricas, desde ferramentas de auditoria automatizadas até estratégias DeFi avançadas.

A equipe de pesquisa da Gate aproveita essas capacidades para prototipar novas dApps de análises DeFi, e estamos atentos a quaisquer eventos de airdrop da Axiom para recompensar os primeiros membros da comunidade.

Equipa e Investidores

1. Equipe Central
A Axiom foi fundada por Jonathan Wang e Yi Sun, ambos ex-acadêmicos com profunda experiência em provas de conhecimento nulo e sistemas distribuídos. Jonathan, com um doutorado em ciência da computação pelo MIT, foca no design de protocolos e criptografia. Yi, com um histórico de ensino em Chicago e Cambridge, lidera a experiência do desenvolvedor e a arquitetura de SDK.

2. Investidores e Financiamento
A rodada de $20 milhões da Série A do projeto foi liderada pela Paradigm, com participação da Standard Crypto, Polychain e vários investidores-anjo. Este capital acelerará o lançamento do mainnet da Axiom, expandirá a rede de validadores e financiará subsídios para o ecossistema para integrações de coprocessadores ZK.

Projetos Similares

Enquanto a Axiom se especializa em coprocessamento ZK em cadeia, existem algumas soluções adjacentes:

• Brevis: Foca na computação off-chain alimentada por ZK para dados do Ethereum, com uma arquitetura de provador proprietária.
• Bonsai: Oferece provas baseadas em zkVM para computações tanto on-chain como off-chain, desenvolvidas pela Risk Zero.

Cada projeto visa diferentes compromissos no design do sistema de prova, mas a integração estreita da Axiom com o estado arquivado do Ethereum e o SDK amigável para desenvolvedores a distinguem.

A Axiom representa um grande avanço na disponibilidade de dados descentralizados e na computação. À medida que a Gate continua a monitorar a inovação ZK, traremos tutoriais sobre como construir com circuitos Axiom, atualizações sobre quaisquer anúncios de airdrop da Axiom e uma análise mais profunda de casos de uso que poderiam redefinir aplicações em cadeia. Fique atento ao nosso blog para as últimas novidades sobre a Axiom e outros protocolos de blockchain de ponta.