Testudo
Testudo是一种无需FFT的SNARK，且采用了一种新的快速多元多项式承诺方案
包含标签 "zk-SNARK" 的文章
-
![]()
-
![]()
Halo:Recursive Proof Composition without a Trusted Setup
基于ECC的DLOG假设实现了Halo协议，可在无需可信设置的条件下实现递归证明
-
![]()
Brakedown:Linear-time and post-quantum SNARKs for R1CS
NP语言的第一个线性Prover Time的SNARK
-
![]()
NIZK from Non-Interactive Batch Arguments
如何利用简洁性来获取NP类的零知识性
-
![]()
Formalizing Soundness Proofs of SNARKs
SNARK的安全性目前还是一个比较混沌的问题，缺乏标准化和形式化的分析
-
![]()
Nova：Part II
介绍一下Nova的核心流程，其实很简单
-
![]()
Nova：Overview
一个专为增量可验证计算（IVC）设计的zkSNARK
-
![]()
Flashproof
Flashproof对范围证明和多项式求值证明做了特殊的优化
-
![]()
Libra：Part II
介绍后续的协议实现
-
![]()
Libra：Part I
Libra协议基于GKR协议和zkVPD构建，具有最佳Prover Time和简洁的证明大小与Verifier Time
