Testudo
Testudo是一种无需FFT的SNARK,且采用了一种新的快速多元多项式承诺方案
Testudo是一种无需FFT的SNARK,且采用了一种新的快速多元多项式承诺方案
基于ECC的DLOG假设实现了Halo协议,可在无需可信设置的条件下实现递归证明
NP语言的第一个线性Prover Time的SNARK
如何利用简洁性来获取NP类的零知识性
SNARK的安全性目前还是一个比较混沌的问题,缺乏标准化和形式化的分析
介绍一下Nova的核心流程,其实很简单
一个专为增量可验证计算(IVC)设计的zkSNARK
Flashproof对范围证明和多项式求值证明做了特殊的优化
介绍后续的协议实现
Libra协议基于GKR协议和zkVPD构建,具有最佳Prover Time和简洁的证明大小与Verifier Time