<前言>
FRI（Fast Reed-Solomon Interactive Oracle Proof of Proximity）是 STARKs（Scalable Transparent ARguments of Knowledge）的核心组成部分。
作为一种重要的证明系统，FRI 正迅速崭露头角。
FRI 是一种基于 Reed-Solomon 码的交互式证明系统，能为零知识证明提供高效的低复杂度验证，提升验证效率并显著降低验证成本。具体来说，它允许证明者（Prover）向验证者（Verifier）证明某个多项式的评估值确实具有低度性，而不需要验证者重新计算这个多项式。
值得一提的是，FRI 在后量子时代拥有独特的优势。
一方面，FRI 依赖于信息论的安全性和哈希函数的抗碰撞特性，而不是传统的基于数学难题的密码系统。这意味着即使面对能够高效解决整数分解和离散对数问题的量子计算机，FRI 仍然能够保持其安全性。这种设计使得 FRI 能够在量子计算环境下依然可靠，提供高强度的防护。
另一方面，FRI 使用 Merkle Tree 进行数据承诺和验证，通过哈希函数的抗碰撞性确保数据完整性和真实性。Merkle Tree 的安全性依赖于选定哈希函数的抗碰撞性，如 SHA-256、Blake3 等，这些哈希函数在量子计算时代依然具有较高的安全性。通过 Merkle Tree，FRI 能够高效地验证多项式评估值，从而减少计算开销和验证时间。
总而言之，FRI 及其在 STARKs 中的应用，凭借其独特的设计和依赖于信息论的安全性，使得 FRI 不仅是未来密码学中不可或缺的关键技术，也将在 Crypto 领域成为保障系统安全和隐私的重要工具。
当我们站在历史的风陵渡，用未来的眼光审视当下，FRI 显然是一片充满可能性的土壤。
<课程介绍>
概述
本次课程由 Starknet Foundation 赞助和支持，我们将用两个月的时间，6 周线上，2 周线下（待定），与你一起深入 FRI。
我们将聚焦 FRI，通过理论讲解、Paper 阅读和代码实践相结合的方式，从基础到进阶，帮助大家全面掌握 FRI 和 STARKs 技术。期间我们还会邀请 Starknet 的核心开发带来关于 STARKs 相关的硬货 Workshop，敬请期待！
完成前六周线上 ZKP 学习和作业的学员，可直接参与后期进阶学习；优先锁定后续线下 Antalpha Hacker House，享受免费住宿。
课程更新交流页面：
https://github.com/Antalpha-Labs/zkp-academy/tree/main/FRI%26Stark
快来一睹为快我们精彩的学习内容吧！
课程安排
【基础 - 线上】
课程形式：线上视频直播课程 + 代码实践
开营时间：8 月 12 日
课程时间：6 周（8 月 12 日 -9 月 22 日）
课程目标：通过本期共学，参与学员将深入地理解 FRI 协议的底层原理、安全分析及其在 STARK 证明系统中的作用，研读实际证明系统中 FRI 部分的源码，并有能力用代码实现 FRI 的流程。
线上答疑：https://github.com/Antalpha-Labs/zkp-academy/discussions/categories/q-a
【进阶 - 线下】【待定】
课程目标：深入理解 Circle STARKs 的原理与最新进展
课程形式：线下论文通读（
报名参与进阶课程须完成前面的课程）
课程时间：2 周
课程地点：待定
课程表
周次 | 课程内容 | 讲师 |
1-2 | 8 月 12 日 - 8 月 25 日 | |
线上答疑时间：8 月 17 日，8 月 24 日（周六）晚八点 | ||
Part1：STARK101 | Dream、Harold、Tim | |
通过 STARK101 课程入门，了解 STARKs 的基本概念和应用场景。 | ||
3-4 | 8 月 26 日 - 9 月 8 日 | |
线上答疑时间：8 月 31 日，9 月 7 日（周六）晚八点 | ||
Part2：zk-learning Lecture 8 | hhh、Yingfei、Kyrin、backdoor | |
通过 zk-learning 的第八讲及其它辅助材料，深入理解 zk-STARKs 的工作原理和技术细节。 | ||
5-6 | 9 月 9 日 - 9 月 22 日 | |
线上答疑时间：9 月 14 日，9 月 21 日（周六）晚八点 | ||
Part3：FRI 代码 | 阳小雪、饭卡、Po | |
学习和实现 FRI 代码，通过 Plonky3 和 lambda class 团队的 zk-stark，掌握 FRI 的实际编程技巧。 | ||
待定 | 附加课程，具体时间待定 | |
报名参与进阶课程须完成前面的课程 | ||
Part4：Circle STARKs | Kurt Pan、白菜、小熊、wangyao | |
阅读和讨论 Vitalik 的 Circle STARKs 博客及相关译文和分析，深入理解 Circle STARKs 的新进展和潜在应用。 | ||
🔎更多前置资料详情：https://github.com/Antalpha-Labs/zkp-academy/tree/main/FRI%26Stark | ||
共学赏金任务
为鼓励学员学习与分享，本课程推出 Co-learn notes bounty 活动，学员可以将学习中的内容整理成个人笔记提交到 co-learn notes 目录下，收录后每篇笔记给出 200CNY 的 bounty，并发布在 Antalpha-Labs 公众号上。
笔记主题围绕 ZKP 相关技术，不局限于 FRI or Stark 协议。
<报名要求与渠道>
哪些人适合学习本课程？
区块链开发者和研究人员
密码学和密码工程专业人士
隐私计算和可信执行环境领域的工程师
对隐私技术和密码朋克理念感兴趣的个人
有一定数学和编程基础的自学者
……
如何报名此次课程？
本次课程为公益课程，为了更好地激发大家学习的意愿，本次课程依旧采用押金报名的方式。
待课程结束，学员完成大作业，押金会如数退还。
押金: 299 元
注：交押金参与过 PLONK 课程，或之前提交过相关笔记的朋友报名可免押金
👉 报名链接（长按识别下方二维码或点击下方「阅读原文」）：
更多咨询和帮助
扫描下方二维码或微信号搜索：AntalphaLabs
<教学阵容>
导师
Dream
Scroll Core Engineer，Blocksight 作者。数学&密码学持续学习者，前爱立信，微软高级工程师，区块链与隐私计算一线工程研发。
wangyao
数学博士（未完成）研究 ZK，学习 FHE，探索代数学和密码学的相交地带。
Kurt Pan
学院派新密码朋克，郭宇老师的好学生
Po
EthStorage ZK Researcher, 半路出家区块链，持续学习 DA 和 ZK 前沿研究。
Kyrin
区块链方向博士生，zkp 技术爱好者，与大佬们学习最新技术。
白菜
多年 ML 从业者，密码学工程师。
阳小雪
安比实验室 ZK Researcher, 最近在学习 Plonky3 的代码
0xhhh
bitlayer 工程师，zk 爱好者
Harold
研究 zk 协议 todolist 望不到头的人，偶尔会做一些技术分享，欢迎大家来一起讨论～
Yingfei
密码学博士生，interested in lattice-based zero-knowledge proofs and signatures。
小熊
pku 物理本科，法国 AI 硕士，现正专注密码学，做 ZK 相关科研
Tim
Tim，北京邮电大学硕士，密码学爱好者，CTFer，热衷 ZK 安全。
饭卡
电子科技大学硕士，持续学习 zk ing
backdoor
OKX ZK Dev，代码和理论两手抓，希望跟大家多交流学习～
嘉宾
郭宇
SECBIT Labs （安比实验室）创始人，曾经高校教育从业者，关注领域为零知识证明，智能合约安全，程序语言理论。
高尚
香港理工大学助理研究教授，关注领域为应用密码学、零知识证明
Harry
零知识证明 (ZKP) 技术爱好者, 在个人学习的同时, 也积极在社区进行分享和组织各种 ZKP 相关的活动。
<致谢>
赞助方
Starknet 由 StarkWare 开发，采用 STARK 有效性证明，是为未来规模化应用而建的开放式以太坊 Layer2 网络。
技术支持
SECBIT Labs（安⽐实验室）专注于智能合约安全与零知识证明。
社区支持
「Starknet 中文」是 Starknet 社区项目，致力于 Starknet 在中文社区推广。
Starknet 上最具创意的媒体，专注于 Starknet 生态，提供最前沿、最深度的生态研究。
Scroll 是一个字节码级别拓展以太坊，并且致力于对开发者最友好的 zk-Rollup，可实现对现有以太坊应用程序和工具的原生兼容，为下一个十亿加密用户提供服务。
Morph is a consumer-first, distribution layer for value creation on the blockchain. Morph offers a market-leading optimistic zkEVM solution leveraging decentralized sequencers on the blockchain while providing go-to-market accelerator programs and user-acquisition strategies for transformative dApps and projects.
Rebase 是一个区块链行业的开发者社区，通过技术信仰连接中国的 Web3.0 开发者。
区块链技术爱好者的家园。
OpenBuild 中文社区，OpenBuild 是一个致力于帮助 Web2 开发者更好的进入 Web3 的开源社区，助力开发者成功。
TinTinLand 是赋能下一代开发者的技术社区，通过聚集、培育、输送开发者到各开放网络，共同定义并构建未来。
WEB3.0 Programming for everyone.
Buidler DAO 聚集投研、技术、运营等领域的 Web3 实干家，以 DAO 的方式组织内容输出和产品实践，建立 Web3 人才网络和项目加速器；以自身实践打造 SocialDAO 治理范式和 DAO Tools 解决方案。
MOVE OVER HODL, IT'S TIME TO BUIDL!
ZK Shanghai 是一个专注于零知识证明（ZKP）技术的专业社区。我们致力于在社区内提供开放教学，传递行业最新资讯，积极开展工程实践，并进行深入的学术讨论。作为上海地区专注于零知识证明的线下聚集地，ZK Shanghai 为技术爱好者和专业人士提供了一个交流与合作的平台。无论是初学者还是经验丰富的开发者，都可以在这里找到所需的资源和支持，共同推动零知识证明技术的发展与应用。
DappLearning 项目适合有一定语言基础的开发者入门区块链 DAPP 开发，由浅到深了解和开发 DeFi, NFT, DAO 和 CRYPTO 项目。本项目受以太坊基金会赞助，我们会将资金奖励给项目的优秀贡献者。
Panta Rhei 是一个研究驱动的开源社区，专注于推进区块链经济学的研究，尤其关注以太坊及其相关生态系统中的复杂协议机制设计。
ETHPanda 由一群关注以太坊的华语建设者组成，我们将推动构建一个面向以太坊华语建设者的公共网络，汇聚大家的力量一起更好地支持以太坊。
Building a community to engage, connect, and empower builders
LXDAO 是一个专注于可持续地支持有价值的 Web3 公共物品和开源项目的研发 DAO。目前重点关注研发 DAO 治理和建设、Web3 教育、公共物品和开源项目的支持和研发等。
EthStorage 是一个基于以太坊的二层存储网络，采用独创的零知识存储证明技术，确保链下数据副本的安全，提供链上 CRUD 操作，兼容各种新型应用如全链 NFT、去中心化网站等。
Ola 是 Sin7y Labs 于 2022 年孵化的高性能二层 ZK-ZKVM，致力于通过可编程性隐私、可编程性扩容和多语言的兼容性赋能以太坊、比特币及整个 Web3 生态。
Manta Network 是基于零知识证明（ZKP）的可编程隐私 Layer1。
浙大区块链协会是浙大内唯一专注区块链技术的学生组织。协会由浙大计算机学院、管理学院以及杭州浙大校友会主导，目前已经与浙大区块链与数据安全国家重点实验室、杭州区块链技术与应用联合会、藕坊天使等组织建立了深度合作关系。
Antalpha Labs 是一个非盈利的 Web3 开发者社区，致力于通过发起和支持开源软件推动 Web3 技术的创新和应用。
官网：https://labs.antalpha.com
Twitter：https://twitter.com/Antalpha_Labs
Youtube：https://www.youtube.com/channel/UCNFowsoGM9OI2NcEP2EFgrw
联系我们：hello.labs@antalpha.com
点击 阅读原文 申请报名
【免责声明】市场有风险，投资需谨慎。本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。
