Pasta Curve
写毕设代码过程中的一些学习笔记
写毕设代码过程中的一些学习笔记
Microsoft实现的Nova开发库,有助于理解论文
Testudo是一种无需FFT的SNARK,且采用了一种新的快速多元多项式承诺方案
介绍一下两个新的AO哈希函数
基于ECC的DLOG假设实现了Halo协议,可在无需可信设置的条件下实现递归证明
为Plonkish构造的Folding Scheme,沿用了Nova的思想
Nova的进阶版本,可以折叠两个不同的NP实例
NP语言的第一个线性Prover Time的SNARK
ZKP MOOC的16课,简单介绍一下ZKP的硬件加速
ZKP MOOC的15课,介绍一下形式化分析ZKP电路的方法