Axiom : Comblant le vide de l'accès aux données Web3, donnant de nouvelles capacités aux contrats intelligents
TechFlow SélectionTechFlow Sélection
Axiom : Comblant le vide de l'accès aux données Web3, donnant de nouvelles capacités aux contrats intelligents
Axiom vise à relever le défi de l'offre peu convaincante d'applications Web3, causée par l'absence d'accès fiable aux données et au calcul.
Dédié à des analyses Web3 approfondiesRédaction : camiinthisthang
Traduction : TechFlow
« Tout mettre sur la chaîne » m’a toujours semblé un peu forcé. Il n’y a aucune raison de placer beaucoup de choses sur la chaîne, car au-delà du stockage permanent, on ne peut pas faire grand-chose avec ces données. Bien que The Graph et des protocoles similaires permettent d’interroger les données blockchain via GraphQL pour l’intégration frontale, y compris la recherche plein texte et le filtrage, ces opérations se font au niveau client. Cela signifie qu’il est en réalité impossible d’utiliser ces données au niveau des contrats intelligents pour écrire de la logique basée sur celles-ci. Cette limitation rend les applications Web3 plates et uniformes — elles ne peuvent exploiter que les données en temps réel issues des interactions utilisateur, telles que le solde du compte ou le numéro du bloc actuel.
Les applications traditionnelles prospèrent en exploitant les activités en ligne des utilisateurs pour proposer des expériences personnalisées et immersives. Malheureusement, les expériences Web3 ne sont pas encore capables de faire cela, ce qui contribue largement à l’idée répandue que le Web3 peine à offrir des applications significatives auxquelles les utilisateurs peuvent s’identifier.
Les célèbres applications qui façonnent le paysage numérique — Instagram, TikTok, Spotify, YouTube, etc. — affichent dans leur interface les activités passées des utilisateurs, et exploitent ces données pour élaborer des algorithmes de recommandation, diffuser des publicités personnalisées et connecter les utilisateurs à des créateurs correspondant à leurs préférences. Un espace de conception aussi dynamique fait clairement défaut dans le Web3.
La raison pour laquelle le Web3 ne parvient pas à faire cela, c’est parce que nous ne disposons pas d’outils permettant un accès fiable aux données blockchain au niveau des contrats intelligents. Même si cela peut sembler surprenant, les contrats intelligents ne peuvent pas lire directement depuis les nœuds d’archive des données historiques — comme la propriété NFT ou le solde d’un compte à une hauteur de bloc donnée — et utiliser ces informations pour piloter une logique conditionnelle dans leurs opérations. Permettre un tel accès aux données dans les contrats implique divers compromis liés à la sécurité et au coût :
Faire publier les données sur la chaîne par le développeur (ou une entité centralisée) sous forme d’EOA ou de multisignature entièrement fiable ;
Utiliser Chainlink pour obtenir le type de données spécifique dont vous avez besoin ;
Mettre en cache les données dans le contrat (en payant un coût supplémentaire de stockage).
Axiom offre une lecture et un calcul sans confiance
Ces derniers mois, l’émergence de plusieurs équipes spécialisées dans les preuves ZK haute performance a ouvert une nouvelle ère de possibilités pour l’écosystème Ethereum. Parmi elles figure Axiom, un projet zk conçu pour relever le défi de l’appauvrissement des applications web3 causé par l’accès limité et non fiable aux données et au calcul. Actuellement en version alpha, il est déjà disponible sur le réseau principal d’Ethereum.
Les développeurs peuvent soumettre des requêtes à Axiom afin d’accéder de manière fiable, via des preuves de stockage, à n’importe quel en-tête de bloc, compte ou valeur de stockage dans toute l’histoire d’Ethereum. Axiom utilise la technologie zk pour générer des preuves de validité pour tous les résultats de requête, puis les vérifie sur la chaîne, ce qui signifie que les contrats intelligents peuvent directement manipuler ces résultats sans hypothèse de confiance supplémentaire.
Axiom abstrait une grande partie des connaissances mathématiques spécifiques liées au zk, qui ont traditionnellement constitué un obstacle à leur utilisation. Ce qui est particulièrement enthousiasmant avec Axiom, c’est qu’il permet aux développeurs d’écrire des contrats intelligents en Solidity, en interrogeant simplement le contrat d’Axiom, puis en validant les réponses reçues pour les utiliser dans leurs propres contrats.
Axiom fournit un SDK TypeScript ainsi que son contrat intelligent AxiomV1Query, permettant aux développeurs de créer et soumettre des requêtes sur la chaîne, puis d’utiliser les réponses vérifiées dans leurs contrats intelligents. L’interaction fonctionne comme suit :
Envoyer une requête sur la chaîne : Créer une requête à l’aide du SDK Axiom et la soumettre au contrat intelligent AxiomV1Query.
Attendre la fin de la requête : Des générateurs de preuve hors chaîne indexent la requête, produisent les résultats et génèrent une preuve ZK de leur validité. Cette preuve est vérifiée sur la chaîne, et les résultats sont écrits sous forme Merkle dans le stockage du contrat AxiomV1Query.
Lire les résultats de la requête : Une fois les résultats vérifiés sur la chaîne, récupérer les données depuis le stockage du contrat via le SDK, et les utiliser de manière fiable dans l’application de contrat intelligent.
Dans mon modèle mental, l’utilisation d’Axiom comporte deux composants principaux :
Construire une requête et l’envoyer au contrat intelligent d’Axiom.
Lire et valider la réponse provenant du contrat intelligent d’Axiom.
Construire et envoyer une requête
La première étape consiste à envoyer une requête au contrat Axiom à partir d’un projet Node/Nextjs en utilisant le SDK TypeScript :
Les développeurs peuvent créer et envoyer une requête à l’aide de quatre méthodes :
newQueryBuilder — crée une nouvelle instance de requête ;
append — ajoute l’adresse, l’emplacement de stockage et/ou le numéro de bloc que vous souhaitez prouver ;
build — récupère le keccakQueryResponse et sérialise la requête ;
sendQuery — envoie la requête au contrat AxiomV1Query.
Lire et valider la réponse
Une fois que le Prover a généré la preuve ZK, il inscrit que le « keccakQueryResponse » de cette requête a été satisfait, et déclenche l’événement « QueryFulfilled ». Les développeurs lisent alors la réponse depuis le stockage du contrat Axiom, et utilisent les méthodes suivantes du SDK pour valider les résultats sur la chaîne :
getValidationWitness — permet à l’utilisateur de prouver que les données revendiquées ont effectivement été incluses dans le keccakQueryResponse ;
areResponsesValid — vérifie que les données fournies correspondent bien au hachage stocké sur la chaîne.
Une fois la réponse validée comme étant correcte, vous pouvez transmettre cette réponse en tant que paramètre à n’importe quelle fonction de contrat intelligent, qui appliquera alors des restrictions basées sur cette procédure, tout en passant une preuve valide vérifiée dans l’appel de fonction.
Les preuves ZK nous permettront-elles enfin de construire des applications qui intéressent les utilisateurs ordinaires ?
Désormais, non seulement vous pouvez générer des preuves de stockage et les utiliser dans des contrats intelligents pour imposer des logiques conditionnelles basées sur les activités historiques sur la chaîne, mais vous pouvez aussi, pour la première fois, créer des expériences riches similaires à celles du Web2 en utilisant ces données historiques.
À mesure que de plus en plus d’utilisateurs, d’activités et de données migrent vers la chaîne, des outils comme Axiom deviendront essentiels pour créer des expériences utilisateur riches sans compromettre la sécurité.
Quelques idées de projets inspirants, tirées du blog d’Axiom :
Des airdrops autonomes gérés par contrat intelligent selon l’activité sur la chaîne, sans organe centralisé.
Un système de fidélité sur la chaîne basé sur un score de participation fiable.
Des protocoles DeFi pilotés par des solveurs, utilisant des solveurs hors chaîne prouvables pour régler les marchés.
Un oracle de prix plancher NFT basé sur des transactions passées, pour soutenir l’assurance des prêts et produits dérivés NFT.
Un oracle de génération aléatoire exploitant l’aléa du minage.
Un oracle de volatilité fiable pour ajuster les frais dans les AMM ou le ratio prêt-valeur (LTV) dans les protocoles de prêt.
Des NFT génératifs dont on peut prouver via zk qu’ils ont été créés selon l’algorithme annoncé.
Bienvenue dans la communauté officielle TechFlow
Groupe Telegram :https://t.me/TechFlowDaily
Compte Twitter officiel :https://x.com/TechFlowPost
Compte Twitter anglais :https://x.com/BlockFlow_News
@camiinthisthang
