...](https://learnblockchain.cn/article/11324)（由 Tornado Cash 使用的零知识算法）的最终步骤如下： $$ e(A₁, B₂) = e(α₁, β₂) + e(L₁, γ₂) + e(C₁, δ₂) $$ 其中，每个变量为基于它的下标符号（我们本可以使用大写希腊字母保持一致性...
...说服读者将其集成到他们的证明器框架中。 ## WebGPU 基础知识：计算工作流程和内存层次结构 在深入研究具体的实现和优化之前，让我们先温和地介绍一些 GPU 的基本概念。 使用 GPU 的程序的简化工作流程如下所示：  = \sum_{i=1}^4a_iw_i(x) + h(x)t(x)$$ ### 记号和初步知识 我们将群 $\mathbb{G}_1$ 和 $\mathbb{G}_2$ 中的生成椭圆曲线点称为 $G_1$ 和 $G_2$。群 $\mathbb{G}_1$ 中的元素表示为 $[X]_1$。群 $\mathbb{G}_2$ 中的元素表示为 $[X]_2$。如果下标...
...所以本文旨在最大限度地减少这些乘法的数量。 ## 预备知识 在深入研究优化之前，让我们从一些预备知识开始。 ### 多线性多项式 设 $p: F^l \rightarrow F$ 是一个多线性多项式。 那么，我们可以使用 eq~ 多项式将其写成在某个布...
...rkle Tree，我们可以通过编写 JavaScript 实现来展示我们的新知识。 首先，我们需要选择一个函数来计算我们的数字指纹。我们可以使用常见的 **sha256** 哈希函数来使命其计算 **Hash(childA, childB)**： ``` const shajs = require("sha.js"); /...
...两种主要的证明类型： * 有效性证明 - 这是一种利用零知识 (ZK, zero-knowledge) 密码学以确保交易有效性的数学证明 * 欺诈证明 - 这种证明引入了一种所谓的争议时间延迟 (Dispute Time Delay, DTD)，一旦证明提交至 L2，验证者留有一...
...很强，那么如何结合二者呢？ 由于非对称密码学和零知识证明对具有不对称性，我设想了两种可能的方案： - 如果想使用ID-密码体系，可以将这个保存密码的模块不做进SCP中，这样其他人也就不可见。SCP执行层内部依然使...
...写为 Halo2。 好的，让我们更好地介绍一下... “零知识”绝对是一个可怕的词（或者说是两个词）！几个月前，当我开始学习它时，我什么都不懂🤯 最近，我开始学习 Halo2，阅读了一些代码和[教程](https://zcash.github.io/hal...
...现在你拥有了开始在 Mumbai 测试网上进行开发所需的所有知识。与往常一样，如果你发现本文档有帮助，我们将非常感谢你与需要的其他开发者分享它。 在 Alchemy，我们总是很高兴看到使用我们的平台和服务构建的令人惊叹的项...
...关于 Danksharding 的中文文章十分少并且大多都需要较高的知识门槛，因此菠菜将尝试为你掰开揉碎背后的复杂原理，通过用简单的大白话去让一个 Web3 初学者也可以看懂以太坊新分片方案 Danksharding 及其前置方案 EIP-4844。 ## ...