ゼロ知識証明（ZKP）は暗号学においてゲームチェンジャーであり、一方の当事者が根底の情報を明らかにせずに述説の真実を証明することができます。しかし、ZKPを生成することは高価で、リソースを大量に必要とするプロセスです。開発者は、しばしば過剰に利用されない高価なインフラストラクチャを調達、展開、維持するという課題に直面しています。この非効率性により、ユーザーのコストが膨らみ、採用が遅れるため、ZKPベースのソリューションがより利用しにくくなっています。

Fermahは、その汎用の証明生成レイヤーによってこの問題を解決します。ZKPをより速く、より安く、より信頼性が高くするために設計されたFermahは、インフラストラクチャのボトルネックを取り除き、リソースの利用を最適化します。高度なテクノロジーを活用することで、開発者やエンドユーザーの両方にとってシームレスな体験を提供します。ブロックチェーンの開発者、データのセキュリティを確保する企業、プライバシーを求める個人であっても、FermahはZKPの生成をアクセス可能で効率的に行えるようにします。

フェルマとは何ですか？

Fermahは、ゼロ知識証明の作成および利用方法を変革する汎用証明生成プラットフォームであり、ZKPを必要とする開発者とそれを生成するために必要な堅牢なインフラストラクチャとの間の橋渡しとして機能します。Fermahの核心としては、長年ZKPの領域に悩まされてきた技術的および財務上の障壁を取り除き、証明生成の効率的な代替手段を提供しています。

Fermahの使命とビジョン

Fermahのミッションは、ZKP技術を民主化し、開発者や企業が手頃で、迅速かつ信頼性のあるソリューションにアクセスできることを保証することです。そのビジョンは、リソースの重いインフラストラクチャの制約なしに、プライバシー、スケーラビリティ、セキュリティに関するグローバルアプリケーションを強化するZKP生成のバックボーンになることです。

Fermahの背後にあるテクノロジー

Fermahのアーキテクチャは、高度な暗号化技術と堅牢な分散型インフラストラクチャに基づいて構築されており、さまざまなアプリケーションのゼロ知識証明(ZKP)の生成を最適化するように設計されています。この基盤は、EigenLayerミドルウェアなどの最先端の暗号化ツールと、計算リソースを効率的に割り当てるピアツーピアのMatchmakerネットワークを統合しています。このプラットフォームは、複数のプルーフシステムをサポートするように設計されており、ブロックチェーンの検証から安全なデータ送信まで、さまざまなユースケースとのシームレスな互換性を確保しています。

フェルマーのコンポーネント

Fermahの核となる部分では、Seekers、Matchmaker、Operatorsの3つの重要なコンポーネントが使用されています。それぞれが全体のアーキテクチャにおいて独自の役割を果たし、スムーズで信頼性があり、スケーラブルなZKP生成を保証しています。それぞれのコンポーネントがどのように機能し、システムの効率にどのように貢献しているかについての詳細を以下に示します。

1. シーカーズ

シーカーは、ゼロ知識証明の生成が必要な開発者またはエンティティです。これには、ブロックチェーンプロジェクト、企業、プライバシーとセキュリティを強化したい個人などが含まれる場合があります。シーカーはプラットフォームを介して証明リクエストを提出し、自分の計算ニーズと必要なZKPの種類を指定します。リクエストが処理されると、シーカーは適切なリソースを持つオペレーターと接続され、証明生成を完了するための必要なリソースを持つオペレーターと接続されます。

1. マッチメイカー

マッチメーカーは、シーカーとオペレーターの間の橋渡しとして機能します。このピア・ツー・ピアのネットワークは、シーカーからの証明要求を適合するオペレーターとマッチングし、利用可能性とハードウェアの仕様に基づいて計算リソースの割り当てを最適化します。マッチメーカーは、各リクエストが定義された時間制限とコストパラメーター内でタスクを処理できるオペレーターにマッチングされることを確認します。その役割は、提出から完了までの各リクエストの状態を追跡することで、プロセス全体での透明性、信頼性、効率性を維持する上で重要です。

1. オペレーター

オペレーターは、実際の証明計算を実行するインフラストラクチャプロバイダーです。これらは、個々のハードウェアプロバイダーから、クラウドベースのリソースを提供する大規模なデータセンターまで多岐にわたります。オペレーターは、必要なZKPの生成に関連する計算タスクを実行する責任があります。あらかじめ決められた期間、ハードウェア リソースをコミットし、そうすることで、ネットワークの全体的なセキュリティと信頼性に貢献します。この分散型モデルにより、プルーフ生成のための多様で分散型のサプライチェーンが保証され、ボトルネックが防止され、冗長性が促進されます。

