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?
