Qu'est-ce qu'Axiom ? Solution de coprocesseur ZK financée par Paradigm

Alors que les besoins en données on-chain explosent, Axiom émerge en tant que protocole de coprocesseur ZK conçu spécifiquement, permettant aux contrats intelligents d’interroger et de calculer sur l’état historique complet d’Ethereum avec des preuves à connaissance nulle. Soutenu par une levée de fonds de 20 millions de dollars lors de la Série A de Paradigm et d’autres investisseurs de premier plan, Axiom promet de débloquer de nouveaux cas d’utilisation on-chain — allant de l’analyse DeFi avancée à la logique de gouvernance complexe — sans les hypothèses de confiance ou les coûts supplémentaires des services off-chain. En tant que créateur de contenu chez Gate, voici votre introduction complète à Axiom : ce que c’est, comment cela fonctionne, pourquoi son coprocesseur ZK est important et qui se cache derrière le projet.

Qu’est-ce qu’Axiom ?

Axiom est un protocole sans autorisation qui fonctionne comme un coprocesseur ZK pour Ethereum. Au lieu de s’appuyer sur des indexeurs centralisés ou des oracles externes, les développeurs construisent des circuits Axiom - des programmes zéro-connaissance personnalisés - qui spécifient exactement quelles données et calculs on-chain sont nécessaires. Lorsqu’un contrat intelligent soumet une requête on-chain, Axiom exécute le circuit contre l’état archivé d’Ethereum, génère une preuve ZK succincte de l’exécution correcte et renvoie le résultat vérifié au contrat. Cette approche permet aux équipes de dApp d’accéder à tout, des en-têtes de blocs historiques aux reçus de transaction, à une fraction du coût en gaz et sans avoir à faire confiance aux fournisseurs de données tiers.

Comment Axiom fonctionne

Sous le capot, Axiom fonctionne en trois étapes :

1. Soumission
Les développeurs créent un circuit Axiom en utilisant le SDK Axiom Type_script_, définissant les données et la logique on-chain requises. Le circuit est déployé sur le contrat Query d’Axiom, et les utilisateurs l’invoquent en envoyant une transaction avec les paramètres de requête.

2. Exécution
Les nœuds Axiom récupèrent les données historiques demandées—en-têtes de blocs, Ethereum les entrées de l’état trie et les reçus de transaction—provenant des nœuds d’archive. Ils calculent le résultat hors chaîne et génèrent une preuve ZK qui atteste de l’exactitude à la fois de la récupération des données et du calcul.

3. Vérification & Callback
Une fois que la preuve est transmise sur la chaîne, le contrat intelligent Axiom la vérifie en une seule exécution sur la chaîne. Si elle est valide, Axiom appelle le contrat intelligent d’origine avec le résultat calculé, permettant un accès sans confiance et économiquement efficace aux informations approfondies sur la chaîne.

Ce modèle garantit que chaque résultat porte les garanties cryptographiques d’Ethereum, tout en réduisant considérablement les exigences de calcul et de stockage sur la chaîne.

Avantages du coprocesseur ZK d’Axiom

La conception d’Axiom présente plusieurs avantages par rapport aux solutions traditionnelles d’indexation des données :

• Accès Historique Complet : Interrogez l’état ou l’historique des transactions de n’importe quel bloc sans avoir à exécuter votre propre nœud d’archive.
• Intégrité des données Zero-Trust : Les preuves ZK éliminent la dépendance aux oracles centralisés - les résultats sont vérifiables sur la chaîne.
• Efficacité du gaz : En déplaçant les calculs lourds et les recherches de données hors chaîne, Axiom réduit les coûts de gaz pour les requêtes complexes jusqu’à 90 %.
• Intégration transparente des contrats intelligents : Les contrats interagissent avec Axiom via une API de requête simple, nécessitant peu de modifications de code.
• Conception Composable : Plusieurs circuits peuvent être combinés pour créer des applications on-chain plus riches, allant des outils d’audit automatisés aux stratégies DeFi avancées.

L’équipe de recherche de Gate utilise ces capacités pour prototyper de nouvelles dApps d’analytique DeFi, et nous gardons un œil attentif sur tout événement d’airdrop Axiom pour récompenser les premiers membres de la communauté.

Équipe et Investisseurs

1. Équipe dirigeante
Axiom a été fondé par Jonathan Wang et Yi Sun, tous deux anciens universitaires ayant une expertise approfondie dans les preuves à divulgation nulle de connaissance et les systèmes distribués. Jonathan, titulaire d’un doctorat en informatique du MIT, se concentre sur la conception de protocoles et la cryptographie. Yi, ayant une expérience d’enseignement à Chicago et à Cambridge, dirige l’expérience développeur et l’architecture SDK.

2. Investisseurs et financement
Le tour de table de 20 millions de dollars en Série A du projet a été dirigé par Paradigm, avec la participation de Standard Crypto, Polychain et plusieurs investisseurs privés. Ce capital va accélérer le déploiement du mainnet d’Axiom, élargir le réseau de validateurs et financer des subventions pour les intégrations de coprocesseurs ZK.

Projets Similaires

Alors qu’Axiom se spécialise dans le coprocessing ZK on-chain, quelques solutions adjacentes existent :

• Brevis : Se concentre sur le calcul hors chaîne basé sur ZK pour les données Ethereum, avec une architecture de prouveur propriétaire.
• Bonsai : Offre des preuves basées sur zkVM pour les calculs à la fois on-chain et off-chain, développées par Risk Zero.

Chaque projet cible différents compromis dans la conception du système de preuve, mais l’intégration étroite d’Axiom avec l’état archivé d’Ethereum et son SDK convivial pour les développeurs le distingue.

Axiom représente une avancée majeure en matière de disponibilité et de calcul des données décentralisées. Alors que Gate continue de surveiller l’innovation ZK, nous vous apporterons des tutoriels sur la construction avec les circuits Axiom, des mises à jour sur les annonces de distribution Axiom, et une analyse plus approfondie des cas d’utilisation qui pourraient redéfinir les applications on-chain. Restez à l’écoute de notre blog pour les dernières nouvelles sur Axiom et d’autres protocoles blockchain de pointe.