零知識證明（ZKP）是密碼學領域的遊戲規則改變者，使一方能夠在不透露潛在信息的情況下證明陳述的真實性。但是，生成 ZKP 是一個成本高昂、資源密集型的過程。開發人員面臨著採購、部署和維護成本高昂的基礎設施的挑戰，而這些基礎設施往往未得到充分利用。這種低效率提高了使用者成本並減緩了採用速度，使基於 ZKP 的解決方案更難獲得。

Fermah通過其通用證明生成層解決了這個問題。 Fermah旨在使ZKPs更快，更便宜和更可靠，消除了基礎設施瓶頸並優化了資源利用。利用先進技術，為開發人員和最終用戶創造了無縫體驗。無論您是區塊鏈開發人員，正在保護數據的公司還是尋求隱私的個人，Fermah都使ZKP生成變得可訪問和高效。

Fermah是什麼？

Fermah 是一個通用的證明生成平台，它改變了零知識證明的創建和利用方式。它充當開發人員需要ZKP和生成它們所需的強大基礎設施之間的橋樑。從本質上講，Fermah 消除了長期困擾ZKP 領域的技術和財務障礙，為證明生成提供了一個有效的替代方案。

Fermah的使命與願景

Fermah的使命是民主化ZKP技術，確保開發人員和企業可以獲得負擔得起、快速和可靠的解決方案。它的願景是成為ZKP生成的支柱，賦予全球應用在隱私、可擴展性和安全性方面的能力，而無需受限於資源密集型基礎設施。

Fermah背後的技術

Fermah的架構建立在先進的加密技術和強大的去中心化基礎設施之上，旨在優化各種應用的零知識證明（ZKP）的生成。該基礎集成了最先進的加密工具，例如EigenLayer中間件，以及可有效分配計算資源的點對點Matchmaker網路。該平臺旨在支援多個證明系統，確保與從區塊鏈驗證到安全數據傳輸的各種用例無縫相容。

Fermah的組件

在其核心，Fermah 使用三個基本元件：尋找者、媒人和操作者。每個元件在整體架構中扮演著獨特的角色，確保 ZKP 生成的流暢、可靠和可擴展。以下是每個元件如何運作並為系統的效率做出貢獻的詳細說明：

1. 尋找者

尋求者是需要生成零知識證明的開發人員或實體。這些可能包括區塊鏈項目、企業，甚至是希望增強隱私和安全性的個人。尋求者通過平台提交證明請求，指定他們的計算需求和所需的ZKP類型。一旦他們的請求被處理，尋求者將與具有完成證明生成所需資源的適當運算子聯繫。

1. 媒人

媒人充當尋找者和運營商之間的橋樑。 這個點對點網絡將尋找者的驗證請求與兼容的運營商進行匹配，根據可用性和硬件規格優化計算資源的分配。 媒人確保每個請求都與能夠在指定的時間限制和成本參數內處理任務的運營商匹配。 它的角色在整個過程中至關重要，因為它從提交到完成跟踪每個請求的狀態，從而確保透明度，可靠性和效率。

1. 運營商

運營商是提供基礎設施的人員，負責執行實際的證明計算。這些運營商可以是個別的硬件提供商，也可以是提供基於雲的大規模數據中心。運營商負責執行與生成所需的零知識證明相關的計算任務。他們將硬件資源用於預定期間，通過這樣做，他們有助於網絡的整體安全性和可靠性。這種去中心化模式確保了證明生成的多樣性和分佈式供應鏈，從而防止瓶頸並促進冗餘性。

驗證系統部署

Fermah使用Docker容器封裝證明系統，然後將其託管在內容傳遞網絡（CDN）URL上。該設置允許運營商迅速訪問必要的證明系統並以最小的延遲執行它們，確保平台高效運作。當求證者提交他們的求證請求時，系統會驗證這些請求，將它們與適合的運營商匹配並在指定的時間內處理它們。配對製造者持續監控和追蹤每個請求的進度，確保負責和無縫執行。

經濟模型

此外，Fermah利用EigenLayer的去中心化權益模型，提升了其網絡的經濟安全性。運營商會為指定的時期賭注其資源，確保他們對系統及其表現的承諾。這種權益模型提升了對平台的信任，並為運營商提供了一種獎勵機制，使雙方的激勵措施保持一致。系統的去中心化特性有助於提高其可靠性，並減少與ZKP生成相關的運營成本，使其更易於開發人員和企業使用。

Fermah如何運作？

