Polynomial Commitments based on Error-Correcting Codes
ZKP MOOC的第7课，介绍如何利用线性码构建多项式承诺
-
![]()
-
![]()
The Experts' Insights on the Peer Review Process
安全学术界中同行审稿环节的一些心照不宣
-
![]()
NIZK from Non-Interactive Batch Arguments
如何利用简洁性来获取NP类的零知识性
-
![]()
Benchmarking ZK-Circuits in Circom
ZK-Harness项目的一些Benchmark
-
![]()
Formalizing Soundness Proofs of SNARKs
SNARK的安全性目前还是一个比较混沌的问题，缺乏标准化和形式化的分析
-
![]()
Vector Commitments and their Applications
向量承诺是一个很好用的原语
-
![]()
Nova：Part II
介绍一下Nova的核心流程，其实很简单
-
![]()
Nova：Overview
一个专为增量可验证计算（IVC）设计的zkSNARK
-
![]()
Flashproof
Flashproof对范围证明和多项式求值证明做了特殊的优化
-
![]()
Libra：Part II
介绍后续的协议实现
