零知识证明（14）：什么是zk-SNARKs

翻译自Zcash的官方文档

零知识证明（13）：R1CS与QAP

在正式介绍zk-SNARKs之前，先用几篇文章简要介绍一些预备知识

零知识证明（12）：Fiat-Shamir变换

Fiat-Shamir变换由Fiat和Shamir在1986年提出，一个非常有用的方式以将公共掷币的交互式协议中的交互量减少到最小

零知识证明（11）：非交互式零知识证明

终于看懂了的NIZK

SKEY协议

一个已经过时了的协议，挺有趣的记录一下

对称密码攻击之差分分析

差分分析是目前已知的攻击迭代密码最有效的方法之一，差分指的是明文对的异或

基于身份的零知识证明协议

最早由Uriel Feige、Amos Fiat、Adi Shamir提出，一种利用用户身份完成认证和签名的方案

零知识证明（10）：比特承诺的应用

讲一下比特承诺的一些进阶知识

研狗日常（12）：终于打上球了

打球！

零知识证明（9）：比特承诺

比特承诺的概念还是很重要的