Explorando los vProgs de Kaspa: El marco para aplicaciones escalables y verificables

Kaspa publicó el primer borrador de su vProgs Yellow Paper el 11 de septiembre de 2025. Este documento detalla un protocolo para programas verificables, o vProgs, que permiten cálculos off-chain asegurados por pruebas de conocimiento cero y anclados a la red de Capa 1 de Kaspa.

El marco tiene como objetivo apoyar aplicaciones descentralizadas mientras mantiene las altas tasas de producción de bloques de la red. El anuncio, compartido a través de una publicación en X por @DailyKaspa, llega un día antes de la conferencia Kaspa Experience en Berlín, donde desarrolladores y miembros de la comunidad discutirán la hoja de ruta del proyecto.

Antecedentes sobre la arquitectura BlockDAG de Kaspa

Kaspa opera de manera diferente a las blockchains lineales, como Bitcoin o Ethereum. Emplea un blockDAG, que permite que múltiples bloques se refieran entre sí en paralelo, reduciendo la necesidad de huérfanos durante la minería. Este diseño se basa en el protocolo GHOSTDAG, desarrollado por Yonatan Sompolinsky, que extiende el consenso de Nakamoto para acomodar tasas de bloques más altas sin comprometer la seguridad.

En la actualidad, Kaspa procesa 10 bloques por segundo, con planes de aumentar esto a 32 bloques por segundo y potencialmente 100 a largo plazo. Las confirmaciones suelen ocurrir en un plazo de uno a 10 segundos, siendo la principal limitación la latencia de la red más que el procesamiento on-chain. Esto resulta en un rendimiento teórico de más de 10,000 transacciones por segundo, superando con creces las 3 a 7 transacciones por segundo de Bitcoin o las 15 a 30 transacciones por segundo de Ethereum en la Capa 1 antes de las implementaciones de sharding.

La red se basa en un consenso de prueba de trabajo, donde los mineros resuelven rompecabezas computacionales para agregar bloques. Las tarifas de transacción y las recompensas por bloque se pagan en tokens KAS, la criptomoneda nativa de la red Kaspa. Kaspa se lanzó en 2021 con un modelo de distribución justa, evitando la financiación de capital de riesgo, lo que ha contribuido a su desarrollo impulsado por la comunidad.

Kaspa ha servido principalmente como una capa base para pagos y liquidación de datos, incorporando estándares como KRC-20 para tokens fungibles. Hasta la propuesta de vProgs, carecía de soporte nativo para contratos inteligentes, dependiendo de scripting más simple para operaciones básicas.

¿Qué es Kaspa vProgs?

vProgs, abreviatura de programas verificables, introduce un sistema para ejecutar lógica compleja off-chain mientras asegura que los resultados puedan ser verificados en la Capa 1 de Kaspa. Cada vProg actúa como una unidad autosuficiente, gestionando su propio estado y reglas de transición, similar a cómo funcionan los programas en Solana pero con una verificación adicional de prueba de conocimiento cero.

Las pruebas de conocimiento cero permiten a un demostrador demostrar la corrección de un cálculo sin revelar los datos subyacentes. En vProgs, estas pruebas se envían periódicamente a la Capa 1, confirmando la integridad de las actividades off-chain. Este enfoque mantiene la cadena principal ligera, centrándose en la validación en lugar de la ejecución, lo que se alinea con el énfasis de Kaspa en la velocidad y la eficiencia.

El borrador del Yellow Paper, versión 0.0.1, describe a los vProgs como habilitadores de aplicaciones "soberanas pero componibles". La soberanía significa que cada vProg controla sus operaciones internas de manera independiente, incluyendo permisos de lectura y escritura. La componibilidad permite que un vProg lea datos de otro, facilitando interacciones como transacciones entre aplicaciones, pero las escrituras están restringidas al vProg de origen para evitar conflictos.

El desarrollo de vProgs se remonta a un hilo de discusión de agosto de 2025 en el foro de investigación de Kaspa, donde los contribuyentes abordaron los desafíos en la composabilidad sincrónica, incluyendo la latencia de prueba y el uso compartido de recursos. El borrador incorpora comentarios de esas sesiones, aunque muchos elementos siguen en proceso de refinamiento, incluidos los procesos de creación de cuentas y los mecanismos de poda de datos.

Características técnicas fundamentales de vProgs

Varios mecanismos sustentan la funcionalidad de vProgs, diseñados para manejar dependencias y eficiencia en un entorno de alto rendimiento:

Costura de Pruebas: La costura de pruebas combina múltiples pruebas de conocimiento cero de vProgs interconectados en un único compromiso, que luego se envía a la Capa 1. Esto admite transacciones atómicas entre aplicaciones, donde los resultados se liquidan simultáneamente sin los retrasos intermedios comunes en sistemas basados en rollup.

Lotes de Prueba Condicional: Los lotes de prueba condicional agrupan transacciones relacionadas para la prueba colectiva, lo que reduce la sobrecarga computacional. Por ejemplo, en un escenario de DeFi que involucra múltiples intercambios, la agrupación reduce el número de pruebas individuales necesarias.

