...心化的方式发送币，**而不揭示目的地或金额**，使用零知识证明。 在这篇文章中，我们将讨论Zerocash的结构及其在现实中的应用，特别是[Zcash↗](https://z.cash/)。 ## 背景 在本节中，我们将介绍Zerocash的基础密码学协议，这些是...
...chments/2025/03/oOlSJ4VA67cd47868c4f4.png!/scale/60) 你是否听说过零知识证明（ZK）的神奇之处，却不知其运作机制？那么，“ZK白板系列”专栏将是你打开这扇魔法之门的钥匙！ 从零知识证明的基本概念出发，逐步深入到高级协议，并探...
...维度上，让更多人获得帮助。 前一段时间，介绍了[零知识证明的入门知识](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)，通过 QSP 问题证明来验证另外一个 NP 问题的解。最近在看 QAP 问题相关的文章和资料，这篇文章分享一下 QAP...
...1js 2.\*** 开发一个去中心化应用（DApp），构建一个基于零知识证明（ZKP）的寻宝游戏。游戏中，玩家扮演精英盗贼，需完成一系列盗宝任务。通过零知识证明，玩家可以向系统展示任务完成的真实性，同时保护任务细节（如密码...
## 摘要 Nightfall是一种零知识证明的实现， 它使用zk-SNARKS让同质化ERC20和非同质化的通证ERC721系列的通证进行隐私化转移，使得交易能够完成但是又能足够的匿名。本文主要是通过对架构设计、承兑型资产铸造、转移和销毁这...
...# 自定义 ISA（指令集架构） 2024 年 9 月 4 日 当前围绕零知识虚拟机（zkVM）架构的讨论通常围绕一个二元选择：通用指令集架构（ISA）与自定义指令集架构（ISA）。在 Lita，我们提出了一个更为细致的视角。我们认为，零知识证...
...息包括： 1. **SNARK的定义**：SNARK是一种简洁的非交互式知识证明，允许证明者生成一个短小的证明，验证者可以快速验证该证明的有效性。 2. **零知识SNARK**：这种扩展形式不仅证明了某个陈述的真实性，还确保在证明过程中不...
...将深入了解 sumcheck 协议中的算术运算，并了解如何在零知识证明中优化特定情况。 [阅读 →](https://blog.zksecurity.xyz/posts/formal-verification-arithmetic-circuits/posts/faster-sumchecks/index.html)[ 我们曾经讨论了[零知识证明的先进形式化验证：如何验证一条ZK指令](http://mp.weixin.qq.com/s?\__biz=MzU5OTg4MTIxMw==\&mid=2247502807\&idx=1\&sn=e5a6deabb78220190c027570b58943f0\&chksm=feacaf45c9db26539e50d6973bcc0c85d2bd22d51...
...最后一种是使用 [Semaphore](https://semaphore.appliedzkp.org/) 的零知识证明技术栈的全新技术。  > [图源](https://www.paldesk.com/wp-content/uploads/2019/06/what-is-whitelist.png) 白名单是一种...
...以太坊网络上一模一样的工具和基础设施。 Linea 将零知识证明功能与完整的以太坊虚拟机 (EVM) 等效性相结合，允许构建者创建可扩展的 DAPP 或迁移现有的 DAPP，而无需更改代码或重写智能合约的麻烦。此外，Linea 还提供便捷...
> **预备知识** > 1. 多项式和阶 > 1.1 多项式基本概念及其在密码学中的应用 > 1.2 低阶多项式的重要性及其在证明系统中的意义 > 2. 群与有限域 > 2.1 群和有限域 > 2.2 子群和陪集 > 2.3 循环群和单位根 (root of unity) > ...
...。 **2.2.2 zkEVM** zk-rollup 是一种 rollup 网络，它通过零知识证明（ZKP）来证明执行的有效性。 然而，EVM 最初并非以零知识技术为设计理念。 因此，为 EVM 执行生成 ZKP 非常具有挑战性。 换句话说，实现与 EVM 兼容的 zk-rollup 在...
... 比特币上的ZK RollUp和OP挑战 ZK-Rollup只是通过Taproot将零知识证明和Rollup的聚合数据写入比特币。这保证了ZK-Rollup的数据锚定在比特币中并且无法被篡改。但它并不能保证 ZK-Rollup 内交易的有效性和正确性，也不能利用比特币强...
...tus/1849896554016145912)，其中有两个问题值得关注： （1）零知识证明在区块链中的发展经历了三个重要阶段，从专用电路到通用 zkVM 的演变，再到对专用电路的重拾； （2）ZK 领域当前最紧迫的两个挑战——改进证明基础设施以提...