
Auteur: Yi Sun, Axiom;
Axiom V2 est maintenant en ligne le 22 janvier sur Ethereum.Axiom permet aux contrats intelligents de calculer plus de données d’une manière sans confiance, y compris l’ensemble des données historiques d’Ethereum.Nous pensons que le coût élevé de l’accès aux données est le clé d’étranglement des contrats intelligents.En utilisant ZK pour éliminer ce goulot d’étranglement, notre objectif est de permettre aux développeurs de créer une multitude de données sur l’application de chaîne.
La version Axiom V2 ajoute la prise en charge des transactions, des reçus et de la solidité aux comptes précédemment disponibles, des têtes de stockage de contrat et de blocs, ce qui signifie que les enregistrements historiques complets d’Ethereum peuvent désormais être obtenus sur la chaîne via Axiom.Les développeurs utilisent Axiom SDK pour interroger cet enregistrement historique dans TypeScript.Avec notre nouveau dispositif de vérification générale de la réalisation, les résultats de la vérification ZK de la chaîne de réception axiom ne doivent réaliser qu’un seul rappel dans les contrats intelligents.
Nous vous permettons d’utiliser facilement l’axiom dans les contrats intelligents – il n’a besoin que de la solidité et de la type dactylographiée – et vous pouvez interroger Axiom en envoyant des transactions directement sur la chaîne.Essayez-le, exécutez NPX Create-axiom-Client Start the Storage Show ou affichez notre document de développeur docs.axiom.xyz.Vous pouvez vérifier nos contrats sur Ethereum Main Network et Sepolia ici, et vérifier la requête sur Axiom sur explorateur.axiom.xyz.
Lors de la publication de la version V2, nous avons migré le réseau de test Axiom V2 de Goerli à Sepolia et abandonné Axiom V1 le 22 janvier 2024.
Utilisez immédiatement Axiom V2 sur le réseau principal
Axiom V2 est désormais déployé sur le réseau principal d’Ethereum et est disponible pour la production.Il faut deux étapes pour utiliser Axiom dans l’application:
1. Utilisez Axiom TypeScript SDK pour écrire le circuit Axiom.
2. Utilisez le SDK du contrat intelligent Axiom pour mettre en œuvre le contrat client Axiom.
Tout d’abord, l’exécution: NPX Create-axiom-Client
Cela créera un référentiel de saisie avec le circuit et le contrat par défaut et le Front End de NEXT.JS par défaut, qui peut être utilisé pour initier une requête d’Axiom pour votre DAPP.
Construisez un circuit axiome
Vous pouvez utiliser Axiom SDK pour personnaliser les circuits pour l’application.
-
Les sous-requêtes d’axiom ont demandé Axiom pour demander des transactions, des reçus et des blocs historiques vérifiés ZK, des comptes et un stockage de contrat
-
Les primitives ZK calculent les données de la sous-questionrie axiom par des opérations arithmétique, logique, comparaison et array.
Calculez l’exemple du circuit axiome du solde historique moyen du compte Ethereum
Le circuit d’axiome d’écriture peut être complété en dactylographie, comme le montre l’exemple ci-dessus.Pour vous intégrer dans votre application, compilez le circuit Axiom créera une preuve ZK, qui peut être utilisée pour créer une requête Axiom sur votre application Web ou votre serveur.
Intégré dans les contrats intelligents
Pour utiliser les résultats de l’axiom dans l’application, implémentez simplement la fonction _validateAxiomv2Call et _axiomv2Callback pour utiliser les résultats de la requête pour vérifier et exécuter le rappel fourni par Axiom.
Le contrat du client Axiom accepte le rappel avec le résultat de l’axiom de ZK
Afin de tester, nous avons rédigé l’expansion de la bibliothèque de tests de fonderie, qui fournit du code de triche pour tester le circuit Axiom sur la zone locale en fonction de votre contrat intelligent.Cela permet aux applications d’Axiom de tester dans les processus de travail de contrat intelligent standard.
Utilisez notre test de code de tricherie de fonderie pour envoyer une requête et un rappel de farce
Les contrats intelligents et les circuits ZK derrière Axiom V2 sont entièrement open source sur notre github et ont été vérifiés par Spearbit, Zellic et Trail of Bits.Il vous suffit d’envoyer la transaction en chaîne au contrat intelligent Axiomv2Qury sur le réseau principal Ethereum et le réseau de test de Sepolia pour vérifier Axiom.
Que pouvez-vous utiliser pour utiliser Axiom
Axiom permet aux développeurs de contrats intelligents d’accéder à de nouvelles données sur la chaîne.Nous sommes partis de l’histoire d’Ethereum, y compris des transactions, des reçus et des États historiques.Il préserve des informations clés sur la réputation et l’identité, les transactions de défi et la participation de la gouvernance à la chaîne, mais il est surprenant que si elle ne s’appuie pas sur les machines de prophétie de la chaîne centralisée auparavant, les contrats intelligents ne peuvent pas y accéder.
Les développeurs peuvent accéder aux données de la chaîne nouvellement disponibles via Axiom et les inclure dans leurs contrats, notamment:
-
ACCORD: Les journaux de transaction et d’événements résument toutes les interactions avec l’utilisateur devant l’utilisateur.
-
Équilibre historique: quels jetons et NFT des utilisateurs, et les avoirs.
-
Données natives d’Ethereum: utilisation du gaz, coûts de base et valeurs Randao de la tête de bloc, et les transactions de TRADING TRIE incluent et trié des informations.
Les résultats de la requête Axiom sont vérifiés sur la chaîne via ZK Proof, ce qui signifie que leur précision est équivalente aux données accessibles via EVM dans Passwordology.Cela permet à Axiom de combiner différents types d’informations sur la chaîne dans une seule requête sans licence pour interagir avec les protocoles existants.Cela permet au nouveau type de confiance de minimiser les applications ::
-
Loyauté et incitations sur la chaîne:
-
Basé sur les enregistrements d’activités de la chaîne éprouvés d’Axiom et récompenser les utilisateurs les plus fidèles sans avoir à modifier vos contrats de déploiement.
-
Les vampires attaquent vos concurrents en les récompensant qui peuvent prouver qu’ils sont les utilisateurs les plus actifs et les plus précieux.
-
Audit sur la chaîne:
-
Selon l’enregistrement complet du comportement sur la chaîne d’utilisateurs, y compris l’interaction avec les protocoles et opérations externes pendant une période de temps, la contribution de l’utilisateur à l’accord.
-
Les utilisateurs qui violent les règles des protocoles de vérification ZK sévèrement, ces règles peuvent impliquer toute combinaison de données sur la chaîne, y compris le tri des transactions, les opérations sur plusieurs blocs et les opérations prises en dehors de l’accord.
-
Prophétie personnalisée pour l’identité, la gouvernance et le règlement:
-
Règlement des frais de gaz et de négociation ou de produits structurels de chaîne, sans le soutien du fournisseur de machines d’appel d’offres.
-
Grâce à la personnalisation des droits de vote en fonction de l’activité de la chaîne de l’utilisateur, davantage de votes sont obtenus en récompensant la participation antérieure et les bons comportements, afin de personnaliser votre gouvernance.
Nous sommes heureux de soutenir les développeurs pour construire une nouvelle expérience en chaîne frappante en utilisant ces primitives et autres primitives riches en soutien historique d’Ethereum.
Quelle est la prochaine étape?
Au cours des prochaines semaines, nous partagerons plus d’informations sur les premiers partenaires qui ont intégré Axiom, visiterons les requêtes Axiom de l’Ethereum L1 sur le pont et la feuille de route de notre future mise à niveau.