jakiro
作者：Yi Sun，Axiom；翻譯：0xjs@比特鏈視界
Axiom V2現已於1月22日在以太坊主網上線。Axiom 允許智能合約以無需信任的方式計算更多數據，包含以太坊的整個歷史數據。我們認為數據訪問的高成本是智能合約的關鍵瓶頸。通過使用 ZK 消除這一瓶頸，我們的目標是讓開發者能夠構建數據豐富的鏈上應用程式。
Axiom V2 版本增加了對交易、收據和 Solidity 映射到之前可用的帳戶、合約存儲和區塊頭的支持，這意味著以太坊的完整歷史記錄現在可以通過 Axiom 在鏈上獲得。開發人員使用 Axiom SDK 在 Typescript 中查詢此歷史記錄，該 SDK 現在支持對數據類型和塊的任意組合進行用戶自定義指定的計算。藉助我們新的通用驗證器，從 Axiom 接收鏈上經過 ZK 驗證的結果只需要在智能合約中實現單個回調。
我們讓你可以輕鬆地在智能合約中使用 Axiom – 它只需要 Solidity 和 Typescript – 並且你可以通過直接在鏈上發送交易來查詢 Axiom。要嘗試一下，請運行npx create-axiom-client啟動啟動存儲庫或查看我們的開發人員文檔docs.axiom.xyz。您可以在此處查看我們在以太坊主網和 Sepolia 上的合約，並在explorer.axiom.xyz上查看對 Axiom 的查詢。
在發布V2 版本的同時，我們將 Axiom V2 測試網從 Goerli 遷移到 Sepolia，並於 2024 年 1 月 22 日棄用 Axiom V1。
立即在主網上使用 Axiom V2
Axiom V2 現已部署在以太坊主網上並可供生產使用。在應用程式中使用 Axiom 需要兩個步驟：
1、使用 Axiom Typescript SDK編寫Axiom 電路，該電路請求對來自以太坊的歷史數據進行 ZK 驗證計算。
2、使用 Axiom 智能合約 SDK實現Axiom 客戶端合約，該 SDK 通過鏈上回調從 Axiom 接收經過 ZK 驗證的結果。
首先，運行：npx create-axiom-client
這將創建一個具有默認電路和合約的入門存儲庫以及默認的 Next.js Web 前端，可用於為你的 dapp 發起對 Axiom 的查詢。
構建 Axiom 電路
你可以使用 Axiom SDK 為應用程式定製電路，它提供：
-
Axiom subqueries向 Axiom 請求 ZK 驗證的交易、收據和歷史區塊頭、帳戶和合約存儲
-
ZK primitives通過算術、邏輯、比較和數組運算來計算來自 Axiom subquerie的數據。
計算以太坊帳戶的平均歷史餘額的 Axiom 電路示例
編寫 Axiom 電路可以完全在 Typescript 中完成，如上面的示例所示。要集成到你的應用程式中，編譯 Axiom 電路會創建一個 ZK 證明者，可用於在你的 Web 應用程式或伺服器上創建 Axiom 查詢。
集成到智能合約中
要在應用程式中使用 Axiom 的結果，只需實現_validateAxiomV2Call和_axiomV2Callback函數即可使用查詢結果驗證和執行 Axiom 提供的回調。
Axiom 客戶端合約接受帶有 ZK 證明的 Axiom 結果的callback
為了進行測試，我們編寫了 Foundry 測試庫的擴展，它提供了作弊代碼來根據你的智能合約在本地測試 Axiom 電路。這使得 Axiom 支持的應用程式可以在標準智能合約工作流程中進行測試。
使用我們的 Foundry 作弊代碼測試發送查詢和惡作劇callback
Axiom V2 背後的智能合約和 ZK 電路在我們的Github上完全開源，並經過Spearbit、Zellic和Trail of Bits的審計。你只需將鏈上交易發送到部署在以太坊主網和 Sepolia 測試網上的 AxiomV2Query 智能合約即可查詢 Axiom。
可以使用Axiom做什麼
Axiom允許智能合約開發人員訪問鏈上新型數據。我們從以太坊的歷史開始，包括交易、收據和歷史狀態。它保存著有關鏈上聲譽和身份、DeFi 交易和治理參與的關鍵信息，但令人驚訝的是，以前如果不依賴中心化的鏈下預言機，智能合約就無法訪問它。
開發人員可以通過 Axiom 訪問新可用的鏈上數據並將其納入其合約中，包括：
-
協議使用：交易和事件日誌封裝了用戶之前與任何鏈上協議進行的所有交互。
-
歷史餘額：用戶持有哪些代幣和 NFT，以及持有量。
-
以太坊原生數據：來自區塊頭的 Gas 使用量、基本費用和 RANDAO 值以及來自交易 trie 的交易包含和排序信息。
Axiom 查詢結果通過 ZK 證明在鏈上進行驗證，這意味著它們的正確性在密碼學上等同於通過 EVM 訪問的數據。這使得 Axiom 能夠在單個查詢中組合不同類型的鏈上信息，並無需許可地與現有協議進行互操作。這使得新型信任最小化應用程式能夠包含：
-
鏈上忠誠度和激勵：
-
根據 Axiom 的可證明鏈上活動記錄獎勵最忠實的用戶，而無需修改您部署的合約。
-
吸血鬼通過獎勵那些能夠證明他們是最活躍和最有價值的用戶來攻擊你的競爭對手。
-
鏈上審計：
-
根據用戶鏈上行為的完整記錄，包括與外部協議的交互和一段時間內的操作，獎勵用戶對協議的貢獻。
-
嚴厲打擊違反 ZK 驗證協議規則的用戶，這些規則可能涉及鏈上數據的任意組合，包括交易排序、跨多個區塊的操作以及在協議之外採取的操作。
-
用於身份、治理和結算的定製預言機：
-
結算Gas和交易費用衍生品或鏈上結構性產品，無需鏈下預言機提供商的支持。
-
通過根據用戶的鏈上活動定製投票權，通過獎勵過去的參與和良好行為來獲得更多選票，從而定製您的治理。
我們很高興支持開發人員使用這些原語和其他由以太坊豐富歷史支持的原語來構建引人注目的新鏈上體驗。
下一步是什麼？
在接下來幾周內，我們將分享更多關於已經集成 Axiom 的早期合作夥伴的信息，訪問有關匯總和跨橋上的以太坊 L1 的 Axiom 查詢，以及我們未來升級的路線圖。
