An Introduction to Zero-Knowledge SNARKs

Ponente(s): Alex Gutierrez Diaz

Zero-Knowledge Succinct Interactive Arguments of Knowledge (zkSNARKs) son sistemas de prueba basados en la resistencia criptográfica, cuya aplicación principal en la actualidad se encuentra en las tecnologías de blockchain y criptomonedas. En esta plática, introduciré los fundamentos de las Zero-Knowledge Proofs (ZKPs), explicaré las propiedades que caracterizan a los SNARKs y describiré la mecánica de construcción de un zkSNARK. Asimismo, discutiré algunos conceptos matemáticos fundamentales para estos sistemas, como las pruebas holográficas algebraicas, los esquemas de compromisos polinomiales y el Sistema de Restricciones de Rango 1 (R1CS), centrándome en el sistema de pruebas Marlin, un ejemplo representativo de zkSNARK moderno. El cual es usado para generar un circuito zkSNARK del Advanced Encryption Standard-Galois Counter Mode (AES-GCM) usando la librería Arkworks del lenguaje de programación de Rust.