jakiro
Author: yi sun, axiom; translation: 0xjs@作 作 作 作 作
Axiom V2 is now online on January 22 on Ethereum.Axiom allows smart contracts to calculate more data in a way without trust, including the entire historical data of Ethereum.We believe that the high cost of data access is the key bottleneck of smart contracts.By using ZK to eliminate this bottleneck, our goal is to allow developers to build a wealth of data on the chain application.
The AXIOM V2 version adds support for transactions, receipts, and Solidity to the previously available accounts, contract storage and block heads, which means that the complete historical records of Ethereum can now be obtained on the chain through Axiom.Developers use Axiom SDK to query this historical record in TypeScript. The SDK now supports the user -defined calculation of any combination of data types and blocks.With our new general -purpose verification device, the results of the ZK verification from the Axiom receiving chain only need to realize a single callback in smart contracts.
We let you easily use Axiom in smart contracts -it only needs solidity and TypeScript -and you can query Axiom by sending transactions directly on the chain.Try it, run NPX Create-AXIOM-CLIENT Start the Storage Show or View our developer document DOCS.AXIOM.XYZ.You can check our contracts on Ethereum main network and Sepolia here, and check the query on Axiom on Explorer.axiom.xyz.
While released the V2 version, we migrated the Axiom V2 test network from Goerli to Sepolia, and abandoned Axiom V1 on January 22, 2024.
Use Axiom V2 on the main network immediately
Axiom V2 is now deployed on the main network of Ethereum and is available for production.It takes two steps to use Axiom in the application:
1. Use Axiom TypeScript SDK to write the Axiom circuit. The circuit requests the ZK verification calculation of historical data from Ethereum.
2. Use the AXIOM smart contract SDK to implement the Axiom client contract. The SDK receives the results of the ZK verification from AXIOM on the chain callback.
First, run: NPX Create-AXIOM-Client
This will create an entry repository with the default circuit and contract and the default NEXT.JS Web front end, which can be used to initiate a query of Axiom for your DAPP.
Build a AXIOM circuit
You can use Axiom SDK to customize circuits for the application. It provides:
-
Axiom Subqueries requested Axiom to request ZK verified transactions, receipts and historical blocks, accounts and contract storage
-
ZK PRIMITIVES calculates data from Axiom Subquerie through arithmetic, logic, comparison and array operations.
Calculate the axiom circuit example of the average historical balance of the Ethereum account
The writing AXIOM circuit can be completed in TypeScript, as shown in the example above.To integrate into your application, compile the AXIOM circuit will create a ZK proof, which can be used to create axiom query on your web application or server.
Integrated into smart contracts
To use the results of Axiom in the application, just implement the _Validateaxiomv2Call and _axiomv2Callback function to use query results to verify and execute the callback provided by Axiom.
Axiom client contract accepts callback with ZK’s Axiom result
In order to test, we wrote the expansion of the Foundry test library, which provides cheating code to test the AXIOM circuit on the local area according to your smart contract.This enables Axiom’s applications to test in standard smart contract work processes.
Use our Foundry Cheating code test to send query and prank callback
The smart contracts and ZK circuits behind Axiom V2 are completely open source on our Github, and have been audited by Spearbit, Zellic and Trail of Bits.You only need to send the chain transaction to the Axiomv2qury smart contract on the Ethereum main network and the Sepolia testing network to check Axiom.
What can you use to use axiom
Axiom allows smart contract developers to access new data on the chain.We started from the history of Ethereum, including transactions, receipts and historical states.It preserves key information about the reputation and identity, DEFI transactions and governance participation on the chain, but it is surprising that if it does not rely on centralized chain prophecy machines before, smart contracts cannot access it.
Developers can access the newly available chain data through AXIOM and include them into their contracts, including:
-
Agreement: The transaction and event logs encapsulate all the interactions with the user before the user.
-
Historical balance: which tokens and NFTs of users, and holdings.
-
Ethereum native data: GAS usage, basic costs and RANDAO values from the block head, and transactions from trading Trie include and sorted information.
The Axiom query results are verified on the chain through ZK proof, which means that their accuracy is equivalent to the data accessed through EVM in passwordology.This enables Axiom to combine different types of chain information in a single query without a license to interoperate with existing protocols.This enables the new type of trust to minimize applications::
-
Loyalty and incentives on the chain:
-
Based on AXIOM’s proven chain activity records and rewarding the most loyal users without having to modify your deployment contracts.
-
Vampires attack your competitors by rewarding them who can prove that they are the most active and valuable users.
-
Audit on the chain:
-
According to the complete record of behavior on the user chain, including interaction with external protocols and operations for a period of time, the user’s contribution to the agreement.
-
Users who violate the rules of ZK verification protocols severely, these rules may involve any combination of data on the chain, including transaction sorting, operations across multiple blocks, and operations taken outside the agreement.
-
Customized prophecy for identity, governance and settlement:
-
Settlement of GAS and trading costs or chain structural products, without the support of the bidding machine provider.
-
Through the customization of voting rights according to the user’s chain activity, more votes are obtained through rewarding past participation and good behaviors, so as to customize your governance.
We are glad to support developers to build a striking new chain experience using these primitives and other primitives that are rich in historical support of Ethereum.
What is the next step?
In the next few weeks, we will share more information about early partners who have integrated AXIOM, visit the Axiom queries of the Ethereum L1 on the bridge, and the roadmap of our future upgrade.
