一文读懂零知识证明(ZKP)

本文将详细探讨零知识证明如何保障隐私,而隐私保护是零知识证明对用户的核心价值。另外文中还会列举零知识证明在区块链上的各种用例,以及如何利用Chainlink的DECO​技术建立保护隐私的预言机网络,证明数据来自某一web服务器的同时保护数据隐私,并实现向后兼容。

zkSync 2.0 开发者更新

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

Sin7Y 团队全面解读——如何使用 Halo2 开发电路

本文详细介绍了 Halo2 电路开发的基本流程,希望对读者有所帮助。

  • ZKSwap
  • 发布于 2021-09-20
  • 阅读 ( 112 )

Sin7Y团队深入研讨——几种多项式承诺方案

希望通过本文的介绍,让大家对这几种主流的PC方案有更全面的认识,然后在实际的应用过程中,选择最合适的PC方案。

  • ZKSwap
  • 发布于 2021-09-07
  • 阅读 ( 146 )

零知识证明 - zkEVM解读

AppliedZKP公开了zkEVM的设计思路。zkEVM采用数据总线(Bus Mapping)的思路,将存储和计算分开。在Bus Mapping抽取了正确的存储数据的基础上,State proof证明数据的一致性,EVM proof证明计算逻辑的正确性。

  • Star Li
  • 发布于 2021-09-02
  • 阅读 ( 193 )

ZKopru:结合 ZKP 和 Optimistic Rollup

Zkopru 已临近完成,本文解释了其设计和精妙之处。同时我们也会宣布测试网开启的时间。

  • EthFans
  • 发布于 2021-08-19
  • 阅读 ( 177 )

Dark Forest - 采用零知识证明技术的游戏

Dark Forest是一款实时策略游戏。星球的移动和攻占是整个游戏的策略重点。为了在不公开星球坐标的情况,还能证明星球的移动正确,引入了零知识证明技术。

  • Star Li
  • 发布于 2021-08-17
  • 阅读 ( 280 )

zkEVM - Hermez设计思路

Hermez团队负责人Jordi Baylina比较清晰地给出了zkEVM大体的设计思路。本文梳理一下对zkEVM设计的理解。抛砖引玉,有理解偏差,小伙伴们可以留言讨论。

  • Star Li
  • 发布于 2021-08-11
  • 阅读 ( 178 )

ZKSwap团队详细解读——Halo2原理

Halo2 消除了 Trust Setup,它的许多优化都是值得深究并且借鉴的地方。

  • ZKSwap
  • 发布于 2021-08-10
  • 阅读 ( 191 )

零知识证明 - Plookup算法介绍

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

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

简明理解零知识证明历史、原理与发展现状

零知识证明已在区块链领域大放异彩,包括第一个实现 zkSNARK 的匿名加密货币 Zcash 和 Layer 2 的主要解决方案 ZK Rollup。

  • 链闻
  • 发布于 2021-07-15
  • 阅读 ( 317 )
  • ( 8 )

ZKSwap团队剖析L2现状:Arbitrum如何改进Optimistic?

ZKSwap 团队带领大家纵览 Layer2 全局,以技术为基础细分整个产品市场并深度剖析背后的技术原理。

  • ZKSwap
  • 发布于 2021-03-16
  • 阅读 ( 416 )
  • ( 10 )

ZKSwap团队深入解读零知识证明算法之ZK-Stark(三):Low Degree Testing

本文将在回顾Arithmetization 过程的同时,将内容引申到多项式的 LDT 过程。

  • ZKSwap
  • 发布于 2021-02-03
  • 阅读 ( 457 )
  • ( 2 )

ZKSwap团队深入解读零知识证明算法之ZK-Stark(二):Arithmetization

让我们由浅入深,一起踏上探索 Zk-stark 算法奥秘的旅途。

  • ZKSwap
  • 发布于 2021-02-03
  • 阅读 ( 490 )
  • ( 3 )

ZKSwap 设计规格

此设计规格描述了ZKSwap协议与ZKSync的区别。

  • ZKSwap
  • 发布于 2021-02-01
  • 阅读 ( 790 )
  • ( 4 )

ZKSwap团队深入解读零知识证明算法之ZK-Stark(一)

本篇文章将重点讲解 ZK-Stark 和 ZK-Snark 算法的异同之处。

  • ZKSwap
  • 发布于 2021-02-01
  • 阅读 ( 639 )
  • ( 3 )

ZKSwap团队解读零知识证明算法之Bulletproofs:Arithmetic Circuits

本篇主要介绍优化过程,希望能寻找一种方法可以把 CC 降低到 O(log(n) 级。

  • ZKSwap
  • 发布于 2021-02-01
  • 阅读 ( 532 )
  • ( 2 )

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

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

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

ZKSwap团队解读零知识证明算法之Bulletproofs --Range Proof 3

本文以离散对数为基础,进一步讲述Bulletproof 的rangeproof的开源实现。

  • ZKSwap
  • 发布于 2021-01-29
  • 阅读 ( 688 )
  • ( 2 )

ZKSwap团队解读零知识证明算法之Bulletproofs:Range Proof 2

本篇主要介绍优化过程,希望能寻找一种方法可以把 CC 降低到 O(log(n) 级。

  • ZKSwap
  • 发布于 2021-01-29
  • 阅读 ( 529 )
  • ( 2 )