零知识证明电路设计入门，Circom语言基础教程

admin 币安快讯 2026-05-29 2

目录导读

什么是零知识证明与Circom？
Circom的核心概念与工作原理
快速搭建Circom开发环境
编写你的第一个零知识证明电路
常见问题与解答

什么是零知识证明与Circom？

零知识证明（Zero-Knowledge Proof）是一种加密技术，允许一方（证明者）向另一方（验证者）证明某个陈述为真，而无需透露任何额外信息，我知道答案，但我可以不告诉你答案是什么，却能证明我真的知道”。

零知识证明电路设计入门，Circom语言基础教程-第1张图片-币安Binance

Circom正是构建零知识证明电路的专用语言，它由以太坊生态中的开发者推出，专门用于生成高效的zk-SNARKs、zk-STARKs等证明系统，相比手写电路，Circom让开发者能用类似硬件描述语言的方式设计电路,然后自动编译成可用的证明系统。

如果零知识证明是你进入Web3世界的关键技能，别忘了关注币安Binance的开发者课程，了解如何将ZK技术应用于交易隐私保护等场景。

Circom的核心概念与工作原理

信号（Signals）

信号是电路中的基本数据单元，类似电子电路中的“导线”,Circom有两种信号：

输入信号：由外部提供（如用户输入）
输出信号：由电路计算产生
中间信号：内部计算过程产生的临时值

模板（Template）

模板是Circom中的“函数”或“模块”，你可以像搭积木一样组合多个模板，有一个“加法器”模板,然后可以将其嵌入更大的电路中。

约束（Constraints）

约束是零知识证明的核心，每个约束本质上是一个数学等式，a * b == c，证明者必须找到满足所有约束的输入值，而验证者只需要检查这些等式是否成立（无需知道具体值）。

编译流程

Circom电路 → 编译生成R1CS约束系统 → 生成证明密钥 → 客户端生成证明 → 验证者验证

整个过程可以用命令行轻松完成,无需手动处理复杂的多项式运算。

关于更高级的电路优化技巧，可以访问币安的开发者文档，那里有社区贡献的实用案例。

快速搭建Circom开发环境

第一步：安装依赖

# 安装Node.js环境（推荐v16+）
curl -sL https://deb.nodesource.com/setup_16.x | sudo -E bash -
sudo apt install -y nodejs
# 安装Rust（Circom依赖Rust编译器）
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
# 编译安装Circom
git clone https://github.com/iden3/circom.git
cd circom
cargo build --release
cargo install --path circom

第二步：安装snarkjs

npm install -g snarkjs

第三步：验证安装

circom --version
# 输出类似: circom 2.1.6

如果你在安装过程中遇到问题，币安Binance 的开发者论坛有许多问题讨论帖，可以帮助你快速解决环境配置问题。

编写你的第一个零知识证明电路

示例：证明你知道两个数字的乘积

创建一个 multiplier.circom 文件：

pragma circom 2.0.0;
template Multiplier() {
    signal input a;
    signal input b;
    signal output c;
    c <== a * b;
}
component main = Multiplier();

编译与生成证明

# 编译电路
circom multiplier.circom --r1cs --wasm --sym
# 进入计算目录
cd multiplier_js
# 计算见证（witness）
node generate_witness.js multiplier.wasm input.json witness.wtns
# 生成证明
snarkjs plonk setup multiplier.r1cs pot12.ptau circuit_final.zkey
snarkjs plonk prove circuit_final.zkey witness.wtns proof.json public.json
# 验证
snarkjs plonk verify verification_key.json public.json proof.json

这段代码完成后，你就可以向任何人证明“你知道两个数字的乘积”，而不需要透露这两个数字是什么。如果你想把这样的电路部署到实际项目中，可以查看 https://b2-binance.com.cn/ 上的零知识证明应用案例。