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

《数字签名密史》引发的深思

一个普通密码学研狗的拙见

Hardware Acceleration of ZKP

ZKP MOOC的16课，简单介绍一下ZKP的硬件加速