証明システムの展開

Fermahは、コンテンツ配信ネットワーク（CDN）のURLでホストされる証明システムをパッケージ化するためにDockerコンテナを使用しています。このセットアップにより、オペレーターは必要な証明システムに迅速にアクセスし、最小限の遅延で実行することができるため、プラットフォームが高い効率で動作することが保証されます。シーカーが証明リクエストを送信すると、システムはこれらのリクエストを検証し、適切なオペレーターにマッチングして指定された時間枠内に処理します。マッチメーカーは、各リクエストの進捗状況を継続的に監視し、責任を確保してシームレスな実行を保証します。

経済モデル

さらに、FermahはEigenLayerの分散型ステーキングモデルを利用しており、ネットワークの経済的なセキュリティを向上させています。オペレーターは指定された期間のためにリソースをステーキングし、システムとそのパフォーマンスに忠実であることを確認します。このステーキングモデルは、プラットフォームへの信頼を高め、オペレーターへの報酬の仕組みを提供し、両者のインセンティブを整合させます。システムの分散化は信頼性を向上させ、ZKPの生成に関連する運用コストを削減し、開発者と企業の両方にとって利用しやすくしています。

フェルマはどのように機能しますか？

Fermahのワークフローは、効率的で安全、透明性があり、シームレスなZero-Knowledge Proof (ZKP)の生成を保証しています。このプラットフォームは、Seekers、Matchmaker、Operatorsという3つのコアコンポーネントを含む構造化されたシステムを介して、ZKPの作成の複雑なプロセスを簡素化しています。以下では、プロセスがどのように展開されるかを詳しく見ていきます:

プルーフリクエストの提出

Seekers、開発者、ブロックチェーンプロジェクト、または企業がJSON-RPCサーバーを介してProofリクエストを提出することで、旅は始まります。これらのリクエストには、必要な計算の詳細（必要なZKPのタイプやタスクに関連するパラメータなど）が含まれます。さらに、Seekersは証明を生成するために使用される関連する証明システムへのリンクも提供します。このステップにより、必要な情報が事前に収集され、処理に使用できるようになり、システムがリソースを効果的に割り当てることができます。

タスク割り当て

プルーフリクエストが送信されると、マッチメイカーが引き継ぎます。まず、シーカーの適格性を検証し、サービスを使用するためのプラットフォームの要件を満たしていることを確認します。次に、マッチメイカーはタスクを適切なオペレーターに割り当てます。割り当ては、ハードウェアの互換性とリソースの可用性に基づいて行われます。マッチメイカーは、選択されたオペレーターが、必要な時間枠内で証明生成を実行するための計算能力を持っていることを保証します。このインテリジェントな照合プロセスにより、ネットワークの負荷が分散され、リソースが効率的に割り当てられます。

証明生成

タスクが割り当てられると、オペレーターは証明生成プロセスを開始します。オペレーターは、FermahがホストするCDN URLから必要な証明システムをダウンロードして高速かつ信頼性のあるアクセスを確保します。必要な証明システムを手に入れたオペレーターは、求められた証明を生成するために自分の計算リソースを使用します。このプロセス全体は、シーカーが設定したパラメータに準拠しており、証明が正確性とパフォーマンスの期待される基準を満たすことを保証しています。

結果の配信

証明が正常に生成された後、結果は指定されたコールバックURLを介してSeekerに配信されます。これにより、Seekerは完了した証明を直接かつ迅速に受け取ることができます。定義された時間制限内に証明を生成できない場合、リクエストは拒否されます。この保護措置により、プラットフォームが高いサービスおよび信頼性基準を維持し、不完全または遅延した証明生成が受け入れられることを防ぎます。

追跡と信頼性

全プロセスを通じて、マッチメーカーは各リクエストの状態を追跡する重要な役割を果たします。シーカーはリクエストをリアルタイムで監視することができ、システムへの完全な透明性と信頼性を確保します。さらに、オペレーターは最低500ブロック（約2時間）のリソースを提供し続けることで、タスクに関与し続け、専念することが保証されます。このコミットメントはネットワークの安定性を提供し、証明生成に一貫してリソースが利用可能であることを保証します。リクエストの追跡と適時な証明の提供により、ファーマはシーカーとオペレーターの両方に対して高い信頼性と責任を維持します。

