Browse all Circom articles.
4 min read
Prueba ZK de Selection Sort La mayoría de las computaciones de interés son generalmente “stateful” — es decir, necesitan pasar por una serie de pasos para producir el resultado final. A veces, no necesitamos mostrar...
9 min read
Cómo funciona una ZKVM Una Zero-Knowledge Virtual Machine (ZKVM) es una máquina virtual que puede crear un ZK-proof que verifica que ejecutó correctamente un conjunto de instrucciones de máquina. Esto nos permite tomar un...
8 min read
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...
4 min read
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...
4 min read
Hash MD5 en Circom En este tutorial, implementaremos el hash MD5 en Circom tanto para calcular el hash como para restringir en Circom que se calculó correctamente. Aunque la función hash MD5 no...
4 min read
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...
3 min read
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...
6 min read
El argumento de permutación Un argumento de permutación es una prueba de que dos listas contienen los mismos elementos, pero posiblemente en un orden diferente. Por ejemplo, es una permutación de y viceversa. La permutación...
3 min read
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...
24 min read
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á...
6 min read
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...
3 min read
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...