Nova开发库
Microsoft实现的Nova开发库，有助于理解论文
-
![]()
-
![]()
此内容被密码保护
记录一下秋招遇到的笔试题
-
![]()
Testudo
Testudo是一种无需FFT的SNARK，且采用了一种新的快速多元多项式承诺方案
-
![]()
XHash8 and XHash12:Efficient STARK-friendly Hash Functions
介绍一下两个新的AO哈希函数
-
![]()
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
