
Autor: Yi Sun, Axiom;
Axiom V2 ahora está en línea el 22 de enero en Ethereum.Axiom permite que los contratos inteligentes calculen más datos de alguna manera sin confianza, incluidos los datos históricos completos de Ethereum.Creemos que el alto costo de acceso a datos es el cuello de botella clave de contratos inteligentes.Al usar ZK para eliminar este cuello de botella, nuestro objetivo es permitir a los desarrolladores construir una gran cantidad de datos sobre la aplicación de la cadena.
La versión de Axiom V2 agrega soporte para transacciones, recibos y solidez a las cuentas disponibles, almacenamiento de contratos y cabezales de bloque, lo que significa que los registros históricos completos de Ethereum ahora se pueden obtener en la cadena a través del axioma.Los desarrolladores usan Axiom SDK para consultar este registro histórico en TypeScript.Con nuestro nuevo dispositivo de verificación general de propósito, los resultados de la verificación ZK de la cadena de recepción del axioma solo necesitan realizar una sola devolución de llamada en contratos inteligentes.
Le permitimos usar fácilmente el axioma en contratos inteligentes, solo necesita solidez y mecanografiado, y puede consultar el axioma enviando transacciones directamente en la cadena.Pruébelo, ejecute NPX Crear eje-client Inicie el show de almacenamiento o vea nuestros documentos de desarrollador Docs.axiom.xyz.Puede consultar nuestros contratos en Ethereum Main Network y Sepolia aquí, y consulte la consulta en Axiom en Explorer.axiom.xyz.
Mientras lanzamos la versión V2, migramos la red de prueba Axiom V2 de Goerli a Sepolia, y abandonamos el Axiom V1 el 22 de enero de 2024.
Use Axiom V2 en la red principal inmediatamente
Axiom V2 ahora se implementa en la red principal de Ethereum y está disponible para la producción.Se necesitan dos pasos para usar axiom en la aplicación:
1. Use el sdk de Axiom Tystemcript para escribir el circuito de axiom.
2. Use el SDK de Axiom Smart Contract para implementar el contrato del cliente Axiom.
Primero, ejecutar: npx create-exiom-client
Esto creará un repositorio de entrada con el circuito predeterminado y el contrato y el front -end Web Next.js predeterminado, que puede usarse para iniciar una consulta de Axiom para su DAPP.
Construir un circuito de axioma
Puede usar Axiom SDK para personalizar los circuitos para la aplicación.
-
Las subconsules de Axiom solicitaron a Axiom que soliciten transacciones verificadas de ZK, recibos y bloques históricos, cuentas y almacenamiento de contratos
-
ZK Primitives calcula los datos de la subcontrol de Axiom a través de operaciones aritméticas, lógicas, comparaciones y matrices.
Calcule el ejemplo del circuito axiom del saldo histórico promedio de la cuenta de Ethereum
El circuito de axioma de escritura se puede completar en TypeScript, como se muestra en el ejemplo anterior.Para integrarse en su aplicación, compilar el circuito Axiom creará una prueba de ZK, que se puede utilizar para crear una consulta de Axiom en su aplicación o servidor web.
Integrado en contratos inteligentes
Para usar los resultados de AxiOM en la aplicación, simplemente implementa la función _validateAxiOMV2Call y _AXIOMV2Callback para usar los resultados de la consulta para verificar y ejecutar la devolución de llamada proporcionada por Axiom.
El contrato del cliente de Axiom acepta la devolución de llamada con el resultado de Axiom de ZK
Para probar, escribimos la expansión de la biblioteca de prueba de Foundry, que proporciona código de trampa para probar el circuito de axiom en el área local de acuerdo con su contrato inteligente.Esto permite que las aplicaciones de Axiom prueben en procesos de trabajo de contrato inteligente estándar.
Utilice nuestra prueba de código de trampa de fundición para enviar la consulta y la devolución de llamada de la broma
Los contratos inteligentes y los circuitos ZK detrás de Axiom V2 son de código abierto en nuestro GitHub, y han sido auditados por Spearbit, Zellic y Trail of Bits.Solo necesita enviar la transacción de la cadena al contrato inteligente AxiOMV2Qury en la red principal de Ethereum y la red de pruebas Sepolia para verificar el axioma.
¿Qué puedes usar para usar axiom?
Axiom permite a los desarrolladores de contratos inteligentes acceder a nuevos datos en la cadena.Comenzamos a partir de la historia de Ethereum, incluidas las transacciones, los recibos y los estados históricos.Preserva información clave sobre la reputación y la identidad, las transacciones defi y la participación de la gobernanza en la cadena, pero es sorprendente que si no confía en las máquinas de profecía de la cadena centralizadas antes, los contratos inteligentes no pueden acceder a ella.
Los desarrolladores pueden acceder a los datos de cadena recién disponibles a través de Axiom e incluirlos en sus contratos, incluidos:
-
Acuerdo: Los registros de transacción y eventos encapsulan todas las interacciones con el usuario ante el usuario.
-
Balance histórico: qué tokens y NFT de usuarios y tenencias.
-
Datos nativos de Ethereum: el uso del gas, los costos básicos y los valores de Randao desde el cabezal de bloque, y las transacciones desde el comercio de TRIE incluyen e información ordenada.
Los resultados de la consulta del axioma se verifican en la cadena a través de ZK Prueba, lo que significa que su precisión es equivalente a los datos a los que se accede a través de EVM en Passbaseyology.Esto permite a Axiom combinar diferentes tipos de información de cadena en una sola consulta sin una licencia para interoperar con los protocolos existentes.Esto permite que el nuevo tipo de confianza minimice las aplicaciones ::
-
Lealtad e incentivos en la cadena:
-
Basado en los registros de actividad en cadena probados de Axiom y recompensar a los usuarios más leales sin tener que modificar sus contratos de implementación.
-
Los vampiros atacan a sus competidores al recompensarlos que pueden demostrar que son los usuarios más activos y valiosos.
-
Auditoría en la cadena:
-
Según el registro completo de comportamiento en la cadena de usuario, incluida la interacción con protocolos y operaciones externas durante un período de tiempo, la contribución del usuario al acuerdo.
-
Los usuarios que violan las reglas de los protocolos de verificación ZK severamente, estas reglas pueden implicar cualquier combinación de datos en la cadena, incluida la clasificación de transacciones, las operaciones en múltiples bloques y las operaciones tomadas fuera del acuerdo.
-
Profecía personalizada para la identidad, gobernanza y asentamiento:
-
Liquidación de costos de gas y comercio o productos estructurales en cadena, sin el apoyo del proveedor de la máquina de licitación.
-
A través de la personalización de los derechos de voto de acuerdo con la actividad de la cadena del usuario, se obtienen más votos a través de la recompensa de la participación pasada y los buenos comportamientos, para personalizar su gobernanza.
Nos complace apoyar a los desarrolladores para construir una nueva experiencia en cadena sorprendente utilizando estas primitivas y otras primitivas que son ricas en apoyo histórico de Ethereum.
¿Cuál es el siguiente paso?
En las próximas semanas, compartiremos más información sobre los primeros socios que han integrado axiom, visitaremos las consultas de axiom del Ethereum L1 en el puente y la hoja de ruta de nuestra futura actualización.