Las pruebas de conocimiento cero (ZKPS) son criptos de lo que TCP/IP es en Internet: integral y, sin embargo, un misterio completo para los usuarios comunes. Si ha estado en Crypto por un tiempo, probablemente conozca los conceptos básicos, como que los ZKP tienen la capacidad de verificar la información sin revelar los datos subyacentes. Pero más allá de eso, una vez que comenzamos a entrar en Snarks, Starks, FHE y otras abreviaturas, todo se vuelve bastante complejo bastante rápido.
–
Bueno, puedes relajarte, porque no estamos aquí para hablar de la teoría del conocimiento cero: estamos aquí para hablar de práctica examinando tres proyectos blockchain que están aprovechando las pruebas de ZK para resolver problemas del mundo real. No se requiere un título en criptografía para comprender lo que están cocinando y por qué es un cambio de juego para los datos de la cadena. Solo un poco de curiosidad y un conocimiento básico de blockchain serán suficientes. Si tiene esos atributos, procedamos.
Espacio y tiempo
Para aquellas situaciones en las que sus pruebas de ZK simplemente no pueden esperar a otro nanosegundo para calcular, el espacio y el tiempo es a quien llame. Así como nos referimos a las pruebas de conocimiento cero como ZKP por razones prácticas, el espacio y el tiempo son SXT. Y cuando se trata de entregar datos verificables a la velocidad del rayo, SXT son los profesionales de ZKP a los que recurre. Construido en un marco híbrido de procesamiento transaccional/analítico (HTAP), la tecnología de SXT permite que las consultas complejas se ejecuten y verifiquen en las fuentes de datos dentro y fuera de la cadena.
Sus casos de uso son tan diversos como convincentes. Dentro de Defi, el espacio y el tiempo permiten alimentos de datos verificables, asegurando que los precios y otras métricas financieras sean precisas y a prueba de manipulaciones. Para la IA, sus pruebas proporcionan entradas de confianza, lo que permite que los modelos de IA funcionen en conjuntos de datos verificados sin comprometer la privacidad. Respaldado por integraciones con pesos pesados como ChainLink y Microsoft Azure, el espacio y el tiempo está haciendo de ZKP una herramienta práctica para las industrias basadas en datos.
En la actualidad, SXT está muy interesado en los coprocesadores de ZK, que como el cofundador Scott Dykstra explica, son “una nueva clase de blockchain infra que permite que los desarrolladores de contratos inteligentes prueben con estatuto los cálculos fuera de la cadena sobre los datos de la cadena existentes”.
Esto deja a SXT para servir como la primera base de datos sin confianza para los coprocesadores de ZK en EVM, una tarea a la que se lleva con aplomo.
Laboratorios sucintos
Los laboratorios sucintos, otro innovador con sede en Estados Unidos como SXT, está abordando el desafío de la comunicación segura y privada en las redes blockchain. Su enfoque está en los mensajes de ZK y la interoperabilidad, aprovechando un marco novedoso llamado Zkwasm para permitir una generación de prueba eficiente para los programas de websembly. Esto permite que los laboratorios sucintos creen pruebas de ZK portátiles livianas que se pueden verificar en múltiples cadenas.
El gancho de Zkwasm radica en su capacidad para abstraer cálculos complejos en un formato universal, lo que facilita la implementación de ZKP. El protocolo de mensajería múltiple de los laboratorios sucintos permite a Blockchains compartir datos y ejecutar transacciones de manera privada y verificable. Al priorizar la interoperabilidad, la sucinta está estableciendo efectivamente las bases para un paisaje de cadena de bloques altamente conectado y que presenta la privacidad, con aplicaciones que van desde intercambios descentralizados hasta gobernanza de la cadena cruzada.
Zama
No contento con dominar una disciplina criptográfica, Zama es elegido para ACE dos al combinar ZKP con cifrado totalmente homomórfico (FHE), que permite cálculos en datos encriptados sin descifrado. Esta fusión permite soluciones de cómputo privadas avanzadas, particularmente para casos de uso financiero donde la confidencialidad de los datos es primordial. La tecnología de Zama permite a las instituciones procesar datos financieros confidenciales, como puntajes de crédito o modelos de riesgo sin divulgarlo a terceros.
Si bien el FHE ha sido históricamente demasiado lento para el uso práctico, el enfoque de Zama se centra en casos de uso optimizados, especialmente dentro de las finanzas. Desde contratos inteligentes confidenciales hasta libros de pedidos cifrados, el objetivo es construir sistemas donde ni la entrada, la salida ni la lógica de procesamiento deben estar expuestos.
El gancho de Zama es su capacidad para ofrecer un cálculo de preservación de la privacidad a escala, abordando los requisitos estrictos de los reguladores financieros y las empresas. Por ejemplo, sus sistemas pueden demostrar el cumplimiento de las regulaciones contra el lavado de dinero o verificar la integridad de los modelos financieros sin exponer algoritmos propietarios.
La prueba está ahí fuera
Lo que ilustran estos tres proyectos es la creciente madurez de la tecnología ZK. Desde la verificación de datos y la seguridad de la cadena cruzada hasta el cálculo cifrado, las pruebas de conocimiento cero ya no se limitan a los rollups de L2 o los diseños a nivel de protocolo. Se están expandiendo rápidamente a nuevas verticales y siendo utilizados por empresas para resolver problemas del mundo real.
Quizás lo más importante es que las pruebas de ZK están arrojando su reputación como una búsqueda puramente académica. Con la generación de pruebas sub-segundo, la composibilidad de la cadena cruzada y el cómputo listo para la empresa, estas tecnologías finalmente están entrando en entornos de producción. La carrera de conocimiento cero ya no se trata de quién puede construir el sistema de prueba más elegante: se trata de quién puede entregar implementaciones prácticas de la tecnología a escala, en la naturaleza. Y esa raza está muy en marcha.