ZKP 课程招募|探索 FRI,解锁后量子时代的加密防御机制

分享:
 
活动时间: 2024-08-11 20:00:00 - 2024-09-22 00:00:00

前言

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 

一睹为快我们精彩的学习内容吧!

课程安排

【基础-线上】

  • 课程形式:线上视频直播课程 + 代码实践
  • 开营时间: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周

  • 课程地点:待定

课程表

WX20240805-140717@2x.png

🔎更多前置资料详情: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>

教学阵容

  • Dream:Scroll Core Engineer,Blocksight 作者。数学&密码学持续学习者,前爱立信,微软高级工程师,区块链与隐私计算一线工程研发。
  • wangyao:数学博士(未完成)研究 ZK,学习 FHE,探索代数学和密码学的相交地带。
  • Kurt Pan:学院派新密码朋克,郭宇老师的好学生
  • 白菜 cstark:多年 ML 从业者,ZKP 研究者,关注ZKML,撰写分享了多篇 ZKP 文章
  • Tim:Tim,北京邮电大学硕士,密码学爱好者,CTFer,热衷ZK安全。
  • 小熊:pku 物理本科,法国 AI 硕士,现正专注密码学,做 ZK 相关科研
  • Harold:研究 zk 协议 todolist 望不到头的人,偶尔会做一些技术分享,欢迎大家来一起讨论~
  • Kyrin:区块链方向博士生,zkp 技术爱好者,与大佬们学习最新技术。
  • 0xhhh:bitlayer 工程师,zk 爱好者
  • backdoor:OKX ZK Dev,代码和理论两手抓,希望跟大家多交流学习~
  • Po:EthStorage ZK Researcher, 半路出家区块链,持续学习 DA 和 ZK 前沿研究。
  • 阳小雪:安比实验室 ZK Researcher, 最近在学习 Plonky3 的代码
  • Yingfei:密码学博士生,interested in lattice-based zero-knowledge proofs and signatures。
  • 饭卡:电子科技大学硕士,持续学习 zk ing

</br>

报名要求与渠道

1. 哪些人适合学习本课程?

  • 区块链开发者和研究人员
  • 密码学和密码工程专业人士
  • 隐私计算和可信执行环境领域的工程师
  • 对隐私技术和密码朋克理念感兴趣的个人
  • 有一定数学和编程基础的自学者
  • ……

2. 如何报名此次课程?

本次课程为公益课程,为了更好地激发大家学习的意愿,本次课程依旧采用押金报名的方式。

待课程结束,学员完成大作业,押金会如数退还

押金:  299元

注:交押金参与过 PLONK 课程,或之前提交过相关笔记的朋友报名可免押金

3. 报名链接

https://tally.so/r/wg4R4D

baomiinglianjie.webp

4. 更多咨询和帮助

添加小助手微信:AntalphaLabs

Antalpha Labs
Antalpha Labs
江湖只有他的大名,没有他的介绍。