零知识证明是近年来密码学界最重要的突破之一。短短4年时间里，涌现出一大批证明系统。本文简要介绍并推荐一些经典的零知...[作者空间]

本文翻译自V神的Medium文章：二次计算方程：从0到1，详细讲解了QAP，并给出了一个程序实现，本文是下半部分，...[作者空间]

本文翻译自V神的Medium文章：二次计算方程：从0到1，详细讲解了QAP，并给出了一个程序实现，本文是上半部分，...[作者空间]

In the three previous parts, we developed a certain machi...[作者空间]

In this part, we build on Part II and III to develop a pr...[作者空间]

In Part II, we saw how Alice can blindly evaluate the hid...[作者空间]

In this post, we recall the notion of a polynomial, and e...[作者空间]

Constructions of zk-SNARKs involve a careful combination ...[作者空间]