jakiro
著者：yi Sun、翻訳：0xjs@作作作
Axiom V2は、1月22日にイーサリアムでオンラインになりました。公理により、スマートコントラクトは、イーサリアムの履歴データ全体を含む、信頼なしにより多くのデータを計算することができます。データアクセスのコストが高いことが、スマートコントラクトの重要なボトルネックであると考えています。ZKを使用してこのボトルネックを排除することにより、私たちの目標は、開発者がチェーンアプリケーションに関する豊富なデータを構築できるようにすることです。
Axiom V2バージョンは、以前に利用可能なアカウント、契約ストレージ、ブロックヘッドにトランザクション、領収書、および堅実さのサポートを追加します。つまり、イーサリアムの完全な歴史的記録をAxiomを通じてチェーンで取得できるようになりました。開発者は、Axiom SDKを使用して、SDKでこの履歴レコードを照会します。これは、データ型とブロックの任意の組み合わせの計算をサポートします。新しい一般的な目的検証デバイスを使用すると、Axiom受信チェーンからのZK検証の結果は、スマートコントラクトで単一のコールバックを実現する必要があります。
Smart ContractsでAxiomを簡単に使用できます – SolidityとTypescriptのみが必要です – チェーンで直接トランザクションを送信することでAxiomをクエリすることができます。試してみて、NPX Create-Axiom-Clientを実行してストレージショーを開始するか、開発者ドキュメントdocs.axiom.xyzを表示します。ここでEthereum Main NetworkとSepoliaの契約を確認し、Explorer.axiom.xyzのAxiomのクエリを確認できます。
V2バージョンをリリースしている間、2024年1月22日にAxiom V2テストネットワークをGoerliからSepoliaに移行し、Axiom V1を放棄しました。
メインネットワークでAxiom V2をすぐに使用します
Axiom V2は現在、Ethereumのメインネットワークに展開されており、生産に利用できます。アプリケーションで公理を使用するには2つの手順が必要です。
1. Axiom TypeScript SDKを使用して、Axiom回路を書き込みます。
2. Axiom Smart Contract SDKを使用して、Axiomクライアント契約を実装します。
まず、実行：npx create-axiom-client
これにより、デフォルトの回路と契約、およびデフォルトのnext.js Webフロントエンドを備えたエントリリポジトリが作成されます。
公理回路を構築します
Axiom SDKを使用して、アプリケーションの回路をカスタマイズできます。
-
Axiomのサブ征服は、AxiomにZK検証済みのトランザクション、領収書、履歴ブロック、アカウント、契約ストレージを要求するよう要求しました
-
ZK Primitivesは、Axiom Subquerieからのデータを算術、ロジック、比較、および配列操作を介して計算します。
イーサリアムアカウントの平均履歴バランスの公理回路の例を計算する
上記の例に示すように、文章の公理回路はTypeScriptで完了することができます。アプリケーションに統合するために、Axiom回路をコンパイルすると、ZKプルーフが作成されます。これは、WebアプリケーションまたはサーバーでAxiomクエリを作成するために使用できます。
スマートコントラクトに統合されています
アプリケーションでaxiomの結果を使用するには、_validateaxiomv2callおよび_axiomv2callback関数を実装してクエリ結果を使用してAxiomが提供するコールバックを検証および実行します。
Axiomクライアント契約は、ZKの公理結果でコールバックを受け入れます
テストするために、私たちはあなたのスマート契約に従って、ローカルエリアの公理回路をテストするための不正行為コードを提供するFoundry Test Libraryの拡張を書きました。これにより、Axiomのアプリケーションが標準のスマートコントラクト作業プロセスでテストできます。
ファウンドリーの不正コードテストを使用して、クエリといたずらコールバックを送信します
Axiom V2の背後にあるスマートコントラクトとZKサーキットは、GitHubの完全にオープンソースであり、Spearbit、Zellic、およびTrail of Bitsによって監査されています。Ethereum Main NetworkおよびSepolia Testing NetworkのAxiomv2Quryスマートコントラクトにチェーントランザクションを送信するだけで、Axiomを確認する必要があります。
公理を使用するために何を使用できますか
Axiomを使用すると、スマートコントラクト開発者がチェーン上の新しいデータにアクセスできます。私たちは、取引、領収書、歴史的な州など、イーサリアムの歴史から始めました。チェーンへの評判とアイデンティティ、債務取引、ガバナンスへの参加に関する重要な情報を保持していますが、以前に集中化されたチェーン予言マシンに依存しない場合、スマートコントラクトがアクセスできないことは驚くべきことです。
開発者は、Axiomを介して新しく利用可能なチェーンデータにアクセスし、以下を含む契約に含めることができます。
-
契約：トランザクションとイベントログは、ユーザーの前にユーザーとのすべてのやり取りをカプセル化します。
-
歴史的なバランス：ユーザーのトークンとNFT、および保有。
-
イーサリアムネイティブデータ：ガスの使用、ブロックヘッドからの基本的なコストとランダオの価値、およびトレーディングトリエの取引に含まれる情報と並べ替え情報が含まれています。
公理クエリの結果は、ZKプルーフを介してチェーンで検証されます。つまり、その精度は、パスワード学のEVMを介してアクセスされるデータに相当します。これにより、Axiomは、既存のプロトコルと相互運用するライセンスなしで、1つのクエリにさまざまなタイプのチェーン情報を組み合わせることができます。これにより、新しいタイプの信頼がアプリケーションを最小限に抑えることができます::
-
チェーンの忠誠心とインセンティブ：
-
Axiomの実績のあるチェーンアクティビティレコードに基づいて、展開契約を変更することなく、最も忠実なユーザーに報酬を与えます。
-
吸血鬼は、競合他社が最もアクティブで価値のあるユーザーであることを証明できる彼らに報いることによって競合他社を攻撃します。
-
チェーンの監査：
-
外部プロトコルとの相互作用や一定期間の操作との相互作用など、ユーザーの契約への貢献など、ユーザーチェーンの動作の完全な記録によると。
-
ZK検証プロトコルのルールに厳しく違反しているユーザーは、これらのルールには、トランザクションの並べ替え、複数のブロックにわたる操作、契約外で行われた操作など、チェーン上のデータの任意の組み合わせが含まれる場合があります。
-
アイデンティティ、ガバナンス、決済のためのカスタマイズされた予言：
-
入札マシンプロバイダーのサポートなしに、ガスおよび取引コストまたはチェーン構造製品の決済。
-
ユーザーのチェーンアクティビティによる投票権のカスタマイズを通じて、ガバナンスをカスタマイズするために、過去の参加と優れた行動に報いることにより、より多くの投票が得られます。
開発者が、イーサリアムの歴史的支援が豊富なこれらのプリミティブやその他のプリミティブを使用して、印象的な新しいチェーンエクスペリエンスを構築することをサポートできてうれしいです。
次のステップは何ですか？
今後数週間で、公理を統合した初期のパートナー、橋のイーサリアムL1の公理クエリと、将来のアップグレードのロードマップに関する詳細情報を共有します。
