浅谈零知识证明系列文章已有如下更新： 1. [背景与起源](https://learnblockchain.cn/article/278) 2. [简短无交互证明（SNARK）](https://learnblockchain.cn/article/352) --- 上个学期在斯坦福跟着Dan Boneh学习了区块链和数字货币相关的技术。和以...
...常缺乏基本功能。 通过克服传统链上计算和复杂零知识解决方案的限制，zkVM 1.0 使开发者能够轻松构建可扩展、互操作和创新的应用程序。 **为什么这很重要** -------------------- zkVM 1.0 为构建链上协议和去中心化...
...提交的 blob 数据在需要时是可用且可验证的。这类似于零知识证明，通过数学方法验证数据的完整性和有效性，而不需要将所有数据永久存储在链上。 3. **如何验证 Rollup 交易？** 1. **Rollup 压缩交易**：Rollup 链（例如 zkSync）...
一个 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...
...来发展。 ## 什么是 zkVM？ Rami 解释说，zkVM 本质上是零知识证明的实践实现。他将零知识证明比作签名的泛化。在签名中，私钥生成消息上的签名，公钥可以验证该签名。利用零知识证明，“私有部分”可以是任何输入，“签...
...以太坊的流行替代方案。 目前，Polygon 正在开发一套 [零知识 Rollup](https://learnblockchain.cn/article/14331) (ZK Rollup)，以提高以太坊的吞吐量，同时不牺牲去中心化或安全性。 ZK Rollup 在链下处理交易，并减少基础层上的计算，以实现...
...环和域如何在密码学中使用，以及为什么它们对于理解零知识证明背后的数学是必要的。 _"F 是一个超多项式大小的素域 _ ”**PLONK：用于普适非交互式知识论证的基于拉格朗日基的排列（2019）** 在本文中，我们将最终了解...
...一种**线性阈值同态加密**（特别是 **El-Gamal**），结合零知识证明，确保每个人的选票在投票结果仍能透明计算的同时，保持永久私密。 **快速链接：** - 一个概念验证（PoC）已经被构建到一个 forked Snapshot UI 中（[观看 PoC 视...
...ttps://learnblockchain.cn/article/10821)，我们深入探讨了一个 _零知识证明_ 协议的特定示例。尽管优化和性能问题不谈，它涵盖了所需的用例：证明一个数字在 _某个范围_ 内。然而，该协议是 _极其具体_ 的，为了另一个声明而制作另...
...个随机数，从而暴露我们的身份。 ## 用球为例解释零知识 现在，如果我们能向警卫证明，我们知道一个秘密的数字，在不透露实际数字的情况下，在碗内对承诺进行哈希运算呢？那么，我们可以用零知识证明来做到这一点...
...20 主要是围绕这一痛点来展开的，以及如何通过强化的零知识证明（如无小因子证明、Blum 模数证明）和原子性签名来封堵这一漏洞。即使采用 GG20，Paillier 参数验证和密钥管理仍是审计重点。 以前的文章 - [VSS、DKG、Threshold-S...
...决方案接近全面开发，正在向主网过渡 - 正在为融合零知识证明 (ZKP) 的隐私Layer 1s (L1s) 和L2s进行积极开发 - 账户抽象正在普及，显著提升用户体验 - 随着替代L1区块链（如基于Move的区块链）的出现，区块链领域正在增长 - 模...
...了 BitSNARK v.0.1，第一次使得使用户能够验证比特币上的零知识证明。允许任何人在不分叉代码的情况下升级网络。BitSNARK 协议是在比特币网络上验证零知识证明执行情况的一种方法，它允许将比特币的转移与可证明的外部事件（...
## **一. 从隐私到扩容，零知识证明的崛起** 自区块链问世以来，如何在去中心化的环境下保证数据隐私与系统可扩容，一直是产业和学界的共同难题。区块链承诺为我们带来**不可篡改、无需信任**的分布式账本，但交易透明...