壮大な開花: シンプルで強力な実稼働グレードの zkApps が、Mina に上陸しようとしています

特邀专栏作者

2024-04-20 14:30 (UTC+8)

この記事は約1844文字で、全文を読むには約3分かかります

mina のメジャーアップグレードは革新的なゼロ知識ユースケースをもたらし、ブラウザやサーバーなどのクライアント環境でスマートコントラクトをオフラインで実行する機能を導入します。この記事では、zkApps (zk 対応アプリケーション) の重要性、Web3 に対する潜在的な影響、およびミナの今後の Berkeley アップグレードの重要な役割について検討します。

AI要約

原作者: o1labs Phil Kelly

原文翻訳：YBB Capital Erin

序文

急速に発展している Web3 分野では、ゼロ知識における最新の進歩が新時代の到来を告げています。高速なロールアップやライトクライアントからブリッジングテクノロジに至るまで、ZooKeeper インフラストラクチャの進歩は引き続き注目を集めています。しかし、ブラウザやサーバーなどのクライアント環境で完全にオフラインでスマートコントラクトを実行できる、真に革新的な機能が登場したと私たちは信じています。

オフチェーンに移動する

これはどのようにして達成されるのでしょうか?このイノベーションの鍵は、zk アプリケーション (zkApp) コードを使用してスマートコントラクトを作成することです。この種のコードは改ざん防止の実行を保証し、新たな信頼仮定を導入することなく第三者に対して操作の正しさを証明でき、本質的にオンチェーンのスマートコントラクトの機能を反映します。

これらの zk 対応アプリケーションの影響は広範囲に及びます。スマートコントラクトの実行をオフチェーンに移行することで、ガスコスト、データ制限、スケール制限、タイムラグなど、オンチェーン実行に関連する多くの課題を克服できます。さらに、zkApps は強化されたプライバシー保護を提供し、生年月日などの正確な個人情報を明らかにすることなく、年齢などの機密情報を検証できます。

zkApps の立ち上げはイノベーションの波を引き起こし、Web3 のサイファーパンク精神に新たな命を吹き込み、過去 5 ～ 10 年で実現不可能と考えられていたアイデアを復活させます。

チェーンに固定する

zkApps にはオフチェーン機能がありますが、アンカーチェーンは依然として重要です。 2 年以上の開発を経て、Mina のバークレーへのアップグレードは準備の最終段階に入っています。 zkApps にチェーンが必要な理由は何ですか?チェーン外部の zkApp 証明には検証が必要であるため、チェーンを使用すると、信頼できる検証上の利点がいくつか得られます。

専門の中立的なバリデーターによるチェーン自体の自動検証
検証結果に基づいてフォローアップアクションを自動的にトリガーします（例：18歳以上であることを証明すると、DeFiアカウントが開設され、取引が終了します）
将来のデータ参照のために検証情報を永続的に保存します
他のチェーンに接続できる検証

実際には、オフチェーンスマートコントラクトとオンチェーン検証の間の検証プロセスは、あまり魅力的ではないステップのように聞こえるかもしれません。また、何か問題が発生すると、オフチェーンアプローチの利点がすぐに失われる可能性があります。 mina のような専用のチェーンがなければ、スマートコントラクトの検証は大規模で複雑で高価になる可能性があるため、mina はゼロ知識証明 (ZKP) を処理するためにゼロから構築されました。バークレーのアップグレード後、Mina ブロックチェーンはアプリケーションの証明をオフチェーンで検証するための優れた場所になります。なぜMinaはzkAppsを検証するのに最適な場所なのでしょうか?

ガスコストがなければ、オフチェーンスマートコントラクトの規模に関係なく、オンチェーン証明を検証するコストは常に低くなります。
ミナの小さなステータスは、近い将来、完全なノードがユーザーのブラウザで実行できるようになり、サードパーティのリモートプロシージャコール (RPC) プロトコルを使用せずに証明を送信できるようになり、プライバシーの保護に最適であることを意味します。
また、Mina の小さな状態は、状態証明ベースのブリッジング (トークンハッキングなし) を介して他のチェーン上で表現できることも意味するため、Mina は Web3 全体のモジュール式証明層として機能できます。他の多くの機能の中でも、これにより、zk アプリケーションを 1 回だけ作成し、Mina で出力を 1 回検証し、その検証を他の複数のチェーンにブリッジすることができます。今はインスタント、マルチチェーン DApp の時代です。

その検証は EVM チェーン上で直接実行できますが、ソフトウェアアプリケーションの分野では、「できる」が「すべき」とは異なることは誰もが知っています。したがって、理論的には、EVM はデータ可用性 (DA) レイヤーや他のチェーンの分散型オーダラーとしても使用できますが、Web3 の世界では、モジュール化がこれらの特殊な機能を実現する方法であることが証明されており、検証は高度に専門化されたものであることが証明されています。関数。

オフチェーン革命

アプリケーションコードに戻りましょう。2024 年の残りの期間に向けて、私たちo1Labsは、zk オフチェーンコンピューティングによって引き起こされるアプリケーションとユースケースのイノベーションの急増を楽しみにしています。このオフチェーン革命は、いくつかのエキサイティングな可能性をもたらします。

ガスフリー計算: zk オフチェーン計算により、ガス料金や信頼なしであらゆるサイズの計算を実行できます。

検証可能なプライバシー: クライアント zk は、検証可能なプライバシーを広く利用できるようにします。

Web2 データの使用: 「公証」にマルチパーティコンピューテーション (MPC) と ZK を使用すると、Web2 データの日常的な使用が可能になります。

zkApps のシンプルな構築: TypeScript を使用した o1.js のような新しいドメイン固有言語 (DSL) により、開発者は zk アプリケーションを迅速かつ簡単に構築できます。

o1js : zk コードをオフチェーンでアクセスできるようにする

以前も zk コードをオフチェーンで構築することは可能でしたが、実際には常に困難でした。o1jsを使用するとそれが簡単になります。 TypeScript を活用することで、 o1js は、デプロイと保守を容易にする高レベルで直感的な言語を提供します。 o1js はWebAssembly (WASM) 機能をサポートしているため、zkApp はユーザーのブラウザでシームレスに実行することもできます。さらに、 o1jsの再帰機能を使用して、オフチェーン計算からの複数のプルーフを集約して小さなプルーフに圧縮することができます。

o1js は2022 年から利用可能になり、成熟しているだけでなく、新しい機能も追加されています。 o1js の基本機能に対する最近のエキサイティングな機能強化により、zk アプリケーションはより広範囲の入力を処理できるようになりました。例としては次のものが挙げられます。