Pruebas de Conocimiento Cero

Con los esquemas de compromiso en mano, volvemos a dirigir nuestra atención hacia los sistemas de prueba

¡Es hora de empezar a construir sobre las primitivas que conocemos hasta ahora!

Tras abastecernos de hashes, ¡es hora de otro gran protagonista de esta historia ZK!

Es hora de que los hashes tomen el escenario, trayendo consigo algunos trucos geniales

Una mirada más amplia a la conexión entre diferentes modelos de cómputo, y la importancia de los circuitos aritméticos

¡Avanzamos hacia nuestro primer mecanismo verdaderamente general para probar la correctitud de cómputos!

Antes de avanzar hacia nuevos sistemas de pruebas, ¡debemos introducir una herramienta muy necesaria!

A medida que nos acercamos a sistemas de pruebas generales, necesitamos estudiar modelos de computación, ¡lo cual nos lleva a los circuitos!

Equipados con campos finitos y polinomios, ¡es hora de echarle un vistazo a nuestro primer sistema de pruebas!

¡Es hora de nuestros primeros conceptos matemáticos básicos!

Emprendemos un nuevo viaje dedicado exclusivamente a la tecnología ZK

Pasando de Polkadot, ahora cubrimos la intersección entre dos tecnologías de vanguardia: blockchain y pruebas de conocimiento cero

Siguiendo con los SNARKs, ahora exploramos otro tipo de pruebas de conocimiento diseñadas para la escalabilidad

¡Vamos a ser prácticos y construir algunos circuitos aritméticos!

Esta segunda ronda de pruebas de conocimiento cero nos llevará en un viaje para entender un marco más general. ¡Agárrate fuerte!

Antes de avanzar hacia pruebas de conocimiento cero más complejas, ¡necesitamos introducir un nuevo modelo: los circuitos aritméticos!

Damos un salto al mundo de las pruebas de conocimiento cero explorando uno de los muchos protocolos ZKP que existen: Bulletproofs

Una introducción amigable a algunos esquemas muy útiles: intercambio de claves, esquemas de compromiso, pruebas de conocimiento cero, funciones aleatorias verificables