...蚁BAAS的官方帮助文档和辉哥的实践，按照一课讲透一个知识点或者功能的逻辑，把蚂蚁BAAS系统深入浅出的做了分析和输出，希望能为大家熟悉蚂蚁区块链系统提供帮助，少走弯路。 ## 2，系列文章 （1）蚂蚁区块链第1课 蚂...
...出问题，以便指出任何代码问题。谢谢！ 本文是对 [零知识介绍](https://zk.bearblog.dev/introduction/) 文章的后续内容。我们将详细介绍 [Tornado Cash](https://docs.tornado.ws/) 的代码库。 我们的目标是让你了解整个开发周期，而不仅仅是...
... 1. **Phase 2** 若 MtA 和 MtAwc 范围证明不通过或者 MtAwc 的零知识证明不通过，则中止。 2. **Phase 3** 若关于 $\sigma_i,l_i$ 的零知识证明不通过，则中止。 3. **Phase 4** 若对 $D_i$ 的解承诺操作验证失败，则中止。 4. **Phase 5** 若...
...电路的大小，从而减少了 R1CS 约束的数量，这可以改进零知识协议的证明者方面。 此外，Poseidon 被证明与所有主要的零知识协议兼容，如 zkSNARKs、zkSTARKs、bulletproofs 等。 因此，添加 Poseidon 作为预编译的提案可以帮助加速当前 L2...
...确地进行了内积计算。本章展示了如何为内积论证构造零知识证明。 在前一章中，我们展示了如何以零知识的方式相乘两个标量：我们承诺两个度为一的多项式，并证明我们正确地计算了它们的乘积，然后显示这两个度为一...
... 3. **隐私**：例如，应用于公开 L2 上保护隐私交易的零知识证明。 4. **更便宜/更简单的 L2-L3 互操作性**：目前在 L1 和 L2 之间使用的上下波动流动费往往非常昂贵。相比之下，由于 L2 的性价比，这些流动应用于 L3 时，不仅...
...zkSNARK证明生成上的一些优化措施，我们成功地将生成零知识证明的成本降低为每笔交易仅0.03分RMB（100万笔交易成本大约300RMB），与目前我们线上的版本相比，成本降低了15倍。再加上其他一些优化手段，最终路印协议每笔撮合...
...创建可追踪的链接。 Tornado cash 可能是最具代表性的零知识智能合约应用程序，因此我们将以足够低的水平解释它的工作原理，以便程序员可以重现该应用程序。 假设读者知道 Merkle 树如何工作，并且对反转 cryptographic hash ...
> **预备知识** > 1. 多项式和阶 > 1.1 多项式基本概念及其在密码学中的应用 > 1.2 低阶多项式的重要性及其在证明系统中的意义 > 2. 群与有限域 > 2.1 群和有限域 > 2.2 子群和陪集 > 2.3 循环群和单位根 (root of unity) > ...
...tps://img.learnblockchain.cn/2025/03/26/1J7Vpue3e17NFeICRkEbcBg.png) 零知识证明电路是现代隐私保护去中心化系统中的基础构建块。在过去的几年里，ZKP 语言领域发生了显著变化，许多不同的解决方案被提出。早期的先锋如 Circom 以强调控制...
...利侵权行为。Schnorr 专利现在已经过期，并且正在 ZKP（零知识证明）以及分布式和可扩展签名中实现。 如果 NIST 无法以无专利形式提供 DSA，那么 ECDSA 就不太可能被采用。ECDSA 的无专利使用可能使 Satoshi Nakamoto 能够采用 ECDSA，...
...—这个问题在 2025 年再次成为焦点。 在过去几年里，零知识证明 (ZKP) 一直是最突出的隐私增强技术。然而，ZKP 有一定的局限性，一种观点是通过使用 FHE（特别是作为协处理器）来弥补其中的一些局限性。在这篇博文中，我们...
...月通讯，分享去中心化隐私保护技术、隐私协议开发和零知识系统的最新进展。 ## ZK Mesh: 2025年11月回顾 欢迎来到 ZK Mesh，这是一份精选的月度通讯，涵盖先进的隐私增强密码学、分布式协议开发和 zk 系统研究的最新进展。 每...
...论这个主题之前，让我们花点时间探讨 zkEVM 是什么，零知识证明的理论基础，以及它如何在各种Layer2项目中迅速发展。本文旨在比较当前利用 zkEVM 的 ZK rollups 的特征，假设读者对以太坊、Layer2解决方案和零知识证明有基本了解...
...有关各个网络的信息将会有所变化。* ## 01. Rollups 背景知识 Rollups 是一种可扩展性解决方案，即通过在 Rollups (L2) 网络中将交易捆绑在一起并进行压缩，然后将它们发送到一个共识层 (比如以太坊 L1 主网) 进行验证。通过一次...