中间信号与子组件 Circom 的主要目的是编译为一阶约束系统（R1CS），但其次要目的是填充 witness。对于大多数电路而言，......

使用 Circom 的 ZK 电路简介 Circom 是一种编程语言，用于创建秩 1 约束系统 (R1CS) 并填充 R1CS 的 witness 向量。R1CS 格式之所以备受关注...

公开和私有输入 Circom 中的公开输入是 witness 中的一个 signal，它将被揭示给验证者。例如，假设我们想要创建一个 ZK proof，声明：“我们知道输入...

Circom 中的符号变量 在 Circom 中，符号变量是指被赋予了来自 signal 的值的变量。当一个 signal 被赋值给一个变量时（从而将其转化为一个符号...

Circom 模板参数、变量、循环、If 语句、Assert 本章涵盖了基本语法，您将在大多数 Circom 程序中看到这些内容。使用 Circom，我们能够定义一个 Rank 1...

Hello World Circom 简介 本章展示了 Circom 代码与其编译生成的 Rank 1 Constraint System (R1CS) 之间的关系。理解 R1CS 对于理解……至关重要。

先指示后约束 如果我们想表达“可以等于 5 或 6”，我们可以简单地使用以下约束：然而，假设我们想表达“小于 5 或大于 17”。在...

二次约束 Circom 约束 一个 Rank 1 Constraint System 的每个约束中信号之间最多只有一次乘法。这被称为“二次”约束。任何包含...的约束

Circomlib 中的 AliasCheck 和 Num2Bits_strict 当信号的二进制数组编码的数值大于域元素所能容纳的范围时，Circom（或任何 ZK 电路语言）中就会发生别名漏洞。我们将...

使用伪造证明攻击欠约束的 Circom 电路 Circom 中的操作符可能很危险，因为它为信号赋值，但并不对其进行约束。但实际上你究竟该如何 ~~利用~~...

将代数电路转换为 R1CS (Rank One Constraint System) 本文解释了如何将一组算术约束转换为 Rank One Constraint System (R1CS)。本文的重点是……

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