原作者：フォーサイトX
最初のレベルのタイトル
1. オープンな学習と発見の旅
Foresight Ventures は、Polyhedra、Hyper Oracle、Veridise、Accseal、OlaVM などのゼロ知識証明プロジェクトに投資してきました。 OpenBuild Hacker House @ EthCC は Foresight X と Generative Ventures の共同スポンサーであり、Trustless Future に力を与えるをテーマに、ZK、ZKML、その他の関連テクノロジーの最前線を探求し続けています。同時に、コインテレグラフとマンタネットワークが主催するzkDayイベントにも深く参加しました。
最初のレベルのタイトル
2. ワークショップでのブレインストーミング
画像の説明
OpenBuild Hacker House @ EthCC workshop
What to build on Hybrid ML NOW by EF PSE
実装が難しい/要件がまだ明確ではない (ZK) プライバシー機能と比較して、検証可能な AI は開発可能なより現実的な方向です。ZKML のバックグラウンドを持つ開発者は、次の 3 つの方向を検討することをお勧めします。 (1) ZKML AIGC NFT：ERC 7007が採用され、スマートコントラクトがプロンプトのトリガーに使用され、AIGC関連ドキュメントがMLモデル推論によって生成され、ZKML証明者を使用して新しいNFTを作成するための証明を検証および生成します。 (2) 再帰的ニューラル ネットワーク (RNN): ZK RNN は、価格予測、取引ロボット、大規模言語モデルなどの開発に使用できます。 (3) 楽しいアプリケーション: 特定のユースケース向けに ZK 対応モデルを最初から開発し、Zordle、Leela vs the World などのゲームを開発します。
Hybrid ML Practical On-chain AI/ML, by Hyper Oracle
Hyper Oracle がサポートするオンチェーン データ プラットフォームは、ZKAMM などのいくつかの新しいプロジェクトの出現をすでにサポートしています。しかし、大規模な人工知能モデルの連鎖など、高強度のコンピューティングの場合は十分ではありません。このプロジェクトは、ゼロ知識証明を使用して opML の不正証明サイクルを圧縮し、オンチェーン時のガス消費量を大幅に削減するハイブリッド ML を提案しており、そのパフォーマンスにより、超大規模な人工知能モデルをチェーンに導入し、関連アプリケーションを開発できます。
Who killed ZKML? by Modulus Labs
現在、ZKML はまだ初期段階にあり、関連プロジェクトは現時点で 10 件しかありません...なぜでしょうか?主にコストの制約があり、時期尚早であり、この問題自体が非常に難しい。 Modulus Labs は、AI 分野専用の ZK を設計することで、コストを 90%、さらには 100% 削減したいと考えています。しかし振り返ってみると、究極のパフォーマンスを追求する究極の目標は何でしょうか？まったく異なる UX や、新しいプロジェクトの形になる可能性があります。
Unleash the power of ZK-ZKVM by OlaVM
Ola は、ZKVM をベースとした初のプログラマブル プライバシー プラットフォームである ZK-ZKVM のビジョンを提案しており、プライバシーと高性能機能のないプラットフォームに対応する機能を簡単に拡張でき、同時にそのネットワーク セキュリティを継承できます。イーサリアムは、エコロジーおよび Web 3 エコロジー全体における最大のブロックチェーン パブリック チェーンです。
今回は、ZK と ML の両方のバックグラウンドを持つハッカーが多数存在し、ハッカソンで ZMKL 分野のプロジェクト開発に熱心であることがわかりました。そこでzkDayイベントでは、Foresight VenturesのテクニカルディレクターであるマギーがZK分野の最前線で証明再帰（証明再帰）の研究と分析をアウトプットしました。
証明再帰が使用される理由を紹介します。 ZKP (Zero-Knowledge Proof) を使用して巨大で複雑なプログラムを証明し、小さな証明を得たい場合、証明合成、証明集約、証明再帰の 3 つの重要な方法を使用する必要があります。
再帰を使用して IVC (増分検証可能計算) を実現できること、および IVC を使用して非常に長いプログラムを証明できることを証明するために導入されました。証明するプログラムを多くのステップに分割して再帰的に証明し、最終的に小さな ZKP が得られます。この方法は、証明者のメモリ要件を削減するだけでなく、この小さな ZKP を使用して実行履歴全体が正しいことを証明することもできます。
IVCの技術開発の歴史を紹介します。そして、最近注目を集めているフォールディングベースIVC（Folding-Based IVC）に焦点を当てます。前の 2 つのタイプの IVC と比較して、この折りたたみベースの IVC は再帰的な負担が最も少なく、最も効率的です。
画像の説明
On Proof Recursion, Maggie from Foresight Ventures
最初のレベルのタイトル
3. OpenBuild Hacker House @ EthCC プロジェクトの紹介とコメント
1. ZK Microphone (Winner of Filecoin—Runner Up, EAS—Best Use and ETHGlobal Paris 2023 Finalist)
ZK Microphone は、ZK-SNARK を使用して、ディープフェイクの時代に信頼できる音声検証サービスを作成することを目指しています。ジェネレーティブ AI とディープフェイクオーディオは社会のセキュリティに大きな脅威をもたらしており、この問題の拡大を抑制するために、ZK Microphone はフルスタック ソリューション、つまり ZK-SNARK を利用したオーディオの検証サービスを構築しました。
ZK マイクの基本的な動作原理は、デジタル署名に使用される秘密キーを安全なエンクレーブに保存して、録音の信頼性を保証すること、つまり、音声が実際に指定されたハードウェア マイクから録音されたものであることを確認することです。 , ZK Microphone はまた、デジタル署名の検証可能性を確保しながら、元の音声コンテンツのプライバシーを確保するために、ZK-SNARKs によって駆動される音声編集ソフトウェアを使用して元の音声をある程度変換します。
受賞ホームページ: https://ethglobal.com/showcase/zk-microphone-8161v
Foresight Ventures コメント: ZK マイクは、オーディオが実際に特定のハードウェア デバイスから録音されたものであることを保証できます。チームは非常に包括的に検討し、録音の編集や編集、デジタル署名とプライバシーを保護する方法で音声を編集する必要性も考慮しました。偽情報と戦うために ZK 証明を使用することは、非常に価値のある行動です。
2. Bob the Solver（winner of 1 inch — Best use of 1 inch Contracts and ETHGlobal Paris 2023 Finalist)
Bob the Solver は、「インテント」ベースのトランザクション インフラストラクチャとしてウォレットや分散型アプリケーションに統合されることを目的としています。このプロジェクトは、アカウント抽象化の分野における新たなパラダイム シフトから生まれました。その中心的な焦点は、正確なトランザクション プロセスではなく、ユーザーの最終的な「意図」にあります。
「インテント」は望ましい結果を表し、「トランザクション」はトランザクションを実行するために必要な正確な手順の概要を示します。たとえば、ユーザーが Polygon ネットワーク上で NFT を購入するつもりの場合、その「意図」は非常に単純ですが、正確な取引には、通貨交換、クロスチェーン、購入、など、さまざまなブロックチェーンの知識を深く理解する必要があります。
解決者のボブは、ユーザーは通常、正確な「トランザクション」の詳細を持たずに「意図」だけを持っていることに気づきました。このプロジェクトはトランザクションプロセスを簡素化することを目的としており、ユーザーの「意図」を受け入れ、適切なトランザクションを自動的に作成し、ユーザーに代わって実行します。
受賞ホームページ: https://ethglobal.com/showcase/bob-the-solver-yxtgp
Foresight Ventures のコメント: Bob the Solver は、Web 3 の使用に対する障壁を下げる優れたツールであり、ブロックチェーンの深い知識を持たない Web 2 ユーザーでもすぐに Web 3 を使い始めることができます。ユーザーは自分の意図を説明するだけで済み、Bob the Solver がユーザーのためにトランザクションを生成できるため、トランザクション構築の複雑さが解消されます。また、AA ウォレットはユーザーのガス料金の管理に使用されるため、ユーザーはすぐに使い始めることがさらに容易になります。
3. Starksplitter（winner of Starknet — Best Use)
Starksplitter はカイロで OpenZeppelin の支払い分割契約を実装しています。この契約により、ERC 20 の支払いを分割の重量に応じてグループの口座に転送することができます。送信者は、ERC 20 がこのように分割されることを知る必要はなく、コントラクトがそれを自動的かつ透過的に処理します。
受賞ホームページ: https://ethglobal.com/showcase/starksplitter-2m5j2
Foresight Ventures コメント: ペイメントシェアリング契約は、特定のグループへの支払いを実現するために使用される契約であり、Starknet はこれらの一般的に使用される契約の実現を必要としています。
4. ZenetikNFT （winner of the Metamask — Best Use, Worldcoin — Pool Prize, and The Graph — Pool Prize）
ZenetikNFTは、遺伝的AIを通じて新しいNFT画像を「繁殖」させます。 EZKL Proof of Generation と ERC 7007 を活用して、各 NFT の鋳造プロセスを監督します。そして、このプロセスはZKML証明検証によって強化され、選択された画像の特徴が次世代のNFTに確実に引き継がれるようになります。さらに、ZenetikNFTはWorldcoin IDログインを特徴とし、本物の人間だけがこれらのNFTを所有し「繁殖」できることを保証するためにオンチェーンで検証されます。
受賞ホームページ: https://ethglobal.com/showcase/zenetiknft-1ph5r
Foresight Ventures コメント: ZenetikNFT は興味深い、技術的に最先端のプロジェクトです。 AIを継承して新たなNFTを育成する。技術的には、EZKL ツールと ERC 7007 を ZKML と組み合わせて、AIGC-NFT の所有権を検証し、鋳造プロセスの正しい実行を保証します。 ZKML は最先端かつ急速に成長している研究分野であり、検証可能な AI をブロックチェーンにもたらすことができる非常に有望なテクノロジーです。
5. Photon（1 st prize winner of LambdaZkWeek hackathon)
画像の説明
Github: https://github.com/photon-bridge/overview
Foresight Ventures のコメント: Photon は、複雑なアルゴリズムとデータを保存するためのオフチェーン データ レイヤーとして Celestia を使用するために、Mina ブロックチェーン上の zkDapps をサポートできる特別なブリッジです。ミナの既存のオフチェーン ストレージ ソリューションのほとんどと比較して、Photon が DA レイヤーとして採用した Celestia はアクティビティと信頼性が高く、zkDapp データへのアクセスの信頼性が高くなります。 Photon は有望なプロジェクトです。
6. Delta Z ( 2 nd prize winner of LambdaZkWeek hackathon)
画像の説明
Github: https://github.com/manuj-mishra/zkdiffpriv
最初のレベルのタイトル
4.Foresight Xによる開発者へのフォローアップサポート
OpenBuild ハッカーハウス @ EthCC は終了しましたが、BUIDL は止まりません。 Web 3 エコシステムのプロモーターとして、Foresight X は常に、Web 3 開発者に最新の研究洞察、コンサルティング、環境リソース、および彼らのビジョンの実現と暗号通貨全体の促進を支援する約 20 万米ドルの早期財政支援を提供することに尽力してきました。業界から開発前まで。
私たちについて
私たちについて
Foresight X は、Foresight Ventures 傘下の Web 3 アクセラレーターであり、プロジェクトのインキュベーション、エコロジー資金、研究資金を中核としています。初期プロジェクトには約 200,000 米ドルの支援資金を提供し、さらに、Foresight X は、技術指導、ブランド プロモーション、トークン エコノミー、プロジェクト運営、オンライン アクセラレーション サービスなど、選択されたプロジェクトに対して高品質の業界リソースとグローバル コミュニティ サポートも提供します。通貨、会社経営、人材育成、法令等
Foresight X は現在、AI + Web 3、ZK 機械学習、ビットコイン エコロジー、LSD、NFT デリバティブ、PoS ノード サービス、DID、およびすべての最先端分野に焦点を当てたアクセラレーター プログラムの第 2 フェーズのオンライン アプリケーションを開始しています。変化し、革新に勇敢です。
