Emulación de 32 bits en ZK El tipo de datos predeterminado en ZK es el elemento de campo, donde toda la aritmética se realiza módulo un número primo grande. Sin embargo, la mayor parte de la computación "real" se realiza utilizando 32, 64 o 256 bits...

Quin Selector El Quin Selector es un patrón de diseño que nos permite usar una signal como índice de un array de signals. Como prerrequisito, asumimos que el lector ha leído el capítulo sobre Conditional...

Introducción a las computaciones con estado en ZK Cuando llevamos a cabo cálculos iterativos como potencias, factoriales o el cálculo de la secuencia de Fibonacci, necesitamos “detener la computación” después de cierto...

Modelando la estructura de datos Stack en ZK Este tutorial muestra cómo crear un stack en Circom. Quedas advertido — este capítulo es largo. Sin embargo, la estrategia para crear pruebas ZK sobre stacks será...

Introducción a Hello World en Circom Este capítulo muestra la relación entre el código Circom y el Rank 1 Constraint System (R1CS) al que se compila. Entender los R1CS es fundamental para comprender...

Compute Then Constrain "Compute then constrain" es un patrón de diseño en circuitos ZK donde la salida correcta de un algoritmo se calcula primero sin restricciones. La corrección de la solución es entonces...

Indicar y luego restringir Si queremos decir que “ puede ser igual a 5 o 6” simplemente podemos usar la siguiente restricción: Sin embargo, supongamos que queremos decir que “ es menor que 5 o es mayor que 17”. En...

Parámetros de Template de Circom, Variables, Bucles, Sentencias If, Assert Este capítulo cubre la sintaxis esencial que verás en la mayoría de los programas de Circom. Con Circom, podemos definir un Rank 1...

Prueba de rango Una prueba de rango en el contexto de los argumentos de producto interno es una prueba de que el escalar $v$ ha sido comprometido en $V$ y $v$ es menor que $2^n$ para algún entero no negativo $n$. Este artículo...

Reducir el número de comprobaciones de igualdad (restricciones) mediante combinaciones lineales aleatorias Las combinaciones lineales aleatorias son un truco común en los algoritmos de pruebas de conocimiento cero para permitir $m$ comprobaciones de igualdad...

Bulletproofs ZKP: Zero Knowledge and Succinct Proofs for Inner Products Bulletproofs ZKPs allow a prover to prove knowledge of an inner product with a logarithmic-sized proof. Bulletproofs do not...

Logarithmic sized proofs of commitment In a previous chapter, we showed that multiplying the sums of elements of the vectors $\mathbf{a}$ and $\mathbf{G}$ computes the sum of the outer product terms,...