Skip to main content

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

Search

Ctrl+K

By The Jupyter Book community

© Copyright 2023.