𝐇𝐨𝐰𝐚𝐭 𝐭𝐡𝐞 𝐟𝐢𝐫𝐬𝐭 𝐭𝐡𝐢𝐧𝐠 𝐭𝐡𝐚𝐭 𝐜𝐨𝐦𝐞𝐬 𝐭𝐨 𝐲𝐨𝐮𝐫 𝐦𝐢𝐧𝐝 𝐰𝐡𝐞𝐧 𝐲𝐨𝐮 𝐡𝐞𝐚𝐫 𝐙𝐊？ 對我來說，是𝐅𝐞𝐫𝐦𝐚𝐡。 因為 @fermah_xyz 並不是在嘗試建立下一個 ZK rollup、zkVM 或新的證明系統。 它正在建立一個所有這些系統都可以接入的平台。 ZK 證明是強大的，但運行它們的基礎設施則完全是另一回事。 你需要強大的硬體（通常是 GPU）、 高度專業化的軟體環境， 以及可靠的協調來確保一切運行順利。 這是昂貴的、分散的，並且為每個堆棧量身定做。 • 想要證明 Groth16？你需要設置一個系統。 • 想要證明 Scroll 批次或 zkSync 區塊？那是另一個。 • 需要運行 RISC Zero 或 Jolt zkVM？又是不同的。 就好像每個串流服務都需要自己的電視、自己的遙控器和自己的沙發。 𝐅𝐞𝐫𝐦𝐚𝐡 改變了這一點。 Fermah 是一個 𝐮𝐧𝐢𝐯𝐞𝐫𝐬𝐚𝐥 𝐩𝐫𝐨𝐨𝐟 𝐠𝐞𝐧𝐞𝐫𝐚𝐭𝐢𝐨𝐧 𝐦𝐚𝐫𝐤𝐞𝐭𝐩𝐥𝐚𝐜𝐞。 這意味著任何人都可以在不同的證明系統、鏈和虛擬機上提交證明請求， 而 Fermah 將把它們與合適的運算節點匹配，以計算並返回該證明。 你使用 AWS 來運行計算， 你將使用 Fermah 來生成證明。 Fermah 解決了什麼問題？ 它抽象了證明基礎設施。 不再需要管理機器、安裝電路或構建 Docker 運行時。 相反，尋求者通過 RPC 或 SDK 提交作業。Fermah 的配對器將它們分配給可用的證明節點。 證明被返回並可選擇存儲。 在底層，這些節點由 Eigenlayer 操作員運行。 這意味著 Fermah 利用以太坊不斷增長的再抵押經濟來提供去中心化、高效的證明生成。 這種協調模型意味著： • 更高的證明者利用率 • 每個證明的成本更低 • 更快的返回時間 • 證明作為服務（大規模） 而且這不是理論上的。它正在運行。 Fermah 目前為 @zksync 提供生產工作負載，生成具有強大經濟性能的區塊證明。 它還集成到 Scroll 的 zkEVM 管道中，涵蓋了塊、批次和捆綁階段。 而且它是 a16z 的 Jolt zkVM 的證明層，該層在 Fermah 的測試網上運行。 Fermah 並不是推動又一個 ZK 框架，而是將自己定位為連接層，將零知識證明生成轉變為可編程、可靠的原語，供所有人使用。 那麼 Fermah 在實際上提供了什麼？ 一個單一的介面： • 生成 Groth16、zkVM、zkEVM、RISC Zero 或 Jolt 證明 • 將證明委派給離線節點，與你的應用邏輯抽象開來 • 在鏈和系統之間集成證明生成 • 避免維護內部證明基礎設施的開發運維負擔 就像開發者不會建立數據中心來部署應用， Fermah 認為你不應該需要建立一個證明者農場來使用零知識。 TL;DR Fermah 不僅僅是另一個 ZK 工具。 它是使通用 ZK 生成成為可能的基礎設施層。 當證明生成變得商品化、自動化，並在整個堆棧中集成時， 這不會是因為每個應用都建立了自己的管道。 而是因為 Fermah 使得接入和獲得證明變得簡單。 Gfermah。 @vanishree_rao