Horizen Labs, una plataforma de criptografía de conocimiento cero, está implementando su cadena de bloques de capa 1 dedicada para la verificación de datos privados.
Zkverify, una nueva cadena de bloques L1 diseñada para la verificación de prueba de conocimiento cero (ZK-PROOF), anunció su lanzamiento de Netnet el martes.
“La misión de Zkverify es eliminar las barreras económicas y técnicas para la adopción de ZK”, dijo a CointeleGraph, CEO y fundador de Zkverify, Rob Viglione.
“Aunque la verificación generalmente se ve como la parte” más barata “de la cadena de valor ZK, todavía es demasiado costoso e ineficiente para apoyar la escala del mundo real”, dijo Viglione.
¿Qué es la verificación ZKP?
La verificación ZKP es un método criptográfico que permite a una parte probar una declaración a otra sin revelar la información o datos subyacentes en sí. Un ejemplo común es verificar la elegibilidad de edad para acceder a un servicio sin requerir la divulgación de una identificación completa u otros datos personales.
Con un volumen de ZKP estimado en alrededor de $ 100 millones y 4,4 mil millones de pruebas a partir de 2025, se espera que el mercado de pruebas de ZK alcance los $ 1.5 mil millones para 2030, según datos de las plataformas líderes de la industria Chorus, Labs alineados y horizenales.
ZK probando predicciones del mercado. Fuente: Delphi Digital
“En este momento, muchas cadenas y aplicaciones se pueden ralentizar o más caras porque verificar esas pruebas en Ethereum u otra cadena puede ser significativamente más caro”, dijo Viglione.
Según Zkverify, la verificación de ZKP en redes como Ethereum puede costar hasta $ 60 por prueba durante la alta congestión, con una verificación que consume hasta 300,000 unidades de gas. Zkverify promete permitir la reducción de costos de al menos 90% en comparación con la verificación directamente en L1s.
“Matemáticas pesadas en lugar de la aplicación o cadena original”
Para reducir los costos de verificación, Zkverify proporciona una capa de verificación dedicada al separar la verificación de prueba del asentamiento en L1s.
“Zkverify verifica una prueba a prueba de ZK haciendo las matemáticas pesadas en lugar de la aplicación o cadena original”, dijo Viglione a CointeleGraph, agregando:
“La cadena original envía pruebas e entradas, se enruta al verificador correcto, los valida y registra un pase o un fracaso. Otras aplicaciones o cadenas luego leen ese resultado en lugar de rehacer las matemáticas, descargar la carga computacional a ZKverify, reducir el tiempo y el costo”.
ID descentralizado, juegos, préstamos de defi entre casos de uso
Entre los casos reales de uso de Zkverify, Viglione mencionó la identificación descentralizada, las predicciones comerciales verificadas, los préstamos financieros descentralizados, los juegos y más.
“La forma más fácil de interactuar con Zkverify es a través de nuestra interfaz de relevante, que es tan fácil como una API de usar, y creciendo constantemente en capacidades”, dijo, y agregó que la cadena de bloques “funciona en silencio en segundo plano”, por lo que el usuario no debe necesitar pensar activamente en cómo funciona.
Relacionado: Vitalik golpea el control de chat de la UE: “Todos merecemos privacidad y seguridad”
También destacó la capacidad de Zkverify para verificar muchos tipos de pruebas diferentes con su arquitectura modular, así como la opcionalidad multicina, lo que permite a los equipos verificar una vez y dar fe de Ethereum, base, árbitro, optimismo y otras cadenas sin bloqueo.
El lanzamiento de Mainnet de Zkverify se produce meses después de que la Fundación Ethereum anunció planes para integrar su máquina virtual ZK Ethereum (ZKEVM) directamente en su cadena de bloques L1 dentro de un año.
La integración planificada traería cambios significativos a la ejecución del bloque de ZKEVM, permitiendo que los validadores verifiquen múltiples pruebas de diferentes ZKVM en lugar de volver a ejecutar las transacciones de bloque.
Revista: ¿Puede la privacidad sobrevivir en la política de cripto de EE. UU. Después de la condena de Roman Storm?