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 显然是一片充满可能性的土壤。
</br>
本次课程由 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
一睹为快我们精彩的学习内容吧!
【基础-线上】
【进阶-线下】【待定】
课程目标:深入理解 Circle STARKs 的原理与最新进展
课程形式:线下论文通读(报名参与进阶课程须完成前面的课程)
课程时间:2周
课程地点:待定
🔎更多前置资料详情: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 协议。
</br>
</br>
本次课程为公益课程,为了更好地激发大家学习的意愿,本次课程依旧采用押金报名的方式。
待课程结束,学员完成大作业,押金会如数退还。
押金: 299元
注:交押金参与过 PLONK 课程,或之前提交过相关笔记的朋友报名可免押金
添加小助手微信:AntalphaLabs