# 1. 引言 zkMIPS 通过生成反映程序运行时 CPU 状态的零知识证明（Zero-Knowledge Proof，ZKP），验证 MIPS 程序执行的正确性。本质上，zkMIPS 中的“计算问题”是给定的程序，而它的“解”则是在运行该程序时产生的执行轨迹（Execution...
# 密码学 101：零知识证明（第 2 部分） > 这是一系列关于密码学的文章中的一篇。如果这是你第一次阅读本系列文章，我强烈建议你从[本系列的开篇](https://learnblockchain.cn/article/10814)开始。 在过去的几篇文章中，我们涵盖了许...
...原语。 - paillier 和 zk_paillier：实现Paillier加密和相关零知识证明，用于秘密共享的安全加密和验证 - serde：用于序列化和反序列化消息，方便多方通信 - centipede：提供多方计算相关的分段工具和证明 ### 1.2核心结构和方法...
...我们还有一些解决方案，例如 UMA 等乐观预言机和基于零知识证明的数据，如 zkPassport、PrivadoId、zkEmail 等，这些都扩展了可验证数据的范围。 然而，想象一下，如果用户能够为他们在互联网上访问的任何数据生成加密证明—...
...N** oninteractive arguments of **K** nowledge 的缩写。PlonK是通用零知识证明算法的一个实现。通用意味着可信设置只需要初始化一次。对熟悉Groth16的人来说，你应该知道每个电路在Groth16中都需要一个单独的可信设置。 你可以在这里访...
...[https://eprint.iacr.org/2022/1355](https://eprint.iacr.org/2022/1355) 零知识证明系统是区块链隐私和可扩展性的核心构建块。这些系统允许证明者向验证者证明某个状态转换是正确的。这可以是一个 [CAPE](https://www.espressosys.com/blog/cape-configurabl...
...kVM 的范围时，我们关注了几个关键因素： * 真正的零知识功能：zkVM 必须展示或接近展示生成和验证零知识证明的能力。 * 性能基准：我们寻求在性能方面有坚实基准的 zkVM，特别是在速度和效率方面。 * 特定功能：对...
在这段视频中，Brendan和Boban讨论了Starks（可扩展透明知识论证）这一零知识证明系统的基本概念和技术细节。视频的核心内容包括Starks与Snarks的区别、Starks的工作原理以及其在区块链应用中的重要性。 ### 核心内容概括： 1. **Sta...
...无从谈起。我们引入了 zkEVM 用来为通用的 EVM 验证生成零知识证明。这样一来，我们就可以构建出完全兼容 EVM 的 zk-Rollup，以便现有以太坊应用轻松迁移到这个 zk-Rollup 上。 在本文中，我们明确指出了 zkEVM 在设计上面临哪些...
...以及Groth16算法的验证（10000美金）。 SNARK挑战使用的零知识证明算法是：**BG18**。BG18是Groth16算法的一种变种算法，由Zcash的团队在2018年发表。 https://eprint.iacr.org/2018/187.pdf BG18的证明的生成，比Groth16算法增加了z变量。  - [为零知识证明构造 R1CS](#为零知识证明构造-r1cs) - [Circom R1CS 示例](#circom-r1cs-示例) - [示例 1](#示例-1) - [Ex1 R1CS 约束说明](#ex1-r1cs-约束说明) - [Ex1 Sagemath 实现](#ex1-sagemath-...