DAG de Computación: El DAG de Computación forma un gráfico de dependencias en la capa de aplicación, reflejando la estructura blockDAG de Kaspa. Realiza un seguimiento de los flujos de datos entre vProgs, asegurando que la información referenciada permanezca disponible y que se mantenga el orden de ejecución en medio del procesamiento paralelo. Este gráfico ayuda a prevenir sobrecargas al secuenciar operaciones dependientes.

Medición de Recursos: La medición de recursos introduce controles para gestionar costos. Internamente, cada vProg utiliza su propio modelo de gas de Capa 2 para los cálculos. En la Capa 1, ScopeGas mide las interacciones entre vProgs, cobrando tarifas basadas en las dependencias de datos para desincentivar el spam o el uso excesivo de recursos, como una aplicación inundando los requisitos de entrada de otra.

Modelo Económico: El modelo económico para vProgs se basa en proveedores sin permiso—nodos que generan y envían pruebas—que ganan tarifas de los usuarios. La disponibilidad, o la garantía de pruebas oportunas, opera a través de dos modos: optimista, donde los proveedores cooperan, o soberano, donde las aplicaciones funcionan de manera independiente. Esta configuración incentiva la participación sin depender de coordinadores centralizados.

Características de Privacidad: Las características de privacidad surgen naturalmente de las pruebas de conocimiento cero, permitiendo estados encriptados en aplicaciones como transacciones confidenciales u oráculos. El marco soporta una variedad de casos de uso, desde micropagos hasta liquidaciones de datos empresariales, anclando salidas verificables a los rápidos tiempos de confirmación de Kaspa.

La Conferencia de la Experiencia Kaspa en Berlín

El anuncio de vProgs se alinea con la Kaspa Experience, una conferencia comunitaria programada para el 13 de septiembre de 2025, en Atelier Gardens en Berlín. Este evento de un día, limitado a 500 entradas con un precio de $150 más una tarifa de afterparty de $50, requiere el pago en tokens KAS, lo que marca una aplicación temprana del uso del criptomoneda en la logística del evento, incluyendo comida, bebidas y mercancía.

La agenda incluye charlas principales de desarrolladores clave, incluyendo a Sompolinsky sobre los avances en GHOSTDAG, paneles sobre la integración de contratos inteligentes y talleres enfocados en implementaciones prácticas. Un hackathon alentará la creación de prototipos, junto con una Expo de Arte de Kaspa que mostrará usos creativos de la red. Aunque no hay una sesión dedicada de vProgs en el programa, los materiales de prensa del evento destacan la capa programable de Kaspa como una base para DeFi y sistemas de pago, sugiriendo discusiones informales sobre el nuevo marco.

Los asistentes, provenientes de mineros, comerciantes y desarrolladores, se conectarán en un entorno que enfatiza el ethos descentralizado de Kaspa. La conferencia representa la primera gran reunión presencial del proyecto, construyendo sobre foros en línea y canales de Telegram para la colaboración.

Desafíos y Cronograma de Implementación

La implementación de vProgs implica obstáculos comunes a los sistemas de conocimiento cero. La generación de pruebas sigue siendo intensiva en computación, lo que podría introducir latencia a pesar de la alta velocidad de bloque de Kaspa. Los desarrolladores deben abordar la compatibilidad de la máquina virtual para facilitar la migración desde entornos como la Máquina Virtual de Ethereum.

Los contribuyentes del foro han simulado modelos de compartición de gas para mitigar externalidades, donde la actividad de un vProg impacta a otros. La disponibilidad de datos en el DAG de Computación requiere un diseño cuidadoso para evitar riesgos de centralización.

Las cronologías de las discusiones de agosto indicaron un lanzamiento de testnet para el cuarto trimestre de 2025, tras la retroalimentación de la comunidad sobre el borrador. La integración completa de mainnet dependería de las auditorías y los puntos de referencia de rendimiento, con la poda y los mecanismos de cuenta programados para revisiones futuras.

En comparación con los rollups de Ethereum, que pueden fragmentar la liquidez a través de las capas, o la ejecución en cadena de Solana, que pone a prueba los límites de rendimiento, vProgs busca integrar la computación verificable directamente en una capa base de prueba de trabajo. Esto preserva la descentralización mientras aprovecha la producción de bloques en paralelo.

Conclusión

vProgs proporciona a Kaspa herramientas para la ejecución off-chain verificadas por pruebas de conocimiento cero, incluyendo la unión de pruebas para la composabilidad, un DAG de Computación para la gestión de dependencias y ScopeGas para el control de recursos.

Estos elementos permiten que las aplicaciones operen de manera escalable en una red que confirma bloques cada pocos segundos, apoyando casos de uso que van desde DeFi hasta la liquidación de datos sin comprometer la seguridad de la Capa 1.

Fuentes:

• Artículo diario de Kaspa X sobre vProgs:
• Borrador del Documento Amarillo de vProgs v0.0.1:
• Hilo del Foro de Investigación de Kaspa sobre Composabilidad Sincrónica:
• Experiencia Kaspa en Berlín: