# 零知识证明和Layer2简介

By [berwinYes](https://paragraph.com/@coolberwin) · 2022-05-29

---

1、零知识证明简单介绍
===========

**零知识证明是一方（证明者）向另一方（检验者）在不透露具体内容的条件下证明某命题的方法。**

举例：

两个富翁A和B相遇，两人的资产都在1-10亿之间，要如何在不告诉对方自己具体财富的情况下，得出对方是否比自己有钱？

![](https://storage.googleapis.com/papyrus_images/1ce949ec4774a9c0eed003eb59a0f290393c64613282931bf68afee274572135.png)

区块链中的零知识证明：

![](https://storage.googleapis.com/papyrus_images/3190891719f55430cbfcd633b2d44514cba86d1d6e72b80bb4cbf052c8588d3a.png)

其实大家可能会疑惑，为什么会用到零知识证明，那其实。在区块链机制中，想要去证明自己有存储某个东西的时候。他其实是不会把这个东西全部发给你来证明？比如说存储了一部电影我，可能不会把整个电影发给你了他，会有一种证明机制去，证明里面的某一块或者是某个东西他是有的，通过提交某个证明去给到系统，系统知道你有存这个东西这种就是其实就是零知识证明的一种，就是不公布具体内容，但是证明某个事情。

![](https://storage.googleapis.com/papyrus_images/286b83fbf526fd34ad8e5543a18c2fe5346690335149f64beab4eaf95553a595.png)

例如银行贷款必须提交资产证明，通过零知识，无需提供银行房本，住址这些资料。

2、Layer2简单介绍
============

起源
--

Layer2的诞生是为了解决**以太坊主网拥堵及昂贵**的问题，在Eth2.0完成之前保持住以太坊上生态霸主的地位。

广泛层面上，Layer2包含所有和以太坊主链有桥接的项目，包含像Polygon这类几乎独立的区块链； 狭义层面，指的是指以以太坊主网作为最终状态记录，继承了以太坊主网的安全性和去中心化的项目。我们今天主要介绍狭义层面的Layer2。

Layer22主要分为状态通道(State channels)和侧链(Sidechains)两种，状态通道(State channels)类似btc的闪电网络，用得不多，这里不做具体介绍。

侧链(Sidechains)则包含Rollups和Plasm.。现在最为广为人知的是roll up和plasm系列。

![](https://storage.googleapis.com/papyrus_images/29f1b73465a8aa85063452ab4beb40d41cc5f52a610f2988bc63039c260c8009.png)

*   Plasm系
    

Plasma在2017年就被提出，最早被提出的以太坊优化解决方案，通过将**计算和存储都放在链下**，代表是polygon。

![](https://storage.googleapis.com/papyrus_images/ea8f199e539e49b3e89ac2e238580e1881f280d8186054c7e09b780008d3a2c5.png)

*   Rollup系(重点)
    

Roll up最主要的特征是将**数据存于链上，计算放在链下。而不同的roll up类型，主要区别在于计算和验证方式的差别**。Rollup的数据存储逻辑都是通过设置在主网上的智能合约实现的。

![](https://storage.googleapis.com/papyrus_images/61565d3211415dc988867ef03bb2d6a5c9df558edea6cc9ecefdf338ab68edf2.png)

optimism他其实现在是处于一个比较封闭的状态，很多东西都需要审核才能加入他们网络。

![](https://storage.googleapis.com/papyrus_images/f8c0153f9d3a7751333a448ddce103af7d4f20b461b9875cf964bb3aca62697f.png)

![](https://storage.googleapis.com/papyrus_images/dc92dc0ca5ec68eb9166dd8a63c56f5086f575028ec0834b8d6d416c1abf3602.png)

从数学角度是非常复杂的，它计算每一个证明其实都需要很多的步骤，然后往往一个大的证明又是很多小证明的合集。所以他极其耗费计算资源的。那也就因为这些东西，他们的对EVM的支持其实也是比较有限，你像很多项目他都没有很完全的支持EVM，都是支持一小部分等于M的功能。所以导致他们生态发展其实是没有那么快速的。

**总结：Layer2是主链的一个附属链，不同之处是在主链和附属链之间的通信方式不同，例如rollup 或者plasm。**

---

*Originally published on [berwinYes](https://paragraph.com/@coolberwin/layer2)*
