0推荐

4572浏览

区块链中的数学 - Baby Jubjub Elliptic Curve

本文将介绍一种新的椭圆曲线实例-- Baby Jubjub Elliptic Curve。

• 2
• blocksight 发布于 2021-08-01 11:01

1推荐

8701浏览

彻底读懂零知识证明及其实现方法：解析zk-SNARK

zk-SNARK 是如何实现零知识证明的

• 1
• 李画 发布于 2020-11-02 22:02

0推荐

6008浏览

零知识证明介绍

在接下来一个系列的文章中将为你一一介绍，从零知识证明的概念一直到零知识证明背后的密码学实现。

• 3
• 吴寿鹤 发布于 2020-06-30 12:03

3推荐

5276浏览

[译]几种通用的zk-SNARKs 实现的比较

几种通用的zk-SNARKs 实现的比较

• 0
• 石头 发布于 2020-02-20 21:11

0推荐

5679浏览

从零开始学习zk-SNARK(五)—Pinocchio 协议

作为本系列的最后一篇文章，本文继续对 zk-SNARK 协议进行完善，最终形成一个完整的 zk-SNARK 协议

• 0
• 安比实验室 发布于 2020-02-01 11:19

0推荐

4425浏览

从零开始学习zk-SNARK(四)—多项式的约束

上一篇文章中我们学习了如何将程序转换为多项式进行证明。到这里似乎已经有点晕了，本文将对协议执行进一步的约束，并对协议展开优化。

• 0
• 安比实验室 发布于 2020-01-30 20:41

0推荐

4701浏览

从零开始学习zk-SNARK(三)—从程序到多项式的构造

前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值等。

• 0
• 安比实验室 发布于 2020-01-30 17:50

1推荐

6128浏览

从零开始学习zk-SNARK(二)-多项式的非交互式零知识证明

上一篇文章（[多项式的性质与证明](https://learnblockchain.cn/article/287)）中，作者介绍了如何利用多项式的性质来证明某个多项式的知识，相信大家已经对构造证明有了一些基本的认识。目前的证明协议仍然存在一些缺陷，本文将会针对这些薄弱项进行改进，进而最终构造出关于多项式的零知识证明协议。本文重点：KEA，交互式零知识证明，非交互式零知识证明和 Setup。

• 0
• 安比实验室 发布于 2020-01-03 20:11

2推荐

12472浏览

从零开始学习zk-SNARK(一)-多项式的性质与证明

偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明协议开始，然后像堆积木一样在发现问题，修改问题中逐步去完善协议，直到最终构造出完整的 zk-SNARK 协议。于是想把它翻译出来（已获得作者授权），一方面加深自己的学习，另一方面也将这份宝藏分享给小伙伴们。

• 0
• 安比实验室 发布于 2019-12-25 16:13

2推荐

5645浏览

理解零知识证明算法之 Zk-stark

谈到ZKP算法，大伙可能听过一些，比如zk-snark，zk-stark, bulletproof， aztec， plonk等等。今天，咱就给大伙聊聊这一对“表面兄弟”，zk-stark和zk-snark算法的异同之处。

• 1
• juneocean 发布于 2019-12-18 09:42