Fermah的工作流程旨在高效、安全且透明，確保無縫的零知識證明（ZKP）生成。該平台通過一個結構化系統簡化了ZKP創建的複雜過程，該系統涉及三個核心組件：求職者、媒人和運營商。以下是該過程如何展開的更近距離觀察：

證明請求提交

當尋求者（無論是開發人員、區塊鏈項目或企業）通過 JSON-RPC 服務器提交他們的證明請求時，旅程就開始了。這些請求包括具體的計算細節，例如所需的零知識證明類型和與任務相關的參數。此外，尋求者還提供了將用於生成證明的相關證明系統的鏈接。這一步確保所有必要的信息在前期收集並可供處理，從而使系統能夠有效分配資源。

任務分配

一旦提交驗證請求，媒人就接手了。它首先驗證求證者的資格，確保他們符合使用服務的平台要求。然後，媒人將任務分配給適當的操作者。分配是基於硬體兼容性和資源可用性。媒人確保所選擇的操作者具有計算能力，在所需時間框架內執行證明生成。這種智能配對流程有助於平衡網路負載，並確保有效分配資源。

生成證明

一旦任務被分配，運營商便開始生成證明的過程。運營商從CDN URL下載必要的證明系統，這些系統由Fermah提供，以確保快速可靠的訪問。有了必要的證明系統，運營商利用他們的計算資源來生成被求証者要求的證明。整個過程符合被求証者設定的參數，確保證明符合預期的準確性和性能要求。

結果交付

在成功生成驗證後，結果將通過指定的回調 URL 交付給求助者。這確保求助者直接且及時地收到完成的驗證。如果由於任何原因，在規定的時間限制內無法生成驗證，該請求將被標記為拒絕。這一保障措施確保平台保持高服務和可靠性水準，防止不完整或延遲的驗證生成被接受。

追踪和可靠性

在整個過程中，匹配器在跟蹤每個請求的狀態方面起著至關重要的作用。求職者能夠實時監控他們的請求，確保系統的完全透明和信心。此外，操作員將他們的資源投入至少 500 個區塊，大約兩個小時，確保他們保持參與並致力於任務。這種承諾為網路提供了穩定性，並確保資源始終可用於校樣生成。通過跟蹤請求並確保及時交付證據，Fermah為搜索者和運營商保持了高水準的可靠性和問責制。

Fermah的主要特點

通用證明生成

Fermah支持多種零知識證明系統，包括zkVMs、zkEVMs、Groth16和許多其他協議。這種通用支持使Fermah非常適應不同的行業和用例，確保與各種加密標準兼容。這種多功能性使Fermah能夠滿足不斷增長的區塊鏈、隱私和數據保護解決方案。該功能是Fermah平台的支撐，使用戶能夠在各種證明系統上生成證明，具有無與倫比的效率和可靠性。

通用证明生成的关键方面

1. 可靠中立和包容性: Fermah的架構支援所有主要的證明系統，包括zkVMs、zkEVMs、Groth16等等。這種中立性確保用戶可以根據自己的特定需求選擇最適合的證明系統，而不被限制於單一技術。

2. 市場模式：該平台作為一個市場運營，供應端包括高性能機器，如GPU和FPGA。這些資源與需要各種應用程序的用戶的需求匹配，例如zkRollups、ZK橋樑和隱私導向解決方案的ZK證明。

3. 成本效益和性能：Fermah被优化用于生成具有成本效益和高性能的证明。用户可以调整参数，平衡价格和性能，确保证明生成满足他们的财务和运营要求。

4. 抽象复杂性：Fermah 的主要目標之一是抽象化與 ZK 證明相關的複雜性。通過提供用戶友好的界面和可預測的價格模型，Fermah 使開發人員和企業更容易將 ZK 證明集成到其項目中，而無需深入的加密專業知識。

5. 可擴展性和可靠性：該平台旨在可靠地處理大規模的證明生成任務。這種可擴展性對於需要大量證明的應用非常重要，確保 Fermah 能夠滿足小型項目和大型企業的需求。

ZK Bazaar：一個去中心化的市場

Fermah 作為一個市場，將計算資源的供應與 ZKP 的需求相連接。供應端包括可以處理證明生成請求的 GPU 和 FPGA。需要零知識技術的需求端應用程式（例如保護隱私的交易或可擴展的區塊鏈驗證）可以提交證明請求。Fermah 月老確保請求與最適合的運營商匹配，從而優化成本和性能。

便宜、快速、可靠的ZK證明生成

