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...

Sentencias condicionales en Circom Circom es muy estricto con el uso de sentencias if. Se deben seguir las siguientes reglas: Las signals no se pueden utilizar para alterar el comportamiento de una sentencia if. Una signal...

Intercambiar dos elementos en un array en Circom Este capítulo muestra cómo intercambiar dos señales en una lista de señales. Esta es una subrutina importante para un algoritmo de ordenamiento. De manera más general, las listas son un...

Restricciones Cuadráticas Restricciones de Circom Un Sistema de Restricciones de Rango 1 tiene como máximo una multiplicación entre señales por restricción. A esto se le llama una restricción "cuadrática". Cualquier restricción que contenga...

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...

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...

Componentes de Circom en un bucle Circom no permite instanciar componentes directamente en un bucle. Por ejemplo, compilar el siguiente código da como resultado el error que se muestra a continuación. La solución alternativa es...

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...

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...

Variables simbólicas en Circom Una variable simbólica en Circom es una variable a la que se le han asignado valores de una señal. Cuando una señal se asigna a una variable (convirtiéndola así en simbólica...

Inputs públicos y privados Un input público en Circom es una señal en el witness que será revelada al verificador. Por ejemplo, supongamos que queremos crear una ZK proof que afirme: “conocemos el input...

Introducción a los circuitos ZK con Circom Circom es un lenguaje de programación para crear Rank 1 Constraint Systems (R1CS) y poblar el vector testigo del R1CS. El formato R1CS es de interés...