Welcome to the ZKPunk’s Land of PCS!# Basefold Basefold 笔记：可折叠线性编码 Basefold 笔记：IOPP Basefold 笔记： MLE 求值证明 Basefold 笔记：Random Foldable Codes Basefold 笔记：IOPP 可靠性分析 FRI [BBHR18] FRI 论文 soundness 解析 [BCIKS20] Proximity Gaps 论文 soundness 解析 Proximity Gaps 与 Correlated Agreement：FRI 安全性证明的核心 STIR: 提升码率来降低查询复杂度 WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification DeepFold 笔记：协议概览 FRI Binius Notes on FRI-Binius (Part I): Binary Towers Notes on Binius (Part II): Subspace Polynomial Gemini Gemini-PCS (Part I) 多元到一元转换 基于KZG实现 参考文献 Gemini-PCS (Part II) 回顾 安全性分析 实现 Zero-Knowledge 参考文献 HyperKZG 2. Evaluation-form 的线性折叠 KZG 理解 Hiding KZG10 KZG Extractability based on ROM Special Soundness LPS24: KZG10 with Special Soundness Special Soundness of KZG Rewinding Lemma 参考文献 Hyrax Notes on Hyrax-PCS Libra Libra-PCS Virgo Notes on Virgo-PCS PH23 缺失的协议 PH23-PCS（一） 缺失的协议 PH23-PCS（二） 缺失的协议 PH23-PCS（三） 缺失的协议 PH23-PCS（四） 缺失的协议 PH23-PCS（五） Zeromorph ZeroMorph 笔记 Zeromorph-PCS : 对接 FRI Select SageMath Kernel First ZeroMorph Verifier’s Equation Check Mercury Mercury 笔记：实现常数证明尺寸 Mercury 笔记：对接 KZG Reductions Barrett Reduction Montgomery Reduction
