今天是星期一,还有什么比写关于@fermah_xyz 更好的方式来开始这一周呢! 那么,Fermah到底是什么呢? Fermah 基本上是一个 zkproof 市场,连接需要零知识证明的用户(寻求者)和生成证明的用户(证明者)。可以把它想象成 Uber,它通过高效地将司机与需要搭车的人匹配在一起。 附注:这是同类中的第一个 🫠 这怎么可能呢? 我知道你在想什么,我也有同样的问题,这就是我阅读文档并感到兴奋的原因,我来分享这个。 Fermah 技术的核心有三个基本组成部分: - 寻求者节点 - 匹配器(核心) - 证明者节点 匹配器是乐趣开始的地方 你看,@vanishree_rao 想要在这里实现的目标是让任何人都能使用他们选择的任何证明系统来有效验证任务,这就是为什么 Fermah 是与证明无关的。它支持所有主要的证明系统,包括 RISC Zero 的 @boundless_xyz、@SuccinctLabs SP1、@a16zcrypto 的 Jolt、@0xLita 的 Valida、@StarkWareLtd 的 Stwo,并迅速扩展以适应 @aztecnetwork 的证明系统、@NexusLabs zkVM、@StarkWareLtd 的 Stone 以及未来可能发明的所有其他证明系统。开发者不再需要根据证明系统来调整他们的应用程序,你可以在任何链上构建,并让 Fermah 处理你的证明。 匹配器所做的(顾名思义)是协调网络中的工作。它的工作原理是: - 首先验证请求参数 - 然后根据所需的硬件、成本和性能标准智能匹配任务到最佳证明者节点 你不再需要担心闲置的 GPU 或证明生成时间过长的问题。 有了 @fermah_xyz,隐私触手可及!
1.24K