Fermah的架構經過優化，以提供快速且具成本效益的ZKP生成，使開發人員和企業能夠獲得可擴展的解決方案。平台快速處理證明的能力，同時保持可靠性，使其成為應用領域中對證明生成具有時間敏感性要求的理想選擇。

可定制的價格和性能

Fermah提供開發人員調整價格和性能之間的權衡能力。通過微調這種平衡，用戶可以根據特定項目需求優化其證明請求。這一定制功能使Fermah成為小型項目和大型企業的靈活解決方案。

數據保護的證明委派（即將推出）

Fermah 將推出「數據保護代理證明」（Data-Protected Proving Delegation），這是一項令人興奮的功能，通過確保在證明生成過程中不暴露敏感數據，提升隱私保護。這一功能對於醫療保健、金融和安全通訊等領域的項目將非常有價值。

Fermah的使用案例

區塊鏈驗證和隱私保護交易

Fermah非常適合需要隱私和可擴展性的基於區塊鏈的應用。通過利用零知識證明，區塊鏈網絡可以在不暴露敏感信息的情況下驗證交易。開發人員可以依賴Fermah快速生成所需的交易驗證證明，使其成為去中心化金融（DeFi）和隱私導向的區塊鏈項目的關鍵角色。

機密數據處理

隨著對安全數據共享需求的增加，Fermah提供了一種在加密數據上執行計算的有效方式，確保隱私。它為醫療保健和金融等行業提供了安全的計算，這些行業需要保持敏感信息的私密性，同時仍然需要被處理或分析。

供應鏈和身份驗證

Fermah的靈活性還延伸到供應鏈管理和身份驗證等行業。零知識證明可以在不暴露敏感數據的情況下進行安全高效的身份檢查或追蹤供應鏈中的產品，確保透明度和隱私。

Fermah的Devnet

Fermah的Devnet作為其測試和開發階段的基礎。它是一個許可網絡，旨在在受控、安全的環境中連接尋求者和運營商，允許兩方在證明請求提交和證明生成方面進行協作。Devnet已經上線，對EigenLayer運營商開放，他們可以選擇開始處理證明請求。在其公開發布之前，這一階段對於微調平台的組件並確保其平滑功能至關重要。

Fermah的Devnet的主要特色

• 開發者工具包：Fermah提供了一個強大的SDK，簡化了開發者提交驗證請求的過程。該工具包通過提供預配置工具來優化開發週期並提高易用性。
• 預先構建的Docker映像：運營商可以訪問預先構建的Docker映像，減少設置的複雜性。這些映像確保運營商可以輕鬆配置他們的系統以生成證明，而無需進行額外的設置。
• 權限訪問：Devnet在權限訪問模式下運作，確保在此測試階段的質量和可靠性。訪問控制允許Fermah有效管理網絡，並確保僅有可信任的各方參與。

Devnet定期更新，以納入開發者的反饋並改善功能。隨著系統的演進，Devnet將包含新功能，以增強效率和可擴展性。鼓勵開發者積極監控Devnet儀表板，以獲取有關最新更新和功能的資訊，有助於平台的持續改進。這種協同測試環境使Fermah成為可靠且可擴展的零知識證明生成平台。

加入 Devnet 這裡.

Fermah 資金募集

Fermah最近在2024年9月17日的種子輪融資中獲得了520萬美元，由a16z CSX和Lemniscap共同領投，並得到了Bankless Ventures、Longhash Ventures、P-OPS Team和ZK Validator等知名投資者的參與。知名人士如Balaji Srinivasan、Sandeep Nailwal和Mustafa Al-Bassam​​​​也加入了天使投資者行列。這筆融資將用於產品開發和團隊擴充，以加強他們的證明生成市場。

Fermah 團隊

Fermah由具有超過15年零知識證明（ZKP）經驗的密碼學家Vanishree Rao領導。她曾在Mina Protocol背後的團隊O(1) Labs擔任首席密碼學家。Vanishree在密碼學方面的專業知識對Fermah的發展至關重要。

她的支持者是Pranit Garg，他是首席营销官（CMO），为团队带来了他的市场营销专业知识。他们共同的目标是使ZK技术更易于访问和可扩展。目前的资金将有助于加强Fermah的ZKP基础设施，并支持进一步的团队扩展。

結論

Fermah正在改變零知識證明生成的形勢，使其更快、更便宜、更可靠。其通用證明生成層消除了技術和財務障礙，使開發人員能夠專注於創新。無論您是區塊鏈開發人員、隱私倡導者還是利用加密工具的企業，Fermah都提供了解鎖零知識證明的基礎設施。