zkVerify: Capa universal de verificación de pruebas de conocimiento cero

¿Qué es zkVerify?

Amigos, imaginen que cuando compramos en línea o hacemos una transferencia, siempre necesitamos que un banco o Alipay, como instituciones centrales, confirmen que la transacción es real, ¿verdad? En el mundo blockchain, queremos descentralizar ese poder de confirmación, permitiendo que todos participen en la verificación, lo que hace el proceso más transparente y seguro. Sin embargo, si cada persona tuviera que revisar todos los detalles de cada transacción, sería muy lento y costoso.

zkVerify (nombre del proyecto: VFY) es como un “superverificador” en el mundo blockchain. No se encarga de procesar todas las transacciones, sino que se especializa en una sola cosa: verificar de manera rápida y económica esos “recibos” especiales llamados “pruebas de conocimiento cero” (Zero-Knowledge Proof, abreviado ZK Proof).

¿Qué es una prueba de conocimiento cero? En términos simples, es una tecnología asombrosa que te permite demostrar a otros que conoces un secreto, sin necesidad de revelar el secreto en sí. Por ejemplo, puedes probar que tienes más de 18 años sin decir tu fecha de nacimiento exacta. En blockchain, las ZK Proof pueden usarse para demostrar que una transacción es válida o que un cálculo es correcto, sin exponer todos los datos.

El proyecto zkVerify es una red blockchain creada específicamente para verificar estos “recibos”. Es como una “firma de auditoría profesional” que recibe “pruebas” de diversas aplicaciones blockchain (por ejemplo, aquellas que requieren privacidad o cálculos a gran escala) y las verifica a un costo muy bajo y a gran velocidad.

Usuarios objetivo y escenarios clave

zkVerify está dirigido principalmente a proyectos blockchain que necesitan pruebas de conocimiento cero, como:

• ZK Rollups: Imagina que la red principal de Ethereum es una autopista muy transitada, y los ZK Rollups son “vías rápidas” construidas al lado, que agrupan muchas pequeñas transacciones en una sola grande, usando una ZK Proof para demostrar que todas son válidas. zkVerify ayuda a estas “vías rápidas” a verificar sus “grandes recibos” más rápido.
• zkBridges: Como puentes que conectan diferentes ciudades, permiten la comunicación y transferencia de activos entre blockchains. zkVerify puede ayudar a verificar la seguridad de estas transacciones entre cadenas.
• zkApps: Diversas aplicaciones descentralizadas que usan pruebas de conocimiento cero para proteger la privacidad o implementar funciones complejas.
• IA e identidad digital: Incluso puede extenderse a la verificación de inteligencia artificial y a la autenticación de identidad digital para proteger la privacidad personal.

Flujo de uso típico

Su flujo de trabajo puede entenderse así:

1. Una aplicación blockchain (por ejemplo, un ZK Rollup) genera un “recibo” de prueba de conocimiento cero, demostrando que ha completado un lote de cálculos o transacciones.
2. La aplicación envía este “recibo” a la red zkVerify.
3. Los verificadores profesionales de la red zkVerify (nodos) revisan rápida y eficientemente la autenticidad del “recibo”.
4. Tras la verificación, zkVerify genera una “prueba de verificación aprobada” (llamada “attestation”), y la envía de vuelta a la cadena de la aplicación original.
5. La aplicación original solo necesita revisar esta pequeña “attestation”, sin tener que procesar el complejo “recibo”, ahorrando mucho tiempo y costos.

Visión del proyecto y propuesta de valor

La visión de zkVerify es convertirse en la “piedra angular de la confianza” en el mundo blockchain, permitiendo que la poderosa tecnología de las pruebas de conocimiento cero sea más ampliamente utilizada y de forma más conveniente.

Problemas clave que busca resolver

Actualmente, aunque las pruebas de conocimiento cero son muy potentes, tienen un “punto doloroso”: verificarlas en blockchains grandes y generalistas como Ethereum es costoso, lento y consume muchos recursos computacionales.

Imagina que contratas a un mayordomo todoterreno (una blockchain generalista) que puede hacer de todo, pero si solo le pides que haga una tarea muy especializada (como verificar ZK Proof), puede que no sea eficiente y cobre caro. zkVerify resuelve este problema: es como un “experto profesional en verificación de pruebas de conocimiento cero”, que solo hace esa tarea, por lo que lo hace rápido, bien y barato.

