The technical content top engineers rely on to level up.
22 min read
Subgrupos multiplicativos y elementos primitivos Introducción Este capítulo continúa nuestro estudio de la teoría de grupos explorando subgrupos y generadores. El concepto de un elemento primitivo será...
8 min read
Algoritmo Square and Multiply El algoritmo Square and Multiply calcula exponentes enteros en $\mathcal{O}(\log n)$ (tiempo logarítmico). La forma ingenua de calcular un exponente $x^n$ es multiplicar $x$...
7 min read
Calcular el Tick Actual Dado sqrtPriceX96 En los capítulos anteriores, vimos que el protocolo almacena la raíz cuadrada del precio en lugar del precio en sí. Por lo tanto, es necesario relacionar...
7 min read
Uniswap V3 Factory y la relación entre el Tick Spacing y las comisiones En los primeros capítulos, introdujimos el concepto de ticks, que discretizan la curva de precios. Un tick es un precio definido por la fórmula...
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...
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á...
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...
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...
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...
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...