Homomorfismos mediante ejemplos Un homomorfismo entre dos grupos existe si existe un mapeo que preserva la estructura entre los dos grupos. Supongamos que tenemos dos estructuras de datos algebraicas $(A,\square)$ y $(B,...

Construcción de una prueba de conocimiento cero a partir de un R1CS Dado un circuito aritmético codificado como un Rank 1 Constraint System, es posible crear una ZK-proof de que se tiene un testigo, aunque no sea sucinta....

Emparejamientos bilineales en Python, Solidity y la EVM. A veces también llamados mapeos bilineales, los emparejamientos bilineales nos permiten tomar tres números, $a$, $b$ y $c$, donde $ab = c$, cifrarlos para que se conviertan en...

Circuitos aritméticos para ZK En el contexto de las pruebas de conocimiento cero, un circuito aritmético es un sistema de ecuaciones que modela un problema en NP. Un punto clave de nuestro artículo sobre P vs NP es que cualquier...

Contratos precompilados de Ethereum Los precompilados de Ethereum se comportan como smart contracts integrados en el protocolo Ethereum. Los nueve precompilados residen en las direcciones 0x01 a 0x09. La utilidad de los precompilados recae...

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

ZK-addition-dapp con Noir y Nextjs !Juego ZK Dapp construido con Noir y Next.js Demostraremos una exploración paso a paso de una zk-dapp básica diseñada para verificar sumas. Esta aplicación...

Lenguajes de programación de conocimiento cero !Prueba de conocimiento cero moon math Prueba de conocimiento cero moon math Las pruebas de conocimiento cero demuestran que ejecutaste una computación correctamente sin revelar las entradas...