格物致新知，Lattice 线上共学课程发起招募！
<前言>
伴随着应用的深入与边界的拓展，零知识证明（ZKP）迎来了更深层次的挑战。性能瓶颈、证明者/验证者复杂性、信任设置模型、以及最关键的：面对未来量子计算的潜在威胁，都成为亟待突破的关键点。正是在寻求更强大、更安全、面向未来的 ZK 解决方案的征途上，Lattice（格密码学）正吸引着越来越多研究者与工程师的侧目。
何为 Lattice？ 简单来说，它建立在多维空间中「点阵」这一精妙的数学结构之上，由此构造的密码学难题被认为具有极强的抗量子攻击能力。对于当下的 ZKP 发展而言，Lattice 的意义绝非锦上添花，而是关乎根基与未来的战略选择：
首先，这是量子安全的迫切需求。现有的主流 ZKP 方案（如基于椭圆曲线、pairing）在量子计算机面前存在理论上的脆弱性。Lattice 为构建后量子安全的零知识证明（PQ-ZKP） 提供了最具前景的数学基础。
其次，Lattice 具有构建新型 ZK 原语的潜力。当下基于格的方案已催生多项高级密码原语的构造：全同态加密（FHE）、属性基加密（ABE）、功能加密(FE)、不可区分混淆（iO）。
目前，活跃的研究前沿与标准化进程已经为 Lattice 在密码学（包括 ZKP）中的实际应用铺平了道路。NIST 的后量子密码标准化项目已遴选出多个基于 Lattice 的算法，学习 Lattice，就是参与到这场塑造未来密码格局的变革之中。
深入理解 Lattice，已不仅是密码学理论研究者的课题，更是每一位关注 ZKP 长期发展、致力于构建真正安全可信未来数字基础设施的实践者，不可或缺的知识拼图与前瞻布局。
<课程介绍>
概述
本次课程，我们将以 Lattice based snark 为主，从数学、pcs 及工程化三个部分展开（每个部分两周的学习时间），主要涉及以下内容：
Lattice 总览 & 为什么要学 Lattice
数学基础（SIS，Ring，Ajtai NTT etc）
PCS Greyhound Labrador
Lattice 工程化相关
课程详情
1. 课程时间：
2025 年 6 月 16 日 - 2025 年 7 月 27 日 （6周）
2. 课程形式：
🧑🏫 线上直播（Zoom），每周二/四，一周两节（1-1.5h/节）
📢 课程通知、交流讨论（微信群）
💬 线上答疑：https://github.com/coset-io/zkp-academy/discussions
3. 课程概览：
课程 Overview & 为什么要学习 Lattice
介绍为什么要学习格（lattice），格密码学在现代密码学（尤其是后量子领域）的重要性，以及课程全貌与学习路线。
数学基础
lattice 的定义、SVP 问题、SIS 问题
离散高斯采样和拒绝采样
Ring 和 NTT
Ajtai commitment 和 Lyubashevsky signature
PCS Greyhound Labrador
zksnark，IOP，PCS。PCS overview (uni: KZG, Bulletproofs, code-based. multi: many)
PCS constructions (quotient poly, multi→uni)
Labrador (IPA)
Greyhound (Brakedown+IPA), Hyperwolf
工程化相关
基本格密码数学结构的 Python 原型与 Rust/C++ 实现
NTT / RNS 加速技术
离散高斯采样与拒绝采样
并行化与多线程设计
内存与存储管理
共学赏金任务
为鼓励学员学习与分享，本课程继续 Co-learn notes bounty 活动，学员可以将学习中的内容整理成个人笔记提交到 github co-learn notes 目录下，收录后每篇笔记给出 200 CNY 的 bounty，并发布在 Coset 公众号上。
值得一提的是，本次我们还鼓励大家成为 Lattice 发展的早期贡献者，为 Lattice 的未来发展添砖加瓦！对此，我们将会给予一定 bounty 的奖励，主要有以下两个方向：
「共建 Lattice Wiki」
🔗：https://wiki.lacom.io/
「Lattice 工程化实现」
🔗：https://github.com/lattice-complete/Lazarus
*最终会以网站及学习笔记作为本次共学内容产出
<报名>
如何报名此次课程？
为了更好地激发大家学习的意愿，本次课程采用押金报名的方式。
待课程结束，学员完成最后的作业，押金会如数退还。
押金: 299 元
注：往期 zk 共学贡献者、交过笔记的创作者 可免押金
👉 报名链接（长按识别下方二维码或点击下方「阅读原文」）：
更多咨询和帮助
扫描下方二维码或微信号搜索：Coset2025
<教学阵容>
Mentors
高尚
香港理工大学助理教授，近期的兴趣是研究 Lattice。
Kurt Pan
A Crypto-primitive-libertarian-socialist, aka a ZKPunk
Yingfei
密码学博士，I'm interested in lattice-based zero-knowledge proofs and signatures.
Bing
Independent Researcher
Assistants
龙哥密码
密码学卷士生，研究过非公钥密码，对称密码，有什么不懂的随时向我请教
zlz
密码学 phd，目前研究方向是 lattice based cryptography.
<赞助>
Kaspa生态基金会（KEF）致力于支持Kaspa的成长与可持续发展，以推动Kaspa成为广泛应用的去中心化支付网络为使命。基金会重点资助能促进生态繁荣并惠及全体社区的项目，覆盖研发创新、项目扶持、社区提案及活动组织等领域。
Kaspa是于2021年公平启动的一层网络，基于PoW（工作量证明）机制，创新性地采用BlockDAG（有向无环图）架构，致力于打造高效、轻量的点对点支付与结算层。Kasplex是基金会支持的使用$KAS作为网络费用的EVM兼容二层网络。
https://www.kaspafoundation.org
https://x.com/Kaspa_KEF
<社区&媒体>
ZKPunk 是一个以零知识证明 (zkp) 技术为核心的内容平台，致力于推动零知识证明技术的普及与发展。ZKPunk 专注于整合零知识证明相关的资源，创建高质量的学习内容与工具，帮助全球零知识证明爱好者更好地理解和应用零知识证明技术。
SECBIT Labs（安⽐实验室）专注于智能合约安全与零知识证明。
OpenBuild 是一个致力于帮助 Web2 开发者更好地进入 Web3 的开源社区，助力开发者成功。
Rebase 是一个区块链行业的开发者社区，通过技术信仰连接中国的 Web3.0 开发者。
区块链技术爱好者的家园。
TinTinLand 是赋能下一代开发者的技术社区，通过聚集、培育、输送开发者到各开放网络，共同定义并构建未来。
ZKM 团队目前有完全开源，并且已具备完善的开发者工具集以及高效的证明网络 zkMIPS，这是业界第一个基于完整 MIPS 指令集的零知识证明虚拟机，以及原生资产跨链流通协议——基于zkMIPS 构建的 Entangled Rollup。
ZAN 是蚂蚁数科旗下的Web3基础设施服务提供商，服务类型包括：节点服务，ZK 加速以及合约安全审计。基于ZK加速服务 PowerZebra 的顶尖性能优化技术能力，已获得全球主流ZK项目方的认可并深度合作。
Polyhedra 正在构建面向未来的核心基础设施，聚焦于 AI 与区块链系统中的可信性与可扩展性，为智能世界提供安全、可验证、高性能的应用支持，正全力推动下一代 AI 基础设施的落地与演进。
ZK Shanghai 是一个专注于零知识证明（ZKP）技术的专业社区。我们致力于在社区内提供开放教学，传递行业最新资讯，积极开展工程实践，并进行深入的学术讨论。初学者和经验丰富的开发者，都可以在这里找到所需资源和支持，共同推动 ZKP 技术的发展与应用。
ETHPanda 由一群关注以太坊的华语建设者组成，我们将推动构建一个面向以太坊华语建设者的公共网络，汇聚大家的力量一起更好地支持以太坊。
HOH 水分子开发者社区是一个专注于编程、教育和创新的社区，旨在为开发者提供一个交流和学习的平台。
「Starknet 中文」是 Starknet 社区项目，致力于 Starknet 在中文社区推广。
WEB3.0 Programming for everyone.
Buidler DAO 聚集投研、技术、运营等领域的 Web3 实干家，以 DAO 的方式组织内容输出和产品实践，建立 Web3 人才网络和项目加速器；以自身实践打造 SocialDAO 治理范式和 DAO Tools 解决方案。
Panta Rhei 是一个研究驱动的开源社区，专注于推进区块链经济学的研究，尤其关注以太坊及其相关生态系统中的复杂协议机制设计。
LXDAO 是一个专注于可持续地支持有价值的 Web3 公共物品和开源项目的研发 DAO。目前重点关注研发 DAO 治理和建设、Web3 教育、公共物品和开源项目的支持和研发等。
Zookie 是一个致力于降低技术理解难度、破除技术学习恐惧的社区。通过有趣易懂的内容、实用的学习资源和互动交流，帮助每个人轻松上手。
alcove 是 Aptos 亚太地区最大的开发者社区，致力于支持富有才华的开发者，使用 Move 语言构建下一代 Web3 应用。 在 alcove ，创造更多可能。一步创新，一步成就。Make Your Move。
以「行动」、「产出」和「商业可持续」为导向的共学共创小组，简单理解的话，它是区隔于 706 对话沙龙、讲座、知识分享等人文社科类活动，而衍生出来的更偏创意、技术、共建创造的分支，706 creators create something together。
According.Work 是一个自动追踪、评估软件贡献并基于此分发激励的平台，我们希望让每一个程序员都不用给老板打工。
点击 阅读原文/Read Me 申请报名