LXDAO Community Call #215|8 月 29 日

每周六的 LXDAO Community Call,帮助 Builder 快速了解本周值得关注的方向、认识社区成员,并找到可以参与、协作或获得支持的下一步。欢迎提前回帖提交你的介绍、议题、需求、信息源或活动。

1. 本期价值预告|3 分钟

快速预告本期值得关注的信号、协作入口和重点议题,帮助大家判断最适合自己的参与方式。

2. 新面孔与协作入口|5–8 分钟

欢迎第一次参加或最近加入的朋友,用简短介绍让大家认识你,并说清希望连接的人或方向。

回帖格式|新人报到
类型:新人报到
我是谁:
我在做什么:
我需要什么:
我能提供什么:

3. 本周信号与机会|10–15 分钟

本周精选 3 个可参与机会和 3 个开源/公共物品信号。时间与规则可能调整,参与前请以官方页面为准。

1)better.codes

  • 是什么: EF Formal Verification 团队与 Yukon、zkSecurity 发起的开放研究挑战,用 AI Agent 改进 Lean 形式化的 SNARK 安全边界,结果由 Lean kernel 验证。
  • 为什么值得关注: 同时连接 AI Agent、Ethereum、ZK、形式化验证和开源公共物品,与 LXDAO 的研发方向高度贴合。
  • 适合谁: Lean、ZK、密码学、形式化验证及 Agent 方向的研究者和 Builder。
  • 如何参与/截止时间: 挑战已开放,可先尝试技术导读或最小复现;官方未列固定截止时间或通用奖金。
  • 项目入口: https://better.codes/
  • 官方介绍: Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration | Ethereum Foundation Blog

2)DuckLabs 加入 AWS:开源项目如何保持公共性

  • 是什么: DuckLabs 团队预计 9 月初加入 AWS;DuckDB 等项目继续采用 MIT License,由非营利 DuckDB Foundation 治理。
  • 为什么值得关注: 为开源项目获得商业资源后,如何保持公共性、独立治理和社区信任提供了具体案例。
  • 适合谁: 开源项目负责人、维护者,以及关注基金会治理和项目可持续性的成员。
  • 如何参与/时间: 这是 8 月 26 日发布的行业信号,不是报名机会;周会将讨论代码、品牌、基金会、商业实体与社区资产的边界。
  • 官方公告: DuckLabs – DuckLabs to Join AWS, Projects to Remain Open Source

3)BOSS Battle

  • 是什么: Bitshala 举办的线上开源构建赛,方向包括 Privacy、Nostr 和 AI,总奖金 3,000 美元,支持 1–3 人组队。
  • 为什么值得关注: 隐私、抗审查通信、AI Agent 和开源构建与部分 LXDAO Builder 的方向直接相关。
  • 适合谁: 关注隐私工具、Bitcoin/Nostr、去中心化身份与通信,以及 AI Agent 的 Builder。
  • 如何参与/时间: 线上举行,活动时间为 9 月 7 日至 10 月 5 日,当前仍可申请;官方页面未明确地区或身份限制,报名前请向主办方确认资格。
  • 活动与报名: https://boss-battle.devfolio.co/

4)EF Q2 资助分配

  • 是什么: EF 公布 Q2 资助分配,覆盖 ZK、客户端多样性、形式化验证、隐私、开源工具、Ethereum 教育,以及 Agent 与程序分析等方向。
  • 为什么值得关注: 能帮助 LXDAO 判断 Ethereum 生态正在真实投入资源的问题,为项目选题、公共物品研究和后续 Grant 准备提供参考。
  • 适合谁: 公共物品项目负责人、研究者和开源维护者。
  • 如何参与/时间: 报告于 8 月 18 日发布;这是已完成的资助分配,不是开放申请,可从中筛选与 LXDAO 现有项目相关的方向继续研究。
  • 官方报告: Allocation Update - Q2 2026 | Ethereum Foundation Blog

5)Gitcoin:治理合法性从哪里来

