零知识文章 - 登链社区

一文读懂零知识证明（ZKP）

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

智能合约零知识证明 DECO Chainlink 预言机

Chainlink
发布于 2021-09-23
阅读 ( 612 )
( 5 )

zkSync 2.0 开发者更新

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

zkSync 2.0

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

零知识证明 - zkEVM解读

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

零知识证明 Layer2

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

ZKopru：结合 ZKP 和 Optimistic Rollup

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

Layer2 零知识证明扩容 Optimistic Rollup zkopru

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

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

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

零知识证明

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

zkEVM - Hermez设计思路

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

零知识证明 Layer2

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

零知识证明 - Plookup算法介绍

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

零知识证明 Plookup

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

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

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

零知识证明密码学

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

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

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

PLONK 零知识证明