<前言>
伴随着应用的深入与边界的拓展,零知识证明(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.
【免责声明】市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。