6)Hugging Face 免费 AI Agents Course

  • 是什么: 自学型 Agent 课程,覆盖基础、smolagents、LlamaIndex、LangGraph、Agentic RAG、可观测性、评估和最终项目。
  • 为什么值得关注: 可把 Agent 学习推进到可运行作品,适合作为 LXDAO 新成员自学或轻量共学材料。
  • 适合谁: 具备基础 Python 和 LLM 知识、希望系统学习 Agent 开发的 Builder。
  • 如何参与/时间: 在线自学,认证免费且无截止日期;官方建议每章约一周、每周 3–4 小时。
  • 课程入口: Welcome to the 🤗 AI Agents Course · Hugging Face

回帖格式|推荐信号、信息源或活动
类型:推荐信号或机会/推荐信息源/活动预告
名称与链接:
为什么值得关注:
适合谁:
参与方式或截止时间:

4. 重点议题或项目推进|15–20 分钟

1)HermesCN 第一期残酷共学

  • 负责人: Ray
  • 当前进展: 第一期围绕“用 7 天完成一个真实任务”展开,推动参与者把 Hermes 真正用于自己的工作和项目,而不只停留在安装与体验。
  • 本周交流: 同步第一期进展、参与反馈和遇到的问题,并讨论后续如何继续支持实践、案例沉淀与社区共建。

2)ETHShanghai 2026

  • 负责人: Marcus
  • 当前进展: 活动正在筹备中,将于 9 月 22 日在上海举行,主题为 The Ethereum Renaissance
  • 本周交流: 同步筹备进展,并讨论 LXDAO 成员可以参与或协作的方向。
  • 官网与报名: https://ethshanghai.org/

回帖格式|项目、想法或求助
类型:项目或想法/寻求帮助
背景与当前进展:
希望现场解决的问题:
需要哪些角色或资源:
相关链接:

5. 现场匹配与行动确认|8–10 分钟

围绕现场出现的真实需求,连接能够提供经验、能力或资源的成员,并确认可继续推进的下一步。

回帖格式|我可以提供
类型:我可以提供
能力或资源:
感兴趣方向:
可投入方式:
联系方式或相关链接:

6. 决定、负责人和截止时间|3–5 分钟

汇总本期形成的公开决定、负责人、截止时间与会后连接,方便参与者继续跟进。


(正在筹备之中,视觉图未定稿,可能会有变动)

新人报到

我是谁:我是Sun,一名最近毕业的纯理论数学博士。

我在做什么:来贵论坛询问零知识证明(ZKP)行业的相关信息,正在按之前从这里收到的建议从理论转向具体的代码实现。

我需要什么:想认识有ZKP工程经验的伙伴,了解一下起步阶段最容易犯的坑,以及如何判断自己离“能投岗”还有多远。

我能提供什么:纯数理论能力,可以帮助理解数学类(也许还包括其他类别)的文献。

AI agent推荐这个入门: 深入理解 AI Agent - AI Agents in Depth

from peanut

分享一个值得收藏的以太坊隐私项目库。

PSE(Privacy Stewards of Ethereum)长期推动零知识证明等密码学技术在以太坊中的实际应用。这里整理了 PSE 团队研究、孵化和维护的 40 个项目,包括 Semaphore、MACI、TLSNotary、Anon Aadhaar 等,覆盖匿名身份、抗合谋投票、可验证数据、MPC 等方向。

每个项目都标注了当前状态,并附有官网、GitHub 和社区入口,适合了解以太坊隐私技术版图、寻找开发工具和开源贡献机会。

:link: Project Library | PSE

1 个赞

感谢分享。

从纯数学到 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 日。议程和回帖入口:

提前回帖时,可以简单说明:

  • 最近在做什么,目前到了哪一步;
  • 遇到了什么问题;
  • 希望认识什么伙伴或获得什么帮助;
  • 能为其他成员提供什么支持。

周会入口:

https://s.lxdao.io/CC

议题、项目、需求或可以提供的支持,都可以直接回复在当期论坛帖子中。

本文根据 2026 年 8 月 29 日完整会议音频及论坛议程、回帖整理。活动信息请以官方页面为准。