从纯数学到 ZK 工程｜Community Call #215 回顾
8 月 29 日，LXDAO Community Call #215 在线上举行。两位新朋友分享了自己的背景和近期关注方向，大家也围绕 ZK 的实际应用、工程实践和职业路径进行了较长时间的交流，并同步了近期 Builder 机会、开源治理案例、HermesCN 共学及 ETHShanghai 2026 的进展。
01 欢迎新朋友
Sun
Sun 是刚毕业的纯理论数学博士，目前正在学习零知识证明，希望从理论研究转向具体的代码实现。
他希望认识有 ZK 工程经验的伙伴，了解入门阶段容易遇到的问题，以及如何判断自己距离求职还有多远。他也愿意发挥纯数学背景，帮助大家理解数学类文献。
peanut
peanut 目前从事 AI／大模型开发，对 Web3 感兴趣，希望与社区成员继续交流学习。
会前论坛回帖中还补充了一份 AI Agent 入门材料：
02 本周信号与机会
会上同步了近期值得关注的开放研究、构建活动、生态报告和学习资源。参与资格、时间和具体规则请以官方页面为准。
better.codes：AI Agent × 形式化验证
better.codes 是 EF Formal Verification 团队与 Yukon、zkSecurity 发起的开放研究挑战，尝试用 AI Agent 改进 Lean 形式化的 SNARK 安全研究，并由 Lean kernel 验证结果。它同时连接 AI Agent、ZK、密码学、Lean 和 Ethereum，适合相关方向的研究者与 Builder 继续了解。
DuckLabs 加入 AWS：开源项目如何保持公共性
DuckLabs 团队预计于 9 月初加入 AWS，DuckDB 等项目将继续采用 MIT License，并由非营利 DuckDB Foundation 治理。现场由此讨论了核心研发团队进入大型商业公司后，开源代码、基金会、品牌、项目维护和社区之间应如何划分边界。
BOSS Battle：隐私、Nostr 与 AI 构建赛
BOSS Battle 是 Bitshala 举办的线上开源构建赛，方向包括 Privacy、Nostr 和 AI，总奖金为 3,000 美元，支持 1–3 人组队。活动时间为 9 月 7 日至 10 月 5 日，感兴趣的 Builder 可以查看官方赛题，也可以在论坛寻找队友。
EF Q2 资助分配
Ethereum Foundation 公布了 Q2 资助分配，覆盖 ZK、隐私、客户端多样性、形式化验证、安全研究、开源工具、Ethereum 教育，以及 Agent 和程序分析等方向。这是一份已经完成的资助记录，并非当前开放申请，可作为观察 Ethereum 生态真实投入方向的参考。
Gitcoin 治理与公共物品资助
结合 Gitcoin 关于治理合法性的讨论，现场交流了公共物品资助中的资金分配、成果验证和长期问责问题。投票、社区声量和一次性 Grant 未必能准确反映真实贡献；开源项目除了寻求资助，也需要探索托管服务、软件分发、增值功能或长期服务等可持续方式。这些属于开放讨论，没有形成 LXDAO 的统一方案。
Hugging Face AI Agents Course
现场还推荐了 Hugging Face 的免费 AI Agents Course，内容覆盖 Agent 基础、smolagents、LlamaIndex、LangGraph、Agentic RAG、可观测性、评估和最终项目。有人提出未来可以视成员兴趣组织共学，但目前尚未确定负责人、时间和具体安排。
03 社区议题与共建方向
从纯数学到 ZK 工程
围绕 Sun 的经历和问题，大家从 ZK 的实际用途、工程难点、Ethereum 中的作用，以及学习和求职路径等方面展开了讨论。以下内容用于记录现场交流过的问题和方向，不代表 LXDAO 对具体技术路线或行业前景形成了统一判断。
ZK 的实际用途与工程约束
现场首先谈到 ZK 在区块链中的两个重要方向：一是隐私保护，在不公开原始信息的情况下证明某个条件或计算结果成立；二是扩容与验证，将大量交易和计算压缩成证明，再由链上或其他节点验证。
以 ZK Rollup 为例，大量交易可以先在链下执行，再把结果和有效性证明提交到 Ethereum。验证者无需重新执行全部链下交易，也能验证这次状态转换是否遵守既定规则。
大家也重点讨论了证明生成时间、验证资源、高性能硬件需求和节点运行成本。如果生成证明需要几个小时，或者必须依赖昂贵硬件，系统就很难支持高频交易和持续出块。因此，证明生成和验证性能是 ZK 从理论走向实际应用时绕不开的工程问题。
ZK、Ethereum 与形式化验证
随着 Ethereum 的状态和历史数据不断增长，如果节点的存储和验证负担持续上升，能够运行节点的人可能越来越少，这与去中心化的目标存在张力。现场由此延伸讨论了减少节点保存全部状态数据的需求，以及通过可验证证明确认状态转换和历史数据有效性的设想。
Sun 也提出，AI 的发展会如何影响 ZK 行业和数学背景从业者。现场认为，AI 一方面可能提高智能合约漏洞的发现效率，甚至让自动化攻击变得更容易；另一方面，也可能辅助程序分析和形式化验证，用机器可验证的方式检查系统是否满足预期规则。
因此，ZK、形式化验证、密码学和 AI 辅助安全之间可能出现更多交叉研究和工程机会，这也与会上介绍的 better.codes 形成了呼应。
从数学背景转向 ZK 工程
对于如何积累实践经验，现场重点讨论了此前论坛回复中提到的 benchmark。大家建议可以先选择范围较小的 ZK 协议或组件，理解数学原理并阅读已有实现，再逐步复现项目、比较证明生成与验证性能，并参与开源项目或研究挑战。
数学背景是理解 ZK 的优势，但要转向工程岗位，还需要把数学思想转化为代码、测试和可运行的实现。公开项目和实践经历有助于展示工程能力，但并不等同于就业保证。
Qy 在会前论坛回帖中补充了 PSE（Privacy Stewards of Ethereum）项目库。这里整理了 PSE 团队研究、孵化和维护的 40 个项目，覆盖匿名身份、抗合谋投票、可验证数据、MPC 等方向，并提供项目状态、官网、GitHub 和社区入口，可用于寻找学习材料、开发工具和开源贡献方向。
HermesCN 第一期残酷共学
Ray 分享了 HermesCN 第一期残酷共学的进展。第一期围绕“用 7 天完成一个真实任务”展开，希望参与者把 Hermes 真正用于工作、学习和项目，而不只停留在安装和体验。
现场也交流了一些参与者的实践方式，并提出可以在获得参与者同意后，将其中较有代表性的实践整理成案例或文章。目前这一想法尚未确定具体负责人和时间。
HermesCN 第二期计划于下周启动，具体日期和报名方式以后续通知为准。
ETHShanghai 2026
ETHShanghai 2026 正在筹备中，将于 9 月 22 日在上海举行，主题为 The Ethereum Renaissance。
现场邀请感兴趣的成员提前报名。活动地点等信息仍在确认中，以官方后续更新为准。
04 参与下一期周会
LXDAO Community Call 欢迎成员带来正在学习或推进的项目、最近遇到的问题，或者一段希望和大家交流的实践。
下一期周会为 Community Call #216｜9 月 5 日。议程和回帖入口：
提前回帖时，可以简单说明：
- 最近在做什么，目前到了哪一步；
- 遇到了什么问题；
- 希望认识什么伙伴或获得什么帮助；
- 能为其他成员提供什么支持。
周会入口：
议题、项目、需求或可以提供的支持，都可以直接回复在当期论坛帖子中。
本文根据 2026 年 8 月 29 日完整会议音频及论坛议程、回帖整理。活动信息请以官方页面为准。