...易，否则交易被认为是有效的。如果发生质疑，则使用零知识证明快速有效地证明是否发生了欺诈。 ZK 欺诈证明通过仅在争议期间生成零知识证明来提高成本效率，而不是为每笔交易生成零知识证明。与完整的 ZK rollups 相比，...
...证明，必须以其他方式进行验证。最近的工作建议使用零知识证明来验证这些图像编辑，特别是 [ZK-SNARKs](https://z.cash/technology/zksnarks/)（零知识简洁非交互知识论证）。ZK-SNARKs 可以证明图像上的编辑是合法的。 不幸的是，[这项...
...迈向实时证明** ## 介绍：极具吸引力的 zk 技术 ZKP（零知识证明）被认为是加密行业中最引人注目的技术之一。ZKP 成为了区块链早期提出的 **区块链不可能三角** 之一的可扩展性方面取得突破性改进的起点。特别是，从 zk-rollup...
什么是这个被称为零知识密码学的新兴且令人兴奋的密码学领域？它与可信和机密计算有什么关系？为什么我们需要因此重新思考安全性？ 这就是你将在本文中学到的内容。 但首先，我们是谁？ 我们是三位联合创始人：David，...
视频 AI 总结： 该视频介绍了 Jolt，一种新的零知识虚拟机（ZKVM），它允许证明者证明计算机程序的正确执行。Jolt 基于 RISC-V CPU，通过重复执行 CPU 的取指、解码、执行周期来实现。ZKVM 的优势在于其对开发者友好，无需了解复...
## 介绍 在零知识证明（ZKP）的世界中，Noir 已经成为一种强大的、对开发者友好的语言，用于构建保护隐私的应用程序。Aztec 将 Noir 设计为一种植根于 Rust 原则的**领域特定语言**（DSL），它简化了复杂算术电路的创建——这些...
早上很多朋友@我，安比实验室发表了一篇文章[zkSNARK的“输入假名”的攻击](https://learnblockchain.cn/2019/07/29/zkSNARK-wul/)。迅速看了看，很赞。这个攻击原理其实比较简单，但是，不深入理解zkSNARK以及使用场景的朋友确实很难发现和...
...og.chain.link/homomorphic-encryption/)（例如 Paillier, ElGamal）和[零知识证明](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/)（例如，zk-SNARKs, zk-STARKs），以使给定数量 (n) 的参与者（每个参与者都有私有数据 (d1, d2, …, dn)）能够计算该数据...
...kVM 的范围时，我们关注了几个关键因素： * 真正的零知识功能：zkVM 必须展示或接近展示生成和验证零知识证明的能力。 * 性能基准：我们寻求在性能方面有坚实基准的 zkVM，特别是在速度和效率方面。 * 特定功能：对...
...营商对用户交易进行打包，生成打包批次 第二: 使用零知识证明（zk-SNARKs或zk-STARKs）算法生成一个证明，证明所有交易的有效性, 而无需公开具体交易数据 第三: 运行商将交易批次的状态根和零知识证明提交到以太坊主网的智...
...无从谈起。我们引入了 zkEVM 用来为通用的 EVM 验证生成零知识证明。这样一来，我们就可以构建出完全兼容 EVM 的 zk-Rollup，以便现有以太坊应用轻松迁移到这个 zk-Rollup 上。 在本文中，我们明确指出了 zkEVM 在设计上面临哪些...
...我们还有一些解决方案，例如 UMA 等乐观预言机和基于零知识证明的数据，如 zkPassport、PrivadoId、zkEmail 等，这些都扩展了可验证数据的范围。 然而，想象一下，如果用户能够为他们在互联网上访问的任何数据生成加密证明—...
零知识证明 (ZKP) 已经从提供隐私和可验证性的理论概念发展到具有实际的、现实世界的实现。一些最常见的用例包括区块链中的私有交易（例如，[Zcash](https://z.cash/)）、具有私有智能合约能力的区块链（例如，[Aleo](https://aleo.org...
...信任。在一系列文章中，我们将介绍强大的原语，例如零知识证明和全同态加密，以及它们的用法和用例。 加密是将消息转换为看起来随机的文本，以确保双方之间的机密性。 **我们在这里的目标是什么？** 我们想要生成一...
...[https://eprint.iacr.org/2022/1355](https://eprint.iacr.org/2022/1355) 零知识证明系统是区块链隐私和可扩展性的核心构建块。这些系统允许证明者向验证者证明某个状态转换是正确的。这可以是一个 [CAPE](https://www.espressosys.com/blog/cape-configurabl...