Testudo
Testudo是一种无需FFT的SNARK,且采用了一种新的快速多元多项式承诺方案
Testudo是一种无需FFT的SNARK,且采用了一种新的快速多元多项式承诺方案
介绍一下两个新的AO哈希函数
基于ECC的DLOG假设实现了Halo协议,可在无需可信设置的条件下实现递归证明
记录一下本学期的几场面试
Crypto 2023与ZKP相关的论文摘要
为Plonkish构造的Folding Scheme,沿用了Nova的思想
Nova的进阶版本,可以折叠两个不同的NP实例
NP语言的第一个线性Prover Time的SNARK
一个普通密码学研狗的拙见
ZKP MOOC的16课,简单介绍一下ZKP的硬件加速