Skip to main content
Back to top
Ctrl
+
K
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)
Gemini-PCS (Part II)
HyperKZG
KZG
理解 Hiding KZG10
KZG Extractability based on ROM
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
Mercury
Mercury 笔记：实现常数证明尺寸
Mercury 笔记：对接 KZG
Reductions
Barrett Reduction
Montgomery Reduction
Repository
Open issue
Index
