....learnblockchain.cn/2025/03/13/1fwnogHOki3FswmGiTPTm9Q.png) ## 介绍 零知识证明技术的出现引发了区块链扩展解决方案的技术复兴。两种不同的方法，zkVMs ( **零知识虚拟机** ) 和 zkEVMs ( **零知识以太坊虚拟机** )，在这场革命的前沿。虽然两...
...东西现在正变得活跃起来。这包括格密码学，当然还有零知识证明（ZKP）的奇妙概念 \[ [这里](https://nylas.github.io/paper-reading-group/papers/Interactive_Proof_Systems.pdf)\]：  通过 ZKP...
...真实的算法，例如虚拟机或密码学哈希函数。 ## 预备知识 我们希望读者已经熟悉我们 ZK 书中的以下章节： * [P vs NP 及其在零知识证明中的应用](https://learnblockchain.cn/article/9569) * [ZK的算术电路](https://learnblockchain.cn/article/1...
前段时间在翻译一本零知识证明技术的书。上个月底基本内容已经翻译完成。翻译时间比我预想的长得多。目前正在和作者讨论书中的一些笔误，准备最后的定稿。 anyway，终于有点时间看看新鲜东西。先从Nova算法开始～ ...
...言具体的，实现了 ZK Rollup 的项目，其采用了 ZK-SNARK 的零知识证明算法（经过 Boojum 升级后变为 ZK-STARK 的算法）。根据其官方所讲，其具有以下特点： * 可靠的安全性（继承自以太坊的安全性），对第三方零依赖（这个没看懂...
在理解了DIZK的基本原理后：[零知识证明 - DIZK介绍](https://learnblockchain.cn/article/574)。 对DIZK感兴趣的小伙伴可以看看DIZK的源代码： https://github.com/scipr-lab/dizk DIZK的更新比较少，最后一个patch也是2018年底了： ``` commit 81d72a...
一个 zkVM (零知识虚拟机) 使用零知识证明来证明和验证在特定 ISA (指令集架构) 中运行的计算。现有的 zkVM (例如, [risc0](https://risczero.com/), [sp1](https://github.com/succinctlabs/sp1), [jolt](https://github.com/a16z/jolt), [valida](https://github.com/valida-xy...
...爆发。 在 L2 扩容赛道中，具有极佳数据压缩性能的零知识证明扩容方案（ZK Rollups）已然被认为是以太坊的中长期核心方案。以太坊创始人 Vitalik 于 2022 年根据各家 ZK Rollups 与 EVM（Ethereum Virtual Machine）以太坊虚拟机的兼容性...
...GAS消耗应该不是168w，应该在40w左右。 如果使用Groth16零知识证明的话，大约需要不到50w的GAS（EIP1008情况下）。  值得一提的是，使用Groth16零知识证明，需要将...
...ct 统一了证明供应链，为 rollups、coprocessors 和其他使用零知识证明的应用程序提供具有一流定价的高可用性证明生成基础设施。 ## 一个真理而非信任的时代。 加密技术在其使命上**失败了**。我们被承诺拥有全球规模协调的透...
...妥协安全性或功能性的情况下拆卸这些障碍呢？引入**零知识传输层安全（zkTLS）**——一种革命性的方法，将零知识证明集成到网络的基础协议中。zkTLS提供了一条道路，将用户从大科技公司使用的保留技术中解放出来，减轻用...
...rguments of **K**nowledge的简称。PlonK算法，实现了Universal的零知识证明算法。所谓Universal，初始可信设置只需要一次，而且可以在原有基础上直接迭代。对Groth16熟悉的小伙伴都知道，Groth16的每一个电路都需要单独的可信设置(Trusted S...
...部分：seal commit，epost和post。总的来说，GPU目前用来做零知识证明的加速。对于V20的版本的seal commit，普通的服务器CPU，耗时2个小时多。一块2080ti的GPU，将时间压缩到1个小时以下。因为epost和post过程参与共识，对时间有要求，用...