The technical content top engineers rely on to level up.
8 min read
ZK 中的 32 位模拟 ZK 中的默认数据类型是域元素，其中所有的算术运算都是对一个大素数取模进行的。然而，大多数“真实”的计算都是使用 32 位、64 位或 256 位...
4 min read
Circom 中的条件语句 Circom 对 if-statements 的使用非常严格。必须遵循以下规则：Signals 不能用于改变 if-statement 的行为。一个 signal...
3 min read
在 Circom 中交换数组里的两个元素 本章展示了如何在信号列表中交换两个信号。这是排序算法的一个重要子程序。更一般地说，列表是一种……
3 min read
二次约束 Circom 约束 一个 Rank 1 Constraint System 的每个约束中信号之间最多只有一次乘法。这被称为“二次”约束。任何包含...的约束
6 min read
先指示后约束 如果我们想表达“可以等于 5 或 6”，我们可以简单地使用以下约束：然而，假设我们想表达“小于 5 或大于 17”。在...
10 min read
Hello World Circom 简介 本章展示了 Circom 代码与其编译生成的 Rank 1 Constraint System (R1CS) 之间的关系。理解 R1CS 对于理解……至关重要。
3 min read
循环中的 Circom 组件：Circom 不允许在循环中直接实例化组件。例如，编译以下代码会导致如下错误。解决方法是...
12 min read
先计算后约束 “先计算后约束”（Compute then constrain）是 ZK 电路中的一种设计模式，即首先在无约束的情况下计算出算法的正确输出。然后，该解决方案的正确性……
6 min read
Circom 模板参数、变量、循环、If 语句、Assert 本章涵盖了基本语法，您将在大多数 Circom 程序中看到这些内容。使用 Circom，我们能够定义一个 Rank 1...
3 min read
Circom 中的符号变量 在 Circom 中，符号变量是指被赋予了来自 signal 的值的变量。当一个 signal 被赋值给一个变量时（从而将其转化为一个符号...
4 min read
公开和私有输入 Circom 中的公开输入是 witness 中的一个 signal，它将被揭示给验证者。例如，假设我们想要创建一个 ZK proof，声明：“我们知道输入...
11 min read
使用 Circom 的 ZK 电路简介 Circom 是一种编程语言，用于创建秩 1 约束系统 (R1CS) 并填充 R1CS 的 witness 向量。R1CS 格式之所以备受关注...