Fermahの主な特徴

ユニバーサルプルーフ生成

Fermahは、zkVM、zkEVM、Groth16、その他多くのプロトコルを含む幅広いゼロ知識証明システムをサポートしています。このユニバーサルサポートにより、Fermahはさまざまな業界やユースケースに高度に適応し、さまざまな暗号化標準との互換性を確保します。この汎用性により、Fermahは増え続けるブロックチェーン、プライバシー、データ保護ソリューションに対応できます。この機能は、Fermahのプラットフォームのバックボーンとして機能し、ユーザーは比類のない効率と信頼性で、幅広い証明システムにわたって証明を生成できます。

ユニバーサルプルーフ生成の主要な側面

1. 信頼性のある中立的で包括的な：Fermahは、zkVM、zkEVM、Groth16など、すべての主要なプルーフシステムをサポートするように設計されています。この中立性により、ユーザーは特定のニーズに最適な証明システムを選択でき、1つの技術にロックされることなく利用できます。

2. マーケットプレイスモデル：このプラットフォームは、高性能なマシン（GPUやFPGAなど）からなる供給側と、zkRollups、ZKブリッジ、プライバシーに焦点を当てたソリューションなど、さまざまなアプリケーションでZKプルーフを必要とするユーザーからの需要をマッチングします。

3. コスト効率とパフォーマンス：Fermahは、コスト効果的かつ高性能な証明を生成するために最適化されています。ユーザーはパラメータを調整して価格とパフォーマンスのバランスを取ることができ、証明生成が財務上および運用上の要件を満たすことを保証します。

4. 複雑さの抽象化：Fermahの主な目標の1つは、ZK証明に関連する複雑さを抽象化することです。ユーザーフレンドリーなインターフェースと予測可能な価格モデルを提供することで、Fermahは、開発者や企業が深い暗号学的専門知識を必要とせずにZK証明をプロジェクトに統合することを容易にします。

5. 拡張性と信頼性：プラットフォームは、大規模な証明生成タスクを信頼性を持って処理するように設計されています。この拡張性は、高い証明のボリュームが必要なアプリケーションにとって重要であり、Fermahが小規模のプロジェクトから大企業の要求に対応できることを保証します。

ZK Bazaar：分散型マーケットプレイス

Fermahは、計算リソースの供給とZKPの需要を結ぶマーケットプレイスとして機能します。供給側は、プルーフ生成リクエストを処理できるGPUやFPGAから構成されています。プライバシー保護トランザクションやスケーラブルなブロックチェーン検証など、ゼロ知識技術を必要とする需要側アプリケーションは、プルーフリクエストを提出できます。Fermahのマッチメーカーは、リクエストを最適な運用者にマッチングし、コストとパフォーマンスを最適化します。

安価で速く信頼性の高いZK証明生成

Fermahのアーキテクチャは、高速かつ費用対効果の高いZKP生成を実現するように最適化されており、スケーラブルなソリューションを求める開発者や企業にアクセス可能にしています。プラットフォームが迅速にプルーフを処理する能力と信頼性を維持する能力は、時間的に敏感なプルーフ生成が重要なアプリケーションにとって理想的な選択肢となっています。

カスタマイズ可能な価格とパフォーマンス

Fermahは、開発者に価格とパフォーマンスのトレードオフを調整する機能を提供します。このバランスを微調整することで、ユーザーは特定のプロジェクトのニーズに基づいてProof Requestsを最適化することができます。このカスタマイズ機能により、Fermahは小規模プロジェクトと大企業の両方にとって柔軟なソリューションとなります。

データ保護プルーフ委任（近日公開）

Fermahは、データプロテクトプルービングデリゲーションを導入する予定です。このエキサイティングな機能により、プルーフ生成プロセス中に機密データが公開されないようにプライバシーが強化されます。この機能は、医療、金融、セキュア通信などの分野でのプロジェクトにとって貴重なものになるでしょう。

Fermahの使用例

ブロックチェーンの検証とプライバシー保護トランザクション

Fermahは、プライバシーとスケーラビリティが必要なブロックチェーンベースのアプリケーションに最適です。 ZKPを利用することで、ブロックチェーンネットワークは、機密情報を明らかにすることなくトランザクションを検証できます。 開発者は、トランザクションの検証に必要な証明を迅速に生成するためにFermahを利用できるため、分散型ファイナンス（DeFi）やプライバシーに焦点を当てたブロックチェーンプロジェクトにおいて重要な役割を果たします。

