最近有空看了看Plookup的论文。针对对电路描述不友好的操作（比如bit操作），Plookup给出了新的思路和证明方式。给定某个操作的真值表示（lookup table），证明某个操作的输入/输出是在真值表中。这种方式，相对之前的bit计算约...
...](https://learnblockchain.cn/article/287) 2. [多项式的非交互式零知识证明](https://learnblockchain.cn/article/329) 3. [从程序到多项式的构造](https://learnblockchain.cn/article/393) 4. [多项式的约束](https://learnblockchain.cn/article/394) 5. [Pinocchio 协议](https:/...
...作?** - **它们如何为区块链应用工作?** ## **一、零知识证明(ZK):强调“证明却不泄露”** 零知识证明(ZK)技术探讨的命题是:如何在不泄露任何具体内容的情况下，验证信息的真实性。 ZK建立在密码学的坚实基础上...
...的工具链的实属难得。目前ZoKrates使用zk-SNARK算法实现零知识证明。 本文介绍ZoKrates的思想，工具链的使用以及源代码导读。 ## 链下计算/链上验证 传统区块链整个交易或者计算（Tx）的内容都是存储在区块链上，并且每...
...言具体的，实现了 ZK Rollup 的项目，其采用了 ZK-SNARK 的零知识证明算法（经过 Boojum 升级后变为 ZK-STARK 的算法）。根据其官方所讲，其具有以下特点： * 可靠的安全性（继承自以太坊的安全性），对第三方零依赖（这个没看懂...
...chain.cn/article…](https://learnblockchain.cn/article/6184) ## 零知识证明是魔法 零知识证明是一种魔法。它能让我们做到以前想都不敢想的事情。 首先，让我引用几句名言来刺激你的大脑。有些可能是你耳熟能详的，有些可能是...
...东西现在正变得活跃起来。这包括格密码学，当然还有零知识证明（ZKP）的奇妙概念 \[ [这里](https://nylas.github.io/paper-reading-group/papers/Interactive_Proof_Systems.pdf)\]：  通过 ZKP...
...出问题，以便指出任何代码问题。谢谢！ 本文是对 [零知识介绍](https://zk.bearblog.dev/introduction/) 文章的后续内容。我们将详细介绍 [Tornado Cash](https://docs.tornado.ws/) 的代码库。 我们的目标是让你了解整个开发周期，而不仅仅是...
...和非交互式欺诈证明，下面会详细解释。 第二种是零知识证明，每次存入状态都需要给出证明，证明会在L1进行验证，如果验证根hash值是正确的，代表发布者的发布无误，这里的证明用到了零知识证明相关研究。 # 欺诈证...
...的计算在17/18页）： 对Groth16算法的理解可查看： [零知识证明 - Groth16算法介绍](https://learnblockchain.cn/2019/05/27/groth16/) 对libSnark代码库的理解可查看： [零知识证明 - libsnark源代码分析](https://learnblockchain.cn/2019/08/15/libsnark-so...
...真实的算法，例如虚拟机或密码学哈希函数。 ## 预备知识 我们希望读者已经熟悉我们 ZK 书中的以下章节： * [P vs NP 及其在零知识证明中的应用](https://learnblockchain.cn/article/9569) * [ZK的算术电路](https://learnblockchain.cn/article/1...
....learnblockchain.cn/2025/03/13/1fwnogHOki3FswmGiTPTm9Q.png) ## 介绍 零知识证明技术的出现引发了区块链扩展解决方案的技术复兴。两种不同的方法，zkVMs ( **零知识虚拟机** ) 和 zkEVMs ( **零知识以太坊虚拟机** )，在这场革命的前沿。虽然两...
前段时间在翻译一本零知识证明技术的书。上个月底基本内容已经翻译完成。翻译时间比我预想的长得多。目前正在和作者讨论书中的一些笔误，准备最后的定稿。 anyway，终于有点时间看看新鲜东西。先从Nova算法开始～ ...
在理解了DIZK的基本原理后：[零知识证明 - DIZK介绍](https://learnblockchain.cn/article/574)。 对DIZK感兴趣的小伙伴可以看看DIZK的源代码： https://github.com/scipr-lab/dizk DIZK的更新比较少，最后一个patch也是2018年底了： ``` commit 81d72a...