向量承诺的简洁证明 如果我们有一个 Pedersen 向量承诺 $A$，它包含对向量 $\mathbf{a}$ 的承诺，形式为 $A = a_1G_1 + a_2G_2+\dots + a_nG_n$，我们可以证明我们知道...

内积的零知识证明 内积论证是一种用于证明证明者正确执行了内积计算的证明。本章将展示如何构造一个零...

ZK Bulletproofs 简介 Bulletproofs 是一种零知识内积论证，它使得证明者能够向验证者证明他们正确地计算了内积。也就是说，...

椭圆曲线数字签名（ECDSA）背后的直观理解 本文解释了 ECDSA（椭圆曲线数字签名算法）的工作原理以及它为什么有效。我们将逐步...

Solana 中的存储成本、最大存储容量以及账户大小调整 !Solana 账户租金 在分配存储空间时，支付方必须为分配的每个字节支付一定数量的 SOL。Solana 称之为...

Anchor 中的 init_if_needed 与重初始化攻击 !展示 Anchor init_if_needed 的主图 在之前的教程中，我们必须在一个单独的交易中初始化账户，然后才能...

在 Solana 中删除和关闭账户与程序 !显示关闭账户和程序的 Hero 图片 在 Solana 的 Anchor 框架中，是（在 Anchor 中初始化账户）的相反操作 —— 它……

Solana Sysvars 详解 !Solana Sysvars 在 Solana 中，sysvars 是只读系统账户，允许 Solana 程序访问区块链状态以及网络信息。它们类似于...

零知识乘法 多项式的零知识乘法 使用上一章的多项式承诺方案，证明者可以证明其拥有三个多项式 $l(x)$，...

Tornado Cash 工作原理（面向开发者的逐行解析） !rareskills 出品的 Tornado Cash 教程 Tornado Cash 简介 Tornado Cash 是一款加密货币智能合约混币器，允许用户存入...

什么是 Pedersen Commitments 以及它们的工作原理 Pedersen commitments 允许我们使用单个椭圆曲线点对任意大小的向量进行编码，同时可以选择性地隐藏有关...

Schwartz-Zippel 引理及其在零知识证明中的应用 几乎所有的 ZK-Proof 算法都依赖于 Schwartz-Zippel 引理来实现简洁性。Schwartz-Zippel 引理指出……