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 Inputs-Outputs (IO) comprobado la prueba de Halo2 en la red principal para el esquema Ad-hoc Threshold Multi-Signatures (ATMS). Este programa validó con éxito 50 de 90 firmas.
El proceso implicó dos transacciones: una que bloqueaba los fondos y otra que los desbloqueaba tras la verificación de las pruebas. La transacción de bloqueo cuesta 0,16 ADA, mientras que el desbloqueo mediante la verificación de Halo2 requiere 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 compañía explicó que la tecnología aprovecha 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 su adaptación a las necesidades criptográficas.
Este enfoque permite que una parte confirme los cálculos de la otra sin exponer los datos subyacentes. A diferencia de los sistemas tradicionales zk-SNARK, Halo2 elimina la necesidad de una configuración confiable y resuelve posibles riesgos de seguridad y desafíos logísticos.
Otra característica notable de Halo2 es su soporte para pruebas recursivas. Esta capacidad divide los cálculos en segmentos más pequeños, donde la prueba de un paso sirve como entrada para el siguiente. Esta característica permite la agregación eficiente de evidencia, con el objetivo de mejorar el rendimiento y la escalabilidad.
Entrada Salida declarada:
“Halo 2 fue desarrollado como una expansión y mejora del protocolo Halo original, diseñado por Sean Bowe de Electric Coin Company. Al aprovechar las primitivas criptográficas modernas, Halo 2 mejora la seguridad general de la prueba de conocimiento cero.
Con estos avances, Halo2 apunta a que las aplicaciones del mundo real reduzcan los gastos generales y mejoren la velocidad de generación y verificación de pruebas.