Browse all Zero Knowledge articles.
20 min read
Raíces de la unidad en campos finitos Este artículo explica qué son las raíces de la unidad en un campo finito y cómo están entrelazadas con los subgrupos multiplicativos. Se espera que el lector esté familiarizado con...
22 min read
Multiplicación de polinomios en forma de puntos La multiplicación de polinomios se utiliza ampliamente en las pruebas de conocimiento cero y la criptografía matemática. Pero el enfoque de fuerza bruta o tradicional para...
7 min read
Tutorial de un banco básico con SPL Tokens y Anchor En este tutorial, construiremos un programa de banco sencillo en Solana con las funciones básicas que esperarías de un banco normal. Los usuarios pueden crear cuentas, consultar...
14 min read
El Teorema Fundamental de los Grupos Cíclicos Finitos El Teorema Fundamental de los Grupos Cíclicos proporciona garantías sobre la existencia de subgrupos cíclicos dentro de un grupo cíclico. En el contexto del...
10 min read
La fórmula del producto constante en Uniswap v3 Nuestro objetivo es derivar la fórmula del producto constante basada en las reservas reales para un segmento, dada por $$ L^2 = (x_r+\frac{L}{\sqrt{p_u}})(y_r+L\sqrt{p_l}) $$...
33 min read
Circle FFT — Parte 1: Construyendo el Circle Domain Circle STARKs es un nuevo esquema zk-STARK que ha sido implementado en Stwo y Plonky3, y ha sido adoptado por varios proyectos de zkVM. Su principal...
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á...
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...
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...
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
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...