イーサネットZKコプロセッサAxiom V2が稼動を開始 開発者の使用事例が一目でわかる

著者：Yi Sun, Axiom; 翻訳：0xjs@GoldenFinance

Axiom V2は1月22日にメインのEtherNetで利用可能になりました。Axiomによって、スマートコントラクトはEtherの歴史全体を網羅し、より多くのデータをトラストレスな方法で計算できるようになります。私たちは、データアクセスの高いコストがスマートコントラクトの主要なボトルネックであると考えています。ZKによってこのボトルネックを取り除くことで、開発者がデータリッチなオンチェーンアプリを構築できるようにすることを目指しています。

アクシオムV2リリースでは、トランザクション、レシート、Solidityを以前から利用可能なアカウント、コントラクトストア、ブロックヘッドにマッピングするためのサポートが追加されました。開発者は Axiom SDK を使用して、Typescript でこの履歴を照会することができます。私たちの新しいユニバーサル・バリデーターを使用すると、ZKで検証された結果をAxiomからオンチェーンで受け取るには、スマート・コントラクトに実装された単一のコールバックだけが必要です。スマートコントラクトでAxiomを使用するのは簡単で、SolidityとTypescriptが必要なだけです。また、explorer.axiom.xyz で Axiom のクエリを見ることができます。

V2リリースに伴い、Axiom V2テストネットをGoerliからSepoliaに移行し、2024年1月22日にAxiom V1を非推奨としました。

メインネットですぐにAxiom V2を使用する

Axiom V2は現在EtherNetのメインネットにデプロイされ、実運用で使用できます。

1.Axiom Typescript SDK を使用して、Ethernet からの履歴データの ZK 検証計算を要求する Axiom 回路を記述します。

2.アクシオムスマートコントラクトSDKを使用してアクシオムクライアントコントラクトを実装し、オンチェーンコールバックを介してアクシオムからZK検証結果を受け取ります。

まず、次のコマンドを実行します: npx create-axiom-client 

これにより、デフォルトの回路とコントラクト、およびデフォルトのNext.jsウェブフロントエンドを含むスターターリポジトリが作成されます。

Axiom

回路を構築する

以下を提供するAxiom SDKを使用して、アプリ用に回路をカスタマイズできます:

• Axiom サブクエリは、AxiomからZKバリデートされたトランザクションを要求します、

• ZKプリミティブは、算術演算、論理演算、比較演算、配列演算を通じて、Axiomサブクエリからデータを計算します。

イーサ口座の平均履歴残高を計算するAxiom回路の例

Axiom回路を記述することは、すべて次のように行うことができます。タイプスクリプトで行うことができます。アプリケーションに統合するために、Axiom 回路をコンパイルすると、ウェブアプリケーションまたはサーバーで Axiom クエリを作成するために使用できる ZK プロヴァーが作成されます。

スマートコントラクトへの統合

アプリケーションでAxiomの結果を使用するには、_validateAxiomV2Call関数と_axiomV2Callback関数を実装して、クエリ結果を検証し、Axiomによって提供されるコールバックを実行するだけです。

<

ZK証明によるAxiom結果のコールバックを受け入れるAxiomクライアント契約

テスト目的で、私たちはFoundryを書きました。この拡張機能は、スマートコントラクトに対してローカルで Axiom 回路をテストするチートコードを提供します。これにより、Axiomを搭載したアプリを標準的なスマートコントラクトのワークフローでテストすることができます。

<

私たちのFoundryチートコードテストでクエリーを送信し、いたずらコールバックを行う

Axiom V2の背後にあるスマートコントラクトとZK回路は、次のサイトで入手できます。私たちのGithubは完全にオープンソースで、Spearbit、Zellic、Trail of Bitsによって監査されています。

Axiomで何ができるか 

Axiomは、スマートコントラクト開発者がチェーン上の新しいタイプのデータにアクセスすることを可能にします。トランザクション、レシート、履歴状態を含むEtherの履歴から始めます。これは、オンチェーンでの評判やアイデンティティ、DeFiトランザクション、ガバナンスへの参加に関する重要な情報を保持していますが、驚くべきことに、以前のスマートコントラクトは、中央集権化されたオフチェーンの予言者に頼ることなく、これにアクセスすることができませんでした。

開発者は、Axiomを通じて新たに利用可能になったオンチェーンデータにアクセスし、次のようなコントラクトに組み込むことができます：

• Protocol Usage: トランザクションとイベントログは、ユーザーの以前のすべてのオンチェーンプロトコルとのやり取りをカプセル化します。

• 履歴残高：ユーザーがどのトークンとNFTをどれだけ保有しているか。

• イーサネイティブデータ：ブロックヘッダからのガス使用量、基本料金、RANDAO値、およびトランザクショントライからのトランザクションの包含と順序情報。 

Axiomのクエリ結果は、ZK証明によってオンチェーンで検証され、EVMを介してアクセスされたデータと暗号的に等価であることを意味します。これにより、Axiomは単一のクエリで異なるタイプのオンチェーン情報を組み合わせ、ライセンスなしで既存のプロトコルと相互運用することができます。

• On-chain loyalty and incentives:

• 展開する契約を変更することなく、Axiomの証明可能なオンチェーン活動の記録に基づいて、最も忠実なユーザーに報酬を与えます。

• 最もアクティブで価値があると証明できるユーザーに報酬を与えることで、競合他社を攻撃します。

• チェーン監査:

• 外部プロトコルとのやり取りや長期にわたる行動など、ユーザーのチェーン上での行動の完全な記録に基づいて、ユーザーに報酬を与えます。プロトコルに貢献したユーザーに報酬を与えます。

• ZK検証プロトコルのルールに違反したユーザーを取り締まります。これは、取引の順序、複数のブロックにまたがる行動、プロトコル外で行われた行動など、オンチェーンデータのあらゆる組み合わせに関与する可能性があります。

• アイデンティティ、ガバナンス、決済のためのカスタマイズされた予言マシン：

• ガスと取引の決済オフチェーンプロバイダーのサポートを必要としない、フィーデリバティブやオンチェーンのストラクチャード商品。

• 投票権をユーザーのオンチェーン活動に合わせて調整することで、ガバナンスをカスタマイズします。

私たちは、イーサの豊かな歴史に裏打ちされたこれらのプリミティブやその他のプリミティブを使って、魅力的な新しいオンチェーン体験を構築する開発者をサポートすることに興奮しています。

次は何でしょうか？

今後数週間にわたり、Axiomを統合した初期のパートナー、クロスブリッジ上のアグリゲーションとEther L1に関するAxiomクエリへのアクセス、および将来のアップグレードに関するロードマップについて、より多くの情報を共有する予定です。