Se estima que verificar una ZK Proof en una blockchain generalista puede costar entre 200,000 y 300,000 Gas (la tarifa de cómputo en blockchain), y en momentos de congestión de red puede llegar hasta 60 dólares. El objetivo de zkVerify es reducir este costo en más del 90%.

Diferencias con proyectos similares

Las particularidades de zkVerify son:

• Especialización: Es una “blockchain de capa uno” (Layer 1 blockchain) diseñada exclusivamente para la verificación de pruebas de conocimiento cero. A diferencia de las blockchains “grandes y generales”, zkVerify solo se enfoca en la verificación, no procesa otras transacciones, por lo que es sumamente eficiente.
• Modularidad: Su diseño modular permite integrarse fácilmente con diversas redes blockchain existentes, como un “módulo de verificación plug-and-play”.
• Independencia de pruebas: Puede verificar distintos tipos de sistemas de pruebas de conocimiento cero (como Fflonk, Groth16, Plonky2, etc.), actuando como un “traductor multilingüe”: sin importar en qué “idioma” esté escrita tu prueba, puede entenderla y verificarla.
• Alto rendimiento y bajo costo: Gracias a su diseño especializado y código optimizado (escrito en Rust), zkVerify ofrece una velocidad de verificación ultraalta y costos extremadamente bajos.

Características técnicas

zkVerify cuenta con muchos diseños ingeniosos a nivel técnico, permitiéndole desempeñar eficientemente el papel de “superverificador”.

Características técnicas

• Diseño modular: Como piezas de Lego, la arquitectura de zkVerify es modular, lo que significa que puede adaptarse de forma flexible a diferentes necesidades y actualizarse o expandirse fácilmente.
• Verificador nativo escrito en Rust: Su programa de verificación central está escrito en Rust. Rust es conocido por su alto rendimiento y seguridad, lo que hace que el proceso de verificación de zkVerify sea eficiente y confiable. Cuando surgen nuevos sistemas de pruebas de conocimiento cero, se pueden agregar o actualizar nuevos verificadores nativos sin afectar toda la red.
• Aceleración por hardware: Para lograr velocidades de verificación en milisegundos, zkVerify utiliza tecnología de aceleración por hardware, como si le pusiera un “turbo” a su capacidad de verificación.
• Mecanismo de attestation y Merkle Tree: Tras verificar múltiples pruebas, zkVerify no devuelve todas las pruebas a la cadena original, sino que utiliza una estructura de datos llamada “Merkle Tree” para “empaquetar” esas pruebas en una “attestation” más pequeña. Es como resumir la información de muchos paquetes en una sola lista, reduciendo enormemente el volumen de datos transmitidos y el costo.

Arquitectura técnica

zkVerify es una “blockchain de capa uno” (Layer 1 blockchain) independiente. Esto significa que tiene su propia red, nodos y mecanismos de seguridad, sin depender de otras blockchains para funcionar. Su base está construida sobre el framework Substrate, un marco de desarrollo blockchain flexible que permite a los desarrolladores crear blockchains altamente personalizadas.

Mecanismo de consenso

Para garantizar la seguridad y descentralización de la red, zkVerify utiliza el mecanismo de consenso “Nominated Proof-of-Stake” (NPoS). En términos simples, es un sistema donde todos pueden apostar tokens para elegir validadores, quienes mantienen la seguridad de la red. Cuantos más tokens apuestes, mayor la probabilidad de ser elegido como validador y de recibir recompensas, pero si actúas mal, serás penalizado, lo que incentiva el comportamiento honesto.

Tokenomics

El token del proyecto zkVerify se llama VFY, y es el “combustible” y “derecho de voto” de toda la red.

Información básica del token

• Símbolo del token: VFY
• Cadena de emisión: La propia blockchain Layer 1 de zkVerify. Sin embargo, para facilitar el trading y la liquidez, también puede tener direcciones de contrato en otras cadenas (como Ethereum).
• Suministro total o mecanismo de emisión: En el génesis (inicio del proyecto) se emiten en total 1,000,000,000 (mil millones) de tokens VFY.
• Inflación/quema: Para incentivar a los validadores y mantener la seguridad de la red, el token VFY tiene una tasa de inflación anual del 2.5%.
• Suministro circulante actual y futuro: En el génesis, el suministro circulante inicial es de aproximadamente 306.57 millones (30.66% del total). Para octubre de 2025, el suministro circulante será de unos 307.8 millones de VFY.

Usos del token

El token VFY cumple varios roles importantes en la red zkVerify, como la moneda de un país:

