Halo:Recursive Proof Composition without a Trusted Setup
基于ECC的DLOG假设实现了Halo协议，可在无需可信设置的条件下实现递归证明
-
![]()
-
![]()
此内容被密码保护
记录一下本学期的几场面试
-
![]()
Crypto 2023:Zero Knowledge Proof
Crypto 2023与ZKP相关的论文摘要
-
![]()
Sangria: A Folding Scheme for PLONK
为Plonkish构造的Folding Scheme，沿用了Nova的思想
-
![]()
HyperNova:Recursive arguments for customizable constraint systems
Nova的进阶版本，可以折叠两个不同的NP实例
-
![]()
Brakedown:Linear-time and post-quantum SNARKs for R1CS
NP语言的第一个线性Prover Time的SNARK
-
![]()
《数字签名密史》引发的深思
一个普通密码学研狗的拙见
-
![]()
Hardware Acceleration of ZKP
ZKP MOOC的16课，简单介绍一下ZKP的硬件加速
-
![]()
Secure ZK Circuits with Formal Methods
ZKP MOOC的15课，介绍一下形式化分析ZKP电路的方法
-
![]()
ZKP Applications Overview & zkBridge
ZKP MOOC的第14课，介绍一些ZKP的应用场景和zkBridge跨链
