...东西，变成了一个青少年用来制作游戏的东西。 ## 零知识 近年来，我们见证了一个计算的新时代的兴起。我们有像以太坊和比特币这样的区块链，每秒处理几十个操作，每年[gas](https://learnblockchain.cn/2019/06/11/gas-mean)要耗费...
...。该框架旨在使 OP Stack 能够支持多个证明系统，包括零知识证明，以及当前系统 Cannon。生产冗余证明方案提供了一个从 OP Stack 链提取到 ETH 链的安全保障方案，可以将安理会的作用限制为仅在他们不同意的情况下在证明之间进...
...通过桥接传递给发送链，使用去中心化块头中继网络和零知识证明。 3\. 智能合约执行：发送链上有一个专门的智能合约验证来自接收链的消息。在发现欺诈的情况下，撤回不诚信质押者的存款。 4\. 削减机制：当验证者行为不...
...kVM 的范围时，我们关注了几个关键因素： * 真正的零知识功能：zkVM 必须展示或接近展示生成和验证零知识证明的能力。 * 性能基准：我们寻求在性能方面有坚实基准的 zkVM，特别是在速度和效率方面。 * 特定功能：对...
...ockchain.cn/article/10814)开始阅读。 现在是时候讲解一些零知识证明了！ 在这个系列的前面，我们概述了[它们是什么](https://learnblockchain.cn/article/10820#:~:text=what%20to%20use.-,Zero%2DKnowledge%20Proofs,-Zero%2Dknowledge%20proofs)。不过这次我们...
... ## 太长不看版 通过本文，你将拥有在 Risc0 中使用零知识证明的实际经验。不需要高级数学或密码学背景。我们将专注于编码基础，以开始构建现实世界的解决方案。本次动手介绍旨在使强大的隐私技术让任何开发人员都易...
...爆发。 在 L2 扩容赛道中，具有极佳数据压缩性能的零知识证明扩容方案（ZK Rollups）已然被认为是以太坊的中长期核心方案。以太坊创始人 Vitalik 于 2022 年根据各家 ZK Rollups 与 EVM（Ethereum Virtual Machine）以太坊虚拟机的兼容性...
## 背景 作者在搬[groth16](https://learnblockchain.cn/article/3835)上链的项目里需要用到一些椭圆曲线上的秘密随机点(自然也可以把它当作root生成随机数)，需要用到MPC计算生成。记录一下算法和思路，加密部分使用bls12-381加密库。 ##...
...* 是一个基于 LLVM 的扩展工具，它将 LLVM 的编译功能与零知识证明（ZKP）集成在一起，目的是生成用于零知识证明的电路。通过 zk-LLVM，开发者可以用高级语言（如 Rust 或 C++）编写程序，然后将其编译成适用于零知识证明的 zk ...
...tarkEx/StarkNet StarkWare 团队研发了基于 STARK 加密证明的零知识 Rollup (即我们熟知的 ZK-Rollup)，目前其提供的方案有 StarkEx 和 StarkNet。 StarkEx 是 StarkWare 开发的一个独立运行的非托管式 ZK-Rollup 软件服务 (SaaS)。创新性地支持一系...
...以太坊的伊斯坦布尔升级之后，EIP-2028增强了路印协议零知识证明技术的性能。WeDEX在12月发布了测试版，这是第一个使用路印协议3.0构建的ZK Rollup DEX。本周发布的[测试结果](http://mp.weixin.qq.com/s?__biz=MzU5Nzk3NTg3Nw==&mid=2247484079&idx=1&s...
...出问题，以便指出任何代码问题。谢谢！ 本文是对 [零知识介绍](https://zk.bearblog.dev/introduction/) 文章的后续内容。我们将详细介绍 [Tornado Cash](https://docs.tornado.ws/) 的代码库。 我们的目标是让你了解整个开发周期，而不仅仅是...
...电路的大小，从而减少了 R1CS 约束的数量，这可以改进零知识协议的证明者方面。 此外，Poseidon 被证明与所有主要的零知识协议兼容，如 zkSNARKs、zkSTARKs、bulletproofs 等。 因此，添加 Poseidon 作为预编译的提案可以帮助加速当前 L2...
...密后，Victor将持有g^a (mod p)， Peggy将持有g^b(mod p)。对于零知识证明，我们这样开始：  Peggy有一个秘密值a并生成A = g^a。Victor 的秘密值为b并生成B = g^b。...
...确地进行了内积计算。本章展示了如何为内积论证构造零知识证明。 在前一章中，我们展示了如何以零知识的方式相乘两个标量：我们承诺两个度为一的多项式，并证明我们正确地计算了它们的乘积，然后显示这两个度为一...