• Tarifas de transacción (Gas): Cualquier operación de envío y verificación de pruebas de conocimiento cero en la red zkVerify requiere pagar VFY como tarifa. Es como pagar peaje en una autopista, asegurando la seguridad económica de la red.
• Staking y seguridad de la red: Para ser validador en la red zkVerify, o apoyar a un validador, es necesario hacer staking de VFY. El staking de VFY ayuda a proteger la red y los stakers reciben recompensas en VFY.
• Gobernanza: Los poseedores de VFY tienen derecho a votar sobre el futuro del proyecto, como actualizaciones del protocolo, ajustes de parámetros, etc. Esto permite que la comunidad participe en la gestión del proyecto.
• Incentivos del ecosistema: Una parte de los tokens VFY se destina a incentivar a desarrolladores en hackathons, programas de subvenciones, construcción de comunidad y promoción del proyecto, atrayendo a más personas a usar y contribuir al ecosistema zkVerify.

Distribución y desbloqueo del token

El suministro total de VFY se distribuye entre diferentes participantes, con distintos calendarios de desbloqueo para garantizar el desarrollo estable a largo plazo del proyecto. Según la información recopilada (ten en cuenta que los porcentajes pueden variar ligeramente según la fuente, aquí se usa el esquema más detallado):

• Comunidad: Aproximadamente 35% (350 millones de tokens). El 10% circula en el evento de generación de tokens (TGE), el resto comienza a desbloquearse mensualmente durante 48 meses tras 12 meses de carencia.
• Fundación: Aproximadamente 31.375% (313.75 millones de tokens). El 47% circula en el TGE, el resto se desbloquea mensualmente durante 24 meses desde el TGE.
• Contribuidores principales (equipo): Aproximadamente 19.625% (196.25 millones de tokens). Sin circulación en el TGE, desbloqueo mensual durante 12 meses tras 12 meses de carencia.
• Inversores: Aproximadamente 14% (140 millones de tokens). Sin circulación en el TGE, desbloqueo mensual durante 12 meses tras 12 meses de carencia.

Equipo, gobernanza y fondos

El éxito de un proyecto depende de las personas y los mecanismos detrás de él.

Miembros clave y características del equipo

El proyecto zkVerify es desarrollado por Ellipsis Distributed Systems y Horizen Labs es el principal contratista. Horizen Labs, fundada en 2019, es una empresa de tecnología blockchain especializada en criptografía de conocimiento cero, con una profunda experiencia y conocimientos en el campo ZK.

Mecanismo de gobernanza

zkVerify adopta un modelo de gobernanza descentralizada. Esto significa que los poseedores de VFY pueden votar para influir en decisiones clave del proyecto, como actualizaciones del protocolo, ajustes de parámetros, etc. Así se garantiza que la comunidad tenga voz en el desarrollo del proyecto y se evitan riesgos de centralización.

Tesorería y runway financiero

Hasta la fecha, el proyecto zkVerify ha recibido 11 millones de dólares en inversión de riesgo. Estos fondos se utilizarán para el desarrollo, operación y construcción del ecosistema del proyecto, proporcionando una base financiera importante para su desarrollo a largo plazo.

Hoja de ruta

La hoja de ruta es como el diario de crecimiento y planificación futura del proyecto.

Hitos y eventos históricos clave

• Mayo de 2024: Lanzamiento oficial de la testnet de zkVerify. Esto marca el nacimiento de la primera solución modular de verificación de pruebas de conocimiento cero.
• Septiembre de 2024: El equipo organiza desafíos y actividades de recompensas para atraer a desarrolladores y miembros de la comunidad, probando a gran escala la capacidad de verificación de pruebas de conocimiento cero y sentando las bases para el lanzamiento de la mainnet.
• Septiembre de 2025: Lanzamiento oficial de la mainnet de zkVerify y del token VFY.

Planes y hitos futuros importantes

Aunque los detalles específicos de la hoja de ruta futura no se mencionan mucho en la información pública, es previsible que zkVerify continuará:

• Ampliando el soporte a más arquitecturas blockchain: Compatibilizándose gradualmente con más redes blockchain, convirtiéndose en una capa de verificación universal más amplia.
• Optimizando continuamente la eficiencia y el costo de verificación: Mediante iteraciones técnicas, reducir aún más los costos de verificación y aumentar la velocidad.
• Impulsando el desarrollo del ecosistema: Atrayendo a más desarrolladores a construir aplicaciones en su plataforma, enriqueciendo los escenarios de uso de zkVerify.

