Browse all Circom articles.
4 min read
ZK 选择排序证明 大多数有实际意义的计算通常都是“有状态的”——也就是说，它们需要经历一系列步骤才能产生最终结果。有时候，我们不需要展示……
9 min read
ZKVM 的工作原理 零知识虚拟机（ZKVM）是一种虚拟机，它能够生成 ZK-proof 来验证其已正确执行了一组机器指令。这使得我们能够将一个……
8 min read
ZK 中的 32 位模拟 ZK 中的默认数据类型是域元素，其中所有的算术运算都是对一个大素数取模进行的。然而，大多数“真实”的计算都是使用 32 位、64 位或 256 位...
4 min read
ZK 中的有状态计算简介 当执行诸如幂、阶乘或计算斐波那契数列等迭代计算时，我们需要在特定的...之后“停止计算”
4 min read
Circom 中的 MD5 哈希 在本教程中，我们将在 Circom 中实现 MD5 哈希，既用于计算哈希，又用于在 Circom 中约束其被正确计算。尽管 MD5 哈希函数并不……
4 min read
Circom 中的条件语句 Circom 对 if-statements 的使用非常严格。必须遵循以下规则：Signals 不能用于改变 if-statement 的行为。一个 signal...
3 min read
Quin Selector Quin Selector 是一种设计模式，允许我们将一个 signal 作为 signal 数组的索引。作为先决条件，我们假设读者已经阅读了关于 Conditional... 的章节。
6 min read
置换论证 置换论证是一种证明，用于证明两个列表包含相同的元素，但顺序可能不同。例如，是 的置换，反之亦然。该置换...
3 min read
在 Circom 中交换数组里的两个元素 本章展示了如何在信号列表中交换两个信号。这是排序算法的一个重要子程序。更一般地说，列表是一种……
24 min read
在 ZK 中对栈数据结构进行建模 本教程展示了如何在 Circom 中创建一个栈。请注意 —— 本章内容较长。然而，创建关于栈的 ZK 证明的策略将是……
6 min read
Circom 模板参数、变量、循环、If 语句、Assert 本章涵盖了基本语法，您将在大多数 Circom 程序中看到这些内容。使用 Circom，我们能够定义一个 Rank 1...
3 min read
循环中的 Circom 组件：Circom 不允许在循环中直接实例化组件。例如，编译以下代码会导致如下错误。解决方法是...