5 Casos de Uso de Conocimiento Cero en el Mundo Real

Las Pruebas de Conocimiento Cero nos permiten probar propiedades de datos sin revelar los datos en sí. Pero, ¿cómo se traduce esto en casos de uso reales para la tecnología zk?

Durante años, los sistemas digitales nos han obligado a intercambiar privacidad por participación. Cada inicio de sesión, verificación KYC o transacción deja un rastro de datos personales. Pero una nueva ola de casos de uso de conocimiento cero está cambiando eso, reemplazando la exposición con prueba matemática.

En este artículo, vamos a explorar cinco áreas donde espero ver desarrollos e innovación dentro del ecosistema de Stellar.

Los zkTokens están protegidos por pruebas de conocimiento cero para habilitar transacciones y saldos privados. Esto lo hacen manteniendo aún la transparencia del libro mayor público que los insumos totales igualan a los productos totales.

Hay diferentes enfoques para los zkTokens.

• Uno se basa en un fondo de privacidad donde los fondos se depositan en un pool compartido; el depositante recibe un recibo, que puede ser canjeado de manera privada para retirar fondos del pool.
• Otro enfoque común funciona más como los tokens regulares, pero cifra la cantidad de la transacción y los saldos de las cuentas, confiando en propiedades homomórficas y pruebas de conocimiento cero para asegurar la integridad de la operación (por ejemplo, requisito de saldo).

La primera generación de criptomonedas descuidó la privacidad para crear un sistema financiero abierto y transparente. La próxima generación de activos digitales va a proporcionar a los usuarios la misma discreción que esperan de las finanzas tradicionales, junto con todos los beneficios de transaccionar instantáneamente en un libro mayor público.

La primera ola de zkTokens probablemente será fungible (como stablecoins, tokens de gobernanza, tokens sep41, etc., donde un token es igual a cualquier otro token). Ya hay equipos trabajando en esto actualmente, y puedes encontrar más información en estas presentaciones por el Ingeniero Principal de SDF Jay Geng y el Ingeniero de Criptografía de Nethermind Nick Dimitriou.

Los nombres de usuario y contraseñas pertenecen al pasado. Sistemas modernos como passkeys de webauthn proporcionan experiencias de usuario más seguras y simplificadas.

Hemos visto una y otra vez que la industria tecnológica es golpeada por grandes brechas de seguridad, conjuntos de datos de usuarios son filtrados y vendidos en la web oscura, y usuarios que usan la misma contraseña para todo son comprometidos en múltiples canales.

Los inicios de sesión biométricos usando passkeys resuelven este problema y proporcionan a los usuarios cotidianos una manera de gestionar pares de claves privadas/públicas sin tener ningún entendimiento de la tecnología de fondo.

Con sistemas de inicio de sesión de conocimiento cero, podemos llevar esto un paso más allá.

Los zkLogins permiten a los usuarios probar la propiedad de una credencial sin enviar ningún secreto a través de la red. Podemos iniciar sesión firmando un desafío mientras mantenemos el anonimato sin revelar nuestra clave pública

Se están construyendo sistemas que ayudan a reducir el phishing y las brechas de datos mientras hacen que la autenticación sea instantánea y autónoma.

Las transacciones privadas en cadena pueden crear desafíos para los requisitos de KYC/AML; sin embargo, se está trabajando para desarrollar enfoques de conocimiento cero que ayuden a abordar estas necesidades de cumplimiento.

Para apoyar el cumplimiento de KYC/AML, existe el potencial de permitir a los usuarios completar la verificación con un proveedor de confianza, luego divulgar selectivamente aspectos de esa verificación.

Los identificadores descentralizados de conocimiento cero ayudan a equilibrar el cumplimiento con la privacidad al permitir a los usuarios probar selectivamente atributos de identidad. Cada credencial es almacenada por el usuario, y cada prueba revela solo la información mínimamente necesaria.

Podría haber un requisito de plataforma DeFi para verificar que un usuario es un inversor acreditado, residiendo en los Estados Unidos. El usuario podría completar verificaciones de identidad con un proveedor de terceros acordado mutuamente. El proveedor emitiría al usuario credenciales y atributos probados. El usuario podría entonces usar estas credenciales para firmar pruebas de que es de los EE. UU. y un inversor acreditado sin revelar ningún documento de identidad.

Esto es particularmente valioso en DeFi, donde la naturaleza descentralizada hace que los procesos tradicionales de KYC sean desafiantes de integrar. Para los desarrolladores, significa que podemos desplegar productos en cadena con herramientas de cumplimiento integradas que permiten a los usuarios gestionar sus propias credenciales KYC.

Nuestros días de visitar las urnas están contados. Los sistemas democráticos necesitan tecnología moderna para aumentar la transparencia y prevenir el fraude.

Entonces, ¿cómo votamos en un mundo digital?

La gobernanza de conocimiento cero es un ejemplo perfecto donde la transparencia y la privacidad se intersectan. Como votante, quiero que mi voto individual permanezca privado y mi identidad sea ocultada. Sin embargo, también quiero transparencia en el proceso y disponibilidad de datos para asegurar que fue una votación justa.

Con zkVoting, podemos firmar transacciones privadas en cadena, que son verificables, para mostrar que tenemos derecho a votar, pero no revelamos nuestras claves públicas e identidad asociada.

Desde la gobernanza DAO hasta las elecciones nacionales, los sistemas de votación zk serán utilizados en el futuro para escalar la votación hacia la era digital.

Blockchains como Stellar funcionan por una red descentralizada de nodos todos ejecutando software cliente que difunde transacciones y actualizaciones para alcanzar un consenso o estado acordado. Para hacer esto, cada nodo en la red calculará cada transacción.

Así que si firmo una transacción para acuñar un token, cada nodo único necesita verificar que tengo permiso, luego aumentar mi saldo en almacenamiento persistente. Luego acuerdan que su estado coincide con todos los demás en la red p2p y pasan al siguiente bloque.

Esto es computacionalmente costoso e ineficiente.

Los zk-STARKs de conocimiento cero, como los que utiliza Risc Zero, proporcionan capacidad de escalado moviendo esta computación fuera de la cadena. Los nodos de la blockchain verificarán una prueba, lo cual es más eficiente que computar una serie completa de transacciones.

Stellar se está asociando con Nethermind para integrar un verificador de Risc Zero en Soroban. Esto significa que los desarrolladores podrán escribir programas en Rust, ejecutarlos fuera de la cadena para producir una prueba STARK (llamada recibo en la terminología de Risc Zero), y luego verificar esa prueba en cadena.