Advertencias de riesgos comunes

Todo proyecto blockchain conlleva riesgos; conocerlos nos ayuda a tener una visión más completa.

• Riesgos técnicos y de seguridad: Aunque la tecnología de pruebas de conocimiento cero es avanzada, cualquier sistema de software complejo puede tener vulnerabilidades o errores desconocidos. Además, como una nueva blockchain Layer 1, su propia seguridad, la estabilidad del mecanismo de consenso y la seguridad de la integración con sistemas externos requieren tiempo para ser validados.
• Riesgos económicos:
  • Competencia de mercado: El campo de la verificación de pruebas de conocimiento cero está atrayendo cada vez más atención, y pueden surgir otros proyectos de capas de verificación universales (como Aligned Layer, Cloaking Layer), lo que podría afectar la cuota de mercado y el desarrollo de zkVerify.
  • Crecimiento de mercado inferior al esperado: Si el crecimiento general del mercado de pruebas de conocimiento cero es más lento de lo esperado, o la adopción de sus casos de uso es lenta, podría afectar el valor del token VFY.
  • Presión por desbloqueo de tokens: En la distribución de tokens del proyecto, algunos se desbloquean gradualmente tras el TGE. Si el volumen desbloqueado es grande, podría haber presión de venta a corto plazo. Por ejemplo, se menciona que el 25% del suministro se desbloquea en el TGE, lo que puede traer presión de venta potencial.
• Riesgos de cumplimiento y operativos:
  • Incertidumbre regulatoria: El entorno regulatorio global de las criptomonedas sigue cambiando, y futuras políticas pueden afectar la operación y desarrollo de zkVerify.
  • Desafíos en la construcción de comunidad: Se menciona que la capacidad del equipo de zkVerify para construir y mantener la comunidad aún no ha sido plenamente demostrada, lo cual es un factor importante para un proyecto descentralizado.

Lista de verificación

Para cualquier proyecto blockchain, podemos hacer una verificación preliminar mediante información pública.

• Dirección de contrato en explorador de bloques:
  • Dirección del contrato del token VFY (posiblemente en Ethereum u otras cadenas):
    0xa749...b358
  • Explorador de bloques de la mainnet de zkVerify:
    zkverify.subscan.io
• Actividad en GitHub:
  • Repositorio de GitHub de zkVerify:
    zkVerify/zkVerify
  • El repositorio tiene 451 estrellas y 111 forks, lo que indica cierto interés de la comunidad y participación de desarrolladores.
  • También hay registros de actualizaciones de código, como “Reduced MaxOpBeneficiaries”, “Collect also stas about vk use”, lo que muestra que el proyecto sigue en desarrollo y mantenimiento activo.

Resumen del proyecto

Amigos, en resumen, zkVerify es un proyecto blockchain muy interesante y con potencial. Es como un “centro especializado de verificación de pruebas de conocimiento cero” en el mundo blockchain, dedicado a resolver los problemas actuales de alto costo y lentitud en la aplicación de esta tecnología. Gracias a su arquitectura Layer 1 única, diseño modular y compatibilidad con múltiples sistemas de pruebas, zkVerify espera que la poderosa tecnología de las pruebas de conocimiento cero sea más popular y fácil de usar, impulsando la privacidad, escalabilidad y eficiencia de todo el ecosistema Web3.

Su valor central radica en permitir que las aplicaciones que requieren gran cantidad de verificaciones de pruebas de conocimiento cero puedan “externalizar” ese trabajo pesado a zkVerify, reduciendo enormemente sus costos operativos y aumentando la eficiencia. Esto es una infraestructura clave para ZK Rollups, puentes entre cadenas y diversas aplicaciones de privacidad.

Por supuesto, toda tecnología y proyecto emergente conlleva riesgos, como la competencia de mercado, la presión por desbloqueo de tokens y los desafíos del equipo en la construcción de comunidad. Por ello, al seguir este proyecto, debemos mantenernos objetivos y cautelosos.

Recuerda que toda la información anterior es solo una introducción al proyecto y no constituye asesoramiento de inversión. El mercado de blockchain y criptomonedas es volátil y de alto riesgo. Antes de tomar cualquier decisión de inversión, realiza tu propia investigación (Do Your Own Research, DYOR) y consulta a un asesor financiero profesional.

Para más detalles, se recomienda consultar el whitepaper oficial y la web de zkVerify para obtener la información más completa y actualizada.