La red Cardano ha alcanzado un hito importante al implementar con éxito su primer contrato inteligente de conocimiento cero (ZK) en la red principal.
Este logro utiliza el lenguaje de contabilidad Plutus v3, lo que marca un paso adelante para las capacidades de la red.
El contrato inteligente ZK Halo2 permitirá que aplicaciones de conocimiento cero y cadenas de socios, como Midnight, se integren con Cardano.
El 25 de noviembre, el equipo de investigación Input-Output (IO) verificado la prueba de Halo2 en la red principal para el esquema de firmas múltiples de umbral ad-hoc (ATMS). Este esquema validó con éxito 50 de 90 firmas.
El proceso implicó dos transacciones: una bloqueaba los fondos y otra los desbloqueaba después de la verificación de la prueba. La transacción de bloqueo costó 0,16 ADA, mientras que el desbloqueo mediante la verificación de Halo2 requirió una tarifa de 2,03 ADA.
Entendiendo Halo2
Halo2 es un sistema de prueba zk-SNARK de vanguardia que permite la validación segura de transacciones sin revelar detalles confidenciales.
La empresa explicó que la tecnología se basa en el protocolo PLONK, un marco universal zk-SNARK que optimiza la eficiencia y la flexibilidad. Halo 2 se basa en componentes y divide sus funciones en elementos modulares, con la esperanza de facilitar la adaptación a las necesidades criptográficas.
Este enfoque permite que una parte confirme los cálculos a otra sin exponer los datos subyacentes. A diferencia de los sistemas tradicionales zk-SNARK, Halo2 elimina la necesidad de una configuración confiable y aborda posibles riesgos de seguridad y desafíos logísticos.
Otra característica destacada de Halo2 es su soporte para pruebas recursivas. Esta capacidad divide los cálculos en segmentos más pequeños, donde la prueba de una etapa sirve como entrada para la siguiente. Esta característica permite una agregación de pruebas eficiente, con el objetivo de mejorar el rendimiento y la escalabilidad.
Entrada Salida declarada:
“Halo 2 fue desarrollado como una extensión y mejora del protocolo Halo original, diseñado por Sean Bowe de Electric Coin Company. Al basarse en primitivas criptográficas modernas, Halo 2 mejora la seguridad general de la prueba de conocimiento cero”.
Con estos avances, Halo2 apunta a aplicaciones del mundo real para reducir los costos generales y mejorar la velocidad de generación y verificación de pruebas.
