...真实的算法，例如虚拟机或密码学哈希函数。 ## 预备知识 我们希望读者已经熟悉我们 ZK 书中的以下章节： * [P vs NP 及其在零知识证明中的应用](https://learnblockchain.cn/article/9569) * [ZK的算术电路](https://learnblockchain.cn/article/1...
...。 下面将逐步剖析Plonky2。 1. #### 整体构造 每个零知识证明系统都由两部分构成。第一个是编写算术电路，第二个是多项式承诺方案。 Plonk2第一部分采用Plonk + custom gates (TurboPlonk)，第二部分没有选择KZG等典型的SNARK承诺...
...方案，旨在加速和简化区块链扩展操作。Jolt集成了SNARK零知识证明，为EVM兼容Rollups提供了框架，可以帮助开发人员创建基于SNARK的L2解决方案。该团队表示，与目前的zkVM相比，Jolt的速度“快了两倍”。 ### eps week1 纪要 - 以太...
...一个多项目的承诺了； 多项式的系数a，就是多项目的知识，知道了一个多项目的系数，就知道了多项目； 我们知道，从一堆数据中可以得出一个多项式的点值形式；比如把一个文件分成4份，每份大小8bite；选择x轴从0开始...
几乎所有 ZK-Proof 算法都依赖于 Schwartz-Zippel 引理来实现简洁性。 Schwartz-Zippel 引理指出，如果我们有两个多项式 $p(x)$ 和 $q(x)$，它们的次数分别为 $d_p$ 和 $d_q$，并且 $p(x) \neq q(x)$，那么 $p(x)$ 和 $q(x)$ 的交点数量小于或等于 $\maths...
...ain.cn/2023/04/07/26624.png) 在这篇文章中，我们将探讨零知识技术及其在加密领域的应用。[零知识证明](https://learnblockchain.cn/tags/%E9%9B%B6%E7%9F%A5%E8%AF%86%E8%AF%81%E6%98%8E)是一个复杂的话题。 如果你没有看到我们的[科普: 零知识证...
...Protocol 是一条轻量级区块链，以其固定大小的区块链和零知识证明（zk-SNARKs）为核心特点。 这篇文章，将深入探讨 Mina 的账户初始化过程，让我们更好地理解和应用 Mina 网络 ## **账户初始化的过程** 在 Mina 网络中，账户...
...协议的设计。本专栏介绍了 V3 的智能合约架构。 [**零知识证明之书**](https://learnblockchain.cn/column/118/intro)  零知识证明之书， 对程序员友好的零知识证...
...](https://www.alchemy.com/overviews/ethereum-scaling-solutions)，利用零知识证明在保持自我主权和去中心化的同时提高以太坊的吞吐量。 zkSync的创建者Matter Labs是首批识别以太坊可扩展性问题并创新出实用、面向未来解决方案的工程团队之...
...。个人对存储证明的部分比较感兴趣，也就是FPS。采用零知识证明技术，对存储进行证明是个大胆的尝试。 [Filecoin - PoRep和PoSt算法源代码导读](https://learnblockchain.cn/article/680) Filecoin团队，在2019年下半年出了个Lotus（莲花）测...
...t 6：递归 ZK-SNARK 与常规 ZK-SNARK 有何不同？ 在之前的零知识证明系列文章中，我们详细介绍了ZK-SNARKs技术及其使用优缺点，本期内容我们将继续介绍另外两种零知识证明类型ZK-STARK和递归ZK-SNARK？ ## 什么是 ZK-STARK？ ZK-STARK ...
...新的频度变的快了，每天都有不少代码merge进来。目前零知识证明的CRS，已经从V20更新到V24版本。目前测试网络也进入了testnet3阶段。在之前的V20的版本基础上，V24版本对Sector处理也有些变化。 [Filecoin - Lotus存储证明了什么？](...
...N** oninteractive arguments of **K** nowledge 的缩写。PlonK是通用零知识证明算法的一个实现。通用意味着可信设置只需要初始化一次。对熟悉Groth16的人来说，你应该知道每个电路在Groth16中都需要一个单独的可信设置。 你可以在这里访...
.../2022/06/eFBPpUnR62a98dbfd58b9.png!/scale/70) > 解析加密业界对零知识的见解及其未来的意义。[点击下载报告](https://img.learnblockchain.cn/pdf/MF_zkSurvey_Report_FINAL_CN_2.pdf) ## 关于这份报告 > ZKP 的定义：zero knowledge proof (零知识证明) 的缩写...
...用默克尔树结构能带来巨大的比较性能优势。 ### 3\. 零知识证明 证明某个元素存在特定集合中，除了要证明的元素之外，并未泄露其他集合元素信息，因此具有零知识性质，可用在零知识相关应用中。 ## 小结 merkle树在...