Brakedown:Linear-time and post-quantum SNARKs for R1CS
NP语言的第一个线性Prover Time的SNARK
NP语言的第一个线性Prover Time的SNARK
一个普通密码学研狗的拙见
ZKP MOOC的16课,简单介绍一下ZKP的硬件加速
ZKP MOOC的15课,介绍一下形式化分析ZKP电路的方法
ZKP MOOC的第14课,介绍一些ZKP的应用场景和zkBridge跨链
ZKP MOOC的第7课,介绍如何利用线性码构建多项式承诺
如何利用简洁性来获取NP类的零知识性
ZK-Harness项目的一些Benchmark
SNARK的安全性目前还是一个比较混沌的问题,缺乏标准化和形式化的分析
向量承诺是一个很好用的原语