零知识证明文章 - 第8页

零知识证明 - zkEVM解读

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

零知识证明 Layer2 zkEVM zkSNARK ZK Rollup

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

ZKopru：结合 ZKP 和 Optimistic Rollup

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

Layer2 零知识证明扩容 OP Rollup zkopru

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

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

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

零知识证明 Dark Forest

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

zkEVM - Hermez设计思路

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

零知识证明 Layer2 zkEVM Polygon zkEVM

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

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

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

椭圆曲线 zkSNARK 密码学

blocksight
发布于 2021-08-01
阅读 ( 5869 )

零知识证明 - Plookup算法介绍

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

零知识证明 Plookup

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

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

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

零知识证明密码学

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

区块链中的数学 - 何谓零知识证明?

在任意的零知识证明系统中，都有一个 prover 在不泄漏任何额外信息的前提下要让 verifier 确信某些陈述（Statement）是正确的。ZK-SNARK目前应用较多，有不少成熟的库，如libsnark,bellman等.

区块链中的数学零知识证明

blocksight
发布于 2021-04-24
阅读 ( 5178 )
( 22 )

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

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

PLONK 零知识证明