热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
Vanishree Rao
创办人 @fermah_xyz |15 年设计和制造 ZK |加州大学洛杉矶分校密码学博士 |MAMA BEAR 模式
Vanishree Rao 已转发
欢迎回到与 Justified 一起学习 Fermah 的环节，我们将复杂的 ZK 问题用简单的日常语言进行解析。关于零知识的真实对话，以及 @fermah_xyz 如何塑造未来。让我们深入今天的问题。
现在这是来自课堂的一个重要问题：
抽象证明工作流能否成为 ZK 的 AWS Lambda？是否太过远大，还是已经到来？
让我们来分析一下。AWS Lambda 通过让开发者在不管理服务器的情况下运行代码，改变了游戏规则。一切变得更快、更轻、更具可扩展性。在 ZK 世界中，这种转变已经在发生，而 Fermah 正处于这一中心。
在此之前，生成 ZK 证明意味着要处理复杂的设置、昂贵的硬件和大量的优化难题。但 @fermah_xyz 颠覆了这一点。它为开发者提供了一个简单的 API 接口，背后则处理所有硬件、匹配、优化，甚至是机密证明。
这就是它让人感觉像是 ZK 的 AWS Lambda，按需、可扩展且对开发者友好。随着这一模式成为常态，我们将看到更多项目专注于其产品逻辑，而不是证明工程。证明变成了你“调用”的东西，而不是你“构建”的东西。一旦它达到真正的云级可扩展性和弹性，整个 ZK 生态系统将会更快地增长。
初创公司可以在不需要深厚密码学团队的情况下构建 ZK 应用。大公司可以以更低的成本扩展证明。Fermah 通过抽象复杂性并为大众采用打开大门，使这一未来成为现实。这不仅仅是便利，而是一个催化性的转变。
这就是倡导者 @vanishree_rao 和团队正在构建的 gfermah 💚
367
喜欢这篇文章，@Da_justified
7月17日 19:02
如果你曾经尝试过使用 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 💚
549
.@lagon20ms 深入探索！继续加油。
CPD 是美丽的，因为它无可否认地增加了价值。
7月16日 19:50
fermah 的 CPD
正如我们所知，我在过去几天一直在学习 @fermah_xyz，而这一部分让我印象深刻：
机密证明委托 (CPD)
这就是 fermah 如何让你在不放弃数据的情况下卸载 zk 证明工作。
你看，证明是一项繁重的工作。
对于以隐私为首的应用来说，这更难。
你想要委托工作，但又不想泄露敏感信息。
CPD 解决了这个问题；
通过 CPD，你提交一个证明任务，
在到达任何证明者之前，它会被拆分和混淆。
网络可以证明你的计算，而无需看到你的原始输入。
证明者不知道完整的见证；
他们不知道自己在证明什么值；
他们只知道：
“这是有效的，这里有一个证明来展示它。”
这是隐私，规模化的隐私；
当你需要时，你可以获得计算能力，
而且没有人能看到你的证明任务的内部，无论它是什么。
@fermah_xyz 的 CPD 目前已在 Groth16 上上线，
像 Risc Zero 的 zkVM、SP1 和其他的也即将推出；
这解锁了 zk 堆栈的一个巨大部分；
它是私密证明，设计上是无信任的。
这就是 zk 基础设施应该有的感觉；
可扩展、隐形，并围绕用户构建。
你只需编写逻辑，
网络会处理其余的。
102.49K
Vanishree Rao 已转发
最大的进步往往在沉默中发生
任何技术领域中最具突破性的进展往往是在沉默中诞生的，通过在闭门造车中形成的合作伙伴关系和在聚光灯之外开发的创新。
真正的进步并不总是一开始就喧闹。但当它最终浮出水面时，它会震撼世界。
在ZK领域，我们今天所见的爆炸性兴趣、势头和吸引力，并不是一夜之间出现的。这是多年安静而持续努力的结果。
从Zcash等项目的基础工作到ZKSync及其他，这一运动是一步一步建立起来的。当前的浪潮之所以可能，是因为已经打下的基础。
今天，以太坊及其创始人Vitalik Buterin正在推动将整个以太坊区块链转变为ZKEvm驱动的系统。但即便如此，这一愿景也深深植根于多年前开始的ZKP之旅。
话虽如此，沉默太久可能会成为一个问题。在一个注意力就是货币的世界里，过于安静可能看起来像是停滞不前。
有一句话：运气是准备与机会相遇时发生的事情。但机会往往是在别人知道你在建设时出现的。
所以在沉默中建设时，不要害怕发出声音。展示你正在创造的东西。
最近，@fermah_xyz与@mintairxyz之间的公告显示，他们自早期阶段以来一直积极支持@fermah_xyz的证明市场，并且在fermah接近主网时加倍努力这一合作。
让那些将来依赖于你创新的人、社区和区块链知道你的存在，知道你在工作、实验和突破极限。
总之，ZKP的支柱一直是其幕后努力：安静的基础工作、失败的实验、不懈的测试和聪明的合作伙伴关系。我们今天所看到的不是运气，而是遗产在运动中。
@PranitGarg
1.03K
Vanishree Rao 已转发
今天是星期一，还有什么比写关于@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.22K
热门
排行
收藏