零知识证明 - Halo2电路构建源代码导读

理解Halo2,可以从两部分着手:1/ 电路构建 2/ 证明系统

Plonky2入门指南 ——关于全世界最快的ZK技术

Plonky2入门指南 ——关于全世界最快的ZK技术

  • Luna Lau
  • 发布于 2022-01-13
  • 阅读 ( 305 )
  • ( 18 )

zkSNARK实践(四)—— merkle证明

merkle树在区块中应用非常广泛,比如比特币SPV节点,使用merkle树来验证一笔交易是否在区块中。

zkSNARK实践(三)—— 哈希函数的证明

哈希是一种常用的密码学工具,它可以把一个无限大的数据空间映射到另一个有限的数值空间。由于它的不可逆性,常用来隐藏一些信息。现在我们来分析一下怎么证明这类问题。

zkSNARK实践(二)——指数方程的证明

zkSNARK实践(二)——指数方程的证明

zkSNARK实践(一)——多项式方程的证明

zkSNARK全称zero-knowledge Succinct Non-Interactive Arguments of Knowledge,翻译过来叫非交互式简洁零知识证明。网上关于zkSNARK的文章很多,几乎都只讲解它的数学原理。因为它实在太难了,...

  • stirlingx
  • 发布于 2021-11-18
  • 阅读 ( 421 )
  • ( 33 )

读懂 ZK-Rollups:如何带来 Crypto 生态系统的范式转变?

“对于其他L1区块链而言,未来的实现主义方案是放弃其多余的共识机制和数据可用性,转而成为一个ZK-Rollup或者Volition”

零知识证明 - KZG多项式承诺

零知识证明 - KZG多项式承诺

  • Star Li
  • 发布于 2021-10-15
  • 阅读 ( 356 )

zkSync 2.0 开发者更新

计划延迟、逐步推出测试网和主网公平上线

  • EthFans
  • 发布于 2021-09-21
  • 阅读 ( 355 )

零知识证明 - Plookup算法介绍

最近有空看了看Plookup的论文。针对对电路描述不友好的操作(比如bit操作),Plookup给出了新的思路和证明方式。给定某个操作的真值表示(lookup table),证明某个操作的输入/输出是在真值表中。这种方式,相对之前的bit计算约束方式,降低约束的个数,提高了电路效率。

  • Star Li
  • 发布于 2021-07-26
  • 阅读 ( 476 )

零知识证明 - 深入理解PlonK算法

PlonK算法实现了Universal的零知识证明。SRS只需要提供比多项式阶高的可信设置即可。PlonK电路采用特殊描述,一个门只支持乘法和加法操作。电路需要证明门的输入输出满足外,还需要证明连线的连接关系。PlonK算法的底层原理是多项式承诺。PlonK算法巧妙地将电路的满足关系通过多项式承诺进行证明并验证。

  • Star Li
  • 发布于 2021-01-29
  • 阅读 ( 1101 )

零知识证明 - 深入理解powersoftau

powersoftau,采用MPC以及随机Beacon,完成可信设置。通过POK算法实现可验证的密钥对,并建立和上一个参与方计算结果的绑定。参与可信设置的人数可扩展,并且参与方只需要按照顺序一个个的进行指定的计算即可。协调方在接收到某个参与方的计算后,验证后,发送给下一个参与方。

  • Star Li
  • 发布于 2020-12-24
  • 阅读 ( 886 )
  • ( 4 )

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

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

  • 李画
  • 发布于 2020-11-02
  • 阅读 ( 1676 )
  • ( 145 )

零知识证明 - PLONK电路原理

PLONK算法的电路采用新的描述模型。整个电路由门电路约束和Copy约束(连线约束)组成。门电路约束和Copy约束都转换为多项式表达。Copy约束通过累加算法实现。

  • Star Li
  • 发布于 2020-10-06
  • 阅读 ( 1257 )
  • ( 24 )

零知识证明 - Zkopru Layer2隐私协议介绍

Zkopru利用零知识证明在以太坊上实现layer2隐私交易的新方案

  • Star Li
  • 发布于 2020-09-17
  • 阅读 ( 1090 )
  • ( 33 )

EthWorks:零知识证明与区块链扩展,Part-1

通过本文,我们想要分享我们与区块链开发者乃至整个区块链社区进行可扩展性研究所得出的成果。我们相信,本文将帮助大家了解零知识证明和二层可扩展性方案的潜力,同时更深入地理解这些技术

  • EthFans
  • 发布于 2020-07-27
  • 阅读 ( 988 )
  • ( 28 )

零知识证明 - 理解FFT的蝶形运算

利用Groth16计算证明之前,需要计算出H。目前,普遍采用的是FFT算法。

  • Star Li
  • 发布于 2020-07-20
  • 阅读 ( 2190 )
  • ( 18 )

零知识证明介绍

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

  • 吴寿鹤
  • 发布于 2020-06-30
  • 阅读 ( 2671 )
  • ( 170 )

实践指南:构建一个零知识证明 DApp [译]

本文将构建一个zk-dApp(零知识证明 DApp),以证明用户是否属于某个特定组,而无需透露用户具体是谁。

  • Tiny熊
  • 发布于 2020-06-10
  • 阅读 ( 2075 )
  • ( 184 )

circom与snarkjs经典教程:创建第一个零知识 snark 电路

本教程是circom 和 snarkjs 最经典的入门文章

  • Tiny熊
  • 发布于 2020-06-02
  • 阅读 ( 5766 )
  • ( 402 )