如果你曾經嘗試過使用 ZK 證明，你會知道這有多麼麻煩、昂貴且需要大量硬體資源。這就是 @fermah_xyz 的用武之地。 Fermah 是一個幫助項目快速、便宜且可靠地生成零知識證明的平台。你不需要擔心後端的複雜性。只需調用一個 API，就可以完成。 把 Fermah 想像成需要證明的人（如應用程式和區塊鏈）與生成證明的人（使用 GPU、FPGA 等）之間的中介。這就像 Uber，但用於證明。 在其核心，Fermah 是一個通用的證明層。它支持所有類型的 ZK 系統：zkEVMs、zkVMs、Groth16 和 STARKs 等等。因此，無論你是使用 zkSync、Polygon 還是 Jolt，@fermah_xyz 都會支持你。 但他們並沒有止步於此。他們還推出了一種稱為機密證明委託（CPD）的新方式。這是一種私密生成證明的新方法。沒有人能看到你的電路數據，甚至連證明它的人也看不到。這對於注重隱私的應用來說是非常強大的。 是的，fermah 最近在測試網上證明了一個 zkSync 區塊。這是邁向現實世界採用的一大步。 Fermah 背後是一支世界級的團隊。由 ZK 專家 Vanishree Rao 領導，她擁有密碼學的博士學位，並得到了 a16z、Celestia 和 Aztec 等大牌的支持。（我希望 @vanishree_rao 在 Aztec 上的說法是正確的 😅） 𝑻𝒉𝒆 𝒎𝒊𝒔𝒔𝒊𝒐𝒏？讓 ZK 證明變得像發送推文一樣簡單和可及。 這只是個開始。Fermah 正在塑造去中心化證明的未來。如果你關心擴展性、隱私或在 ZK 領域的建設，你會想要關注他們。 gfermah 💚