Los SNARKs han captado considerable atención recientemente debido a su amplia utilidad en áreas como la escalabilidad blockchain, mecanismos de identidad, aprendizaje automático verificable y la lucha contra la desinformación y las noticias falsas. Aunque se han desarrollado nuevas aplicaciones, los SNARKs existen desde hace mucho tiempo.

Las zk-SNARK son un tipo de prueba criptográfica diseñada para garantizar la máxima privacidad posible. Para lograrlo las zk-SNARKs se construyen usando los protocolos o pruebas de conocimiento cero, una interesante técnica que nos permite validar y verificar información sin tener que dar acceso a la misma.

Propiedades Clave de los SNARKs

Los ZK-proofs no son una invención reciente. Las definiciones, fundamentos, teoremas importantes e incluso protocolos clave se establecieron desde mediados de los años 1980.

Evolución Histórica de los SNARKs

Las ideas fundamentales que forman la base de los SNARKs modernos se propusieron en los años 1990 (Sumcheck) y 2000 (GKR). Sin embargo, su adopción generalizada se vio obstaculizada por la falta de casos de uso convincentes y la potencia computacional requerida.

Desarrollos Clave en la Historia de los SNARKs

En 1991, Babai, Fortnow, Lewin y Szegedy presentaron un protocolo para verificar computaciones en tiempo polilogarítmico.

2010, Kate, Zaverucha y Goldberg introdujeron un esquema de compromiso para polinomios usando grupos de apareamiento bilineales.

2014, Pinocchio introdujo los primeros esquemas prácticos para computaciones generales.

Futuro de los SNARKs

STARKs y Cairo-VM muestran el poder de demostrar computaciones generales ejecutadas sobre una máquina virtual. Se esperan mejoras significativas en los verificadores, aunque la verificación on-chain sigue siendo un desafío principal para las aplicaciones verificables.

Aprende más sobre