Posted on Oct 15, 2024 04:45 · Latest update on Jan 18, 2025
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 显然是一片充满可能性的土壤。
1 Chapters / 17 Classes / 24H 37Mins
ZKP系列课程|FRI & STARK 开营AMA
36Mins
ZKP系列课程|Overview of FRI
1H 20Mins
ZKP系列课程|Arithmetization & Low-Degree Extension
2H 14Mins
ZKP系列课程|What did FRI actually do?
1H 31Mins
ZKP系列课程|How to convince the verifier by FRI?
1H 34Mins
ZKP系列课程|第二周office hour
1H 22Mins
ZKP系列课程|FRI by Hand
2H 20Mins
ZKP系列课程|Attack Cases in FRI & Comparison of PCSs (KZG, IPA)
1H 30Mins
FRI核心逻辑 By Alan
34Mins
ZKP系列课程|第三周office hour: Verifier Implementation of Stark101 by keep & Theory of FRI
2H 1Min
ZKP系列课程|Stark by Hand
1H 19Mins
ZKP系列课程|Soundness of Stark
1H 26Mins
ZKP系列课程|第四周office hour:Soundness of FRI
51Mins
ZKP系列课程|zk-Stark of LamdaClass
1H 23Mins
ZKP系列课程|Plonky3 FRI two_adic_pcs 概述
1H 53Mins
ZKP系列课程|Plonky3 FRI 代码讲解
2H 0Min
ZKP系列课程|uni-stark of plonky3
43Mins
7 Builders
对 ZKP 有一定的了解,了解 ZKP 中的基本概念。
对FRI和STARK有一个全面系统的了解
© 2025 OpenBuild, All rights reserved.