Señales Intermedias y Subcomponente El propósito principal de Circom es compilar a un Rank 1 Constraint System (R1CS), pero su propósito secundario es poblar el witness. Para la mayoría de los circuitos, el...

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

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

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

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

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

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

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

AliasCheck y Num2Bits_strict en Circomlib Un bug de alias en Circom (o cualquier lenguaje de circuitos ZK) ocurre cuando un arreglo binario de señales codifica un número mayor del que el elemento del campo puede contener. Vamos a...

Hackeando circuitos de Circom subrestringidos con pruebas falsas El operador en Circom puede ser peligroso porque asigna valores a las señales pero no las restringe. Pero, ¿cómo logras realmente ~~explotar~~...

Conversión de circuitos algebraicos a R1CS (Rank One Constraint System) Este artículo explica cómo convertir un conjunto de restricciones aritméticas en un Rank One Constraint System (R1CS). El enfoque de este...

Tutorial del lenguaje Circom con un recorrido por circomlib Este tutorial presenta el lenguaje Circom y cómo usarlo, junto con los errores más comunes. También explicaremos una parte significativa de...