如果你曾经尝试过使用 ZK 证明,你会知道这有多麻烦、昂贵和对硬件的要求有多高。这就是 @fermah_xyz 的用武之地。 Fermah 是一个帮助项目快速、便宜且可靠地生成零知识证明的平台。你不需要担心后端的复杂性。只需调用一个 API,就可以完成。 把 Fermah 想象成需要证明的人(如应用程序和区块链)与生成证明的人(使用 GPU、FPGA 等)之间的中介。就像 Uber,但用于证明。 在其核心,Fermah 是一个通用的证明层。它支持所有类型的 ZK 系统:zkEVMs、zkVMs、Groth16 和 STARKs 等等。因此,无论你是在使用 zkSync、Polygon 还是 Jolt,@fermah_xyz 都会支持你。 但他们并没有止步于此。他们还推出了一种叫做机密证明委托(CPD)的新方式。以私密的方式生成证明。没有人能看到你的电路数据,甚至连证明它的人也看不到。这对注重隐私的应用程序来说是非常强大的。 是的,fermah 最近在测试网上证明了一个 zkSync 区块。这是朝着现实世界应用迈出的巨大一步。 Fermah 背后是一支世界级的团队。由 Vanishree Rao 领导,她是一位拥有密码学博士学位的 ZK 专家,并得到了 a16z、Celestia 和 Aztec 等大牌的支持。(如果我错了,请纠正我 @vanishree_rao 关于 aztec 😅) 𝑻𝒉𝒆 𝒎𝒊𝒔𝒔𝒊𝒐𝒏?让 ZK 证明像发送推文一样简单和可及。 这只是个开始。Fermah 正在塑造去中心化证明的未来。如果你关心扩展性、隐私或在 ZK 领域的构建,你会想要关注他们。 gfermah 💚
1.51K