機密データ処理

安全なデータ共有の需要が増加するにつれて、Fermahは暗号化されたデータ上で計算を実行してプライバシーを確保する効果的な方法を提供しています。それは、重要な情報を保護しながら処理や分析を行う必要がある医療や金融などの産業に対して安全な計算を可能にします。

サプライチェーンと身元確認

フェルマの柔軟性は、サプライチェーン管理や身元確認などの産業にも拡大しています。 ゼロ知識証明により、機密データを公開せずに安全かつ効率的な身元確認やサプライチェーン内の製品追跡が可能となり、透明性とプライバシーの両方を保証します。

フェルマのDevnet

FermahのDevnetは、テストおよび開発フェーズの基盤として機能します。これは、コントロールされた安全な環境でSeekersとOperatorsを接続し、両者がProof Requestの提出と証明の生成に協力できるように設計された許可されたネットワークです。Devnetはすでに稼働しており、EigenLayer Operatorsが参加してProof Requestの処理を開始できます。このフェーズは、プラットフォームのコンポーネントを微調整し、公開前のスムーズな機能を確保するために重要です。

FermahのDevnetの主な特徴

• 開発者ツールキット：Fermahは、開発者がプルーフリクエストを提出するプロセスを簡素化する堅牢なSDKを提供します。ツールキットは開発サイクルを効率化し、事前に設定されたツールを提供することで使いやすさを向上させます。
• プレビルトのDockerイメージ：オペレーターは、セットアップの複雑さを減らすためにプレビルトのDockerイメージにアクセスできます。これらのイメージにより、オペレーターは追加のセットアップなしでシステムを簡単に設定して証明を生成することができます。
• 許可されたアクセス：Devnetは許可されたアクセスモデルの下で動作し、このテストフェーズ中に品質と信頼性を確保します。アクセス制御により、Fermahはネットワークを効率的に管理し、信頼できるパーティーのみが参加することを保証します。

Devnetは、開発者からのフィードバックを取り入れ、機能性を向上させるために定期的に更新されます。システムが進化するにつれて、新しい機能が追加され、効率性と拡張性が向上します。開発者は、Devnetダッシュボードを積極的に監視して、プラットフォームの継続的な改善に貢献する最新の更新と機能について把握することをお勧めします。この協力的なテスト環境により、Fermahは信頼性の高いスケーラブルなゼロ知識証明生成プラットフォームとなっています。

Devnetに参加するここ.

ファーマ・ファンディング

Fermahは、a16z CSXとLemniscapを共同リードし、Bankless Ventures、Longhash Ventures、P-OPS Team、ZK Validatorなどの有名な投資家が参加した、2024年9月17日に行われたシードファンドラウンドで520万ドルを調達しました。Balaji Srinivasan、Sandeep Nailwal、Mustafa Al-Bassam​​​​を含む有名人もエンジェル投資家として参加しました。この資金は製品開発とチーム拡充に向けられており、彼らのプルーフ生成マーケットプレイスを強化するためのものです。

Fermahチーム

Fermahは、ゼロ知識証明（ZKPs）の経験豊富な暗号学者であるVanishree Raoによって率いられています。彼女は以前、Minaプロトコルを手がけるチームであるO(1) Labsのリード暗号学者を務めていました。Vanishreeの暗号学に対する専門知識は、Fermahの開発において中心的な役割を果たしています。

彼女をサポートしているのは、チームにマーケティングの専門知識をもたらすチーフマーケティングオフィサー（CMO）のPranit Gargです。彼らは共に、ZKテクノロジーをよりアクセスしやすくスケーラブルにすることを目指しています。現在の資金は、FermahのZKPインフラストラクチャを強化し、さらなるチームの拡大を支援するのに役立ちます。

結論

Fermahは、ゼロ知識証明の生成をより速く、安く、信頼性の高いものに変えることで、その風景を変えています。そのユニバーサルな証明生成レイヤーは、技術的および財務的な障壁を取り除き、開発者が革新に集中できるようにします。ブロックチェーン開発者、プライバシーの支持者、または暗号ツールを活用するビジネスであっても、Fermahはゼロ知識証明の可能性を最大限に引き出すために必要なインフラを提供します。