HyperPlonk：Part V
最后来看一下如何为前面的PIOP协议加入零知识的性质
分类 "零知识证明" 下的文章
-
![]()
-
![]()
HyperPlonk：Part IV
介绍HyperPlonk的协议，以及对应的查表协议HyperPlonk+
-
![]()
HyperPlonk：Part III
本篇介绍HyperPlonk的查表协议和批处理技术
-
![]()
HyperPlonk：Part II
介绍一下HyperPlonk底层的一些多项式IOP协议
-
![]()
HyperPlonk：Part I
从一个宏观的角度介绍一下HyperPlonk
-
![]()
POSEIDON:A New Hash Function for Zero-Knowledge Proof Systems
Poseidon Hash是一种专为ZKP设计的Hash函数
-
![]()
SNARK Design：Part II
Justin Thaler教授2022年8月在a16z上的演讲，第二部分简要介绍Rollup相关知识
-
![]()
SNARK Design：Part I
Justin Thaler教授2022年8月在a16z上的演讲，第一部分简要介绍SNARK的一些背景
-
![]()
Spartan：满足透明性的通用高效zkSNARK方案
去年就开坑的paper，当时个人理解不足没看懂，文中有一个很巧妙的点来减少Verifier的开销
-
![]()
TinyRAM程序的ZK Proof System：Part 2
本部分介绍一下TinyRAM程序零知识证明系统中的各个子关系
