同态示例 如果两个群之间存在保持结构的映射，则这两个群之间存在同态。假设我们有两个代数数据结构 $(A,\square)$ 和 $(B,...

从 R1CS 构建零知识证明 给定一个编码为 Rank 1 Constraint System 的算术电路，可以创建一个证明拥有 witness 的 ZK-proof，尽管它并不是一个简洁的证明....

Python、Solidity 和 EVM 中的双线性配对 有时也被称为双线性映射，双线性配对允许我们取三个数字 $a$、$b$ 和 $c$，其中 $ab = c$，并将它们加密变为……

ZK 算术电路 在零知识证明的背景下，算术电路是一个用于对 NP 问题进行建模的方程组。我们在关于 P vs NP 的文章中指出的一个关键点是，任何……

以太坊预编译合约 以太坊预编译的行为类似于内置在以太坊协议中的智能合约。这九个预编译合约位于地址 0x01 到 0x09。预编译合约的用途分为...

Circom 语言教程与 circomlib 详解 本教程介绍了 Circom 语言及其使用方法，以及常见的陷阱。我们还将讲解很大一部分的...

使用 Noir 和 Nextjs 开发的 ZK-addition-dapp！使用 Noir 和 Next.js 构建的 ZK Dapp 游戏。我们将逐步演示并探索一个设计用于验证加法运算的基础 zk-dapp。这个应用程序......

零知识编程语言！!零知识证明月球数学 零知识证明月球数学 零知识证明能够证明你正确地执行了计算，而无需透露输入内容...