TinyRAM程序的ZK Proof System:Part 1
以零知识的方式验证TinyRAM程序的正确执行,文章也提出了查表的概念,本篇先介绍一些概念和证明总体框架
以零知识的方式验证TinyRAM程序的正确执行,文章也提出了查表的概念,本篇先介绍一些概念和证明总体框架
利用快速傅氏变换来进一步优化Verifier的计算开销,不过代价是增加Prover的计算开销
MSM又是ZKP协议中非常常见的一个基本算法
学习一下怎么利用snarkjs+circom来构建自己的零知识证明
基于Caulk和Caulk+方案继续改进,改进后的算法适用于具有大量按位与/异或/循环移位的算法
师兄的paper,旨在解决基于VOLE的ZK方案通信量太大的问题
对Caulk算法的优化,算是空间换时间的一种做法
介绍了一种新的查表方式,简单来说就是证明两个向量的位置链接关系
一种更优雅的Lookup Argument
Mary Maller在5th ZKProof Workshop上发表的演讲,主要介绍了20年来ZKP的发展过程