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

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

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跨链

Polynomial Commitments based on Error-Correcting Codes

ZKP MOOC的第7课，介绍如何利用线性码构建多项式承诺

The Experts' Insights on the Peer Review Process

安全学术界中同行审稿环节的一些心照不宣

NIZK from Non-Interactive Batch Arguments

如何利用简洁性来获取NP类的零知识性

Benchmarking ZK-Circuits in Circom

ZK-Harness项目的一些Benchmark

Formalizing Soundness Proofs of SNARKs

SNARK的安全性目前还是一个比较混沌的问题，缺乏标准化和形式化的分析

Vector Commitments and their Applications

向量承诺是一个很好用的原语