La prueba de conocimiento cero ha estado realmente en auge últimamente, con zkP y BERV ya en el mercado spot, y la discusión en el mercado no es poca. Pero, para ser sincero, creo que hay una idea de diseño de protocolo que vale más la pena echarle un vistazo: Walrus.

En pocas palabras, Walrus es un sistema de compromiso y prueba de conocimiento cero. Suena un poco abstracto, así que vamos a desglosarlo lentamente.

**Contexto y origen**

Walrus fue desarrollado por la empresa de tecnología de privacidad AZTEC. Esta compañía ya es conocida por sus transacciones privadas en Ethereum, desde zk.money en sus inicios hasta Aztec Connect, que son sus creaciones. Por lo tanto, hay una cierta acumulación técnica detrás de este protocolo.

**El objetivo principal es claro**

Generar pruebas eficientes fuera de la cadena y verificarlas en la cadena, especialmente en escenarios donde es necesario ocultar el monto de la transacción y la identidad de los participantes. En otras palabras, proteger la privacidad sin que sea demasiado lento — esto es un desafío.

**¿Cómo se hace a nivel técnico?**

Primero, está basado en el sistema de pruebas PLONK. PLONK es una solución general que no requiere configuración de confianza, y Walrus puede entenderse como una especialización y optimización de PLONK.

¿Dónde está realmente el punto fuerte? En la demostración de producto escalar. Esta es la parte más pesada en términos de cálculo en el protocolo ZK-SNARKs. Walrus ha invertido esfuerzo aquí, optimizando este paso para mejorar significativamente la velocidad de generación de pruebas.

Además, el protocolo desde el principio está diseñado para ser amigable con el hardware. Aprovecha al máximo las instrucciones SIMD de los CPUs modernos y la capacidad de cálculo paralelo de las GPUs, acelerando directamente todo el proceso. No es una solución solo en papel.

**¿Y qué relación tiene con el lenguaje de programación Noir?**

Walrus ocupa un lugar importante en el ecosistema Noir de Aztec. Noir permite a los desarrolladores escribir circuitos lógicos de privacidad con una sintaxis similar a Rust, y tras compilar, pueden optar por usar Walrus como backend para generar las pruebas. Este conjunto aún tiene mucho potencial.

**Escenarios de aplicación práctica**

Las transacciones privadas son bastante evidentes: ocultar el monto y la identidad del receptor al transferir en la cadena. También tiene utilidad en DeFi, permitiendo a los usuarios participar en finanzas descentralizadas sin revelar detalles de sus posiciones. Y en un sentido más amplio, también es aplicable para la verificación de identidad y credenciales, donde puedes demostrar que tienes ciertos atributos (como edad o calificación) sin revelar información específica.

Estos escenarios en Web3 representan necesidades reales, no solo ideas en el aire.

Eso es lo básico sobre Walrus. Seguiré hablando sobre su desarrollo y aplicaciones en el futuro, si a alguien le interesa este tema.