Explorando vProgs de Kaspa: el marco para aplicaciones escalables y verificables

Caspa publicó el primer borrador de su Libro amarillo de vProgs el 11 de septiembre de 2025. Este documento detalla un protocolo para programas verificables, o vProgs, que permiten cálculos fuera de la cadena asegurados por pruebas de conocimiento cero y anclados a Kaspa. Red de capa 1. 

El marco busca respaldar las aplicaciones descentralizadas, manteniendo al mismo tiempo las altas tasas de producción de bloques de la red. El anuncio, compartido a través de un... X publicación de @DailyKaspa, llega un día antes de la conferencia Kaspa Experience en Berlín, donde los desarrolladores y miembros de la comunidad discutirán la hoja de ruta del proyecto.

Antecedentes de la arquitectura BlockDAG de Kaspa

Kaspa funciona de manera diferente a las cadenas de bloques lineales, como Bitcoin or EthereumEmplea un blockDAG, que permite que varios bloques se interconecten en paralelo, reduciendo la necesidad de bloques 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 permitir tasas de bloques más altas sin comprometer la seguridad.

En la actualidad, Kaspa procesa 10 bloques por segundoCon planes para aumentar esta velocidad a 32 bloques por segundo y potencialmente a 100 a largo plazo. Las confirmaciones suelen ocurrir en un plazo de uno a diez segundos, siendo la principal limitación la latencia de la red, más que el procesamiento en cadena. Esto resulta en un rendimiento teórico de más de 10 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 fragmentación.

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

Kaspa ha servido principalmente como 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, y dependía de scripts más simples para operaciones básicas.

Descubra proyectos prometedores...

Proyectos prometedores...

(Anuncio)

El artículo continúa...

¿Qué es Kaspa vProgs?

vProgs, abreviatura de programas verificables, introduce un sistema para ejecutar lógica compleja fuera de la cadena principal al tiempo que garantiza que los resultados se puedan verificar en la Capa 1 de Kaspa. Cada vProg actúa como una unidad autónoma, administrando su propio estado y reglas de transición, de manera similar a cómo funcionan los programas en Solana pero con verificación de prueba de conocimiento cero añadida.

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

El borrador del Libro Amarillo, versión 0.0.1, describe los vProgs como sistemas que permiten aplicaciones "soberanas pero componibles". La soberanía significa que cada vProg controla sus operaciones internas de forma independiente, incluyendo los permisos de lectura y escritura. La componibilidad permite que un vProg lea datos de otro, lo que facilita interacciones como las transacciones entre aplicaciones, pero las escrituras se limitan 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 Desafíos en la componibilidad sincrónica, incluyendo la latencia de las pruebas y el uso compartido de recursos. El borrador incorpora los comentarios de dichas sesiones, aunque muchos elementos aún se están perfeccionando, como los procesos de creación de cuentas y los mecanismos de poda de datos.

Características técnicas principales de vProgs

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

Costura de prueba:La unión 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 demoras intermedias comunes en los sistemas basados ​​en acumulación.

Lotes de prueba condicionalLos lotes de prueba condicional agrupan transacciones relacionadas para la prueba colectiva, lo que reduce la sobrecarga computacional. Por ejemplo, en un escenario DeFi con múltiples intercambios, la agrupación reduce la cantidad de pruebas individuales necesarias.

DAG de computaciónEl DAG de Computación forma un grafo de dependencias en la capa de aplicación, que refleja la estructura blockDAG de Kaspa. Rastrea los flujos de datos entre vProgs, garantizando que la información referenciada permanezca disponible y que el orden de ejecución se mantenga durante el procesamiento paralelo. Este grafo ayuda a prevenir la sobrecarga mediante la secuenciación de operaciones dependientes.

Medición de recursosLa medición de recursos introduce controles para gestionar los 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 vProg y cobra tarifas según las dependencias de datos para desincentivar el spam o el uso excesivo de recursos, como cuando una aplicación satura los requisitos de entrada de otra.

Modelo económicoEl modelo económico de vProgs se basa en probadores sin permisos (nodos que generan y envían pruebas) que perciben comisiones de los usuarios. La vitalidad, o la garantía de pruebas oportunas, opera mediante dos modos: optimista, donde los probadores cooperan, o soberano, donde las aplicaciones se ejecutan de forma independiente. Esta configuración incentiva la participación sin depender de coordinadores centralizados.

Funciones de privacidadLas características de privacidad surgen naturalmente de las pruebas de conocimiento cero, lo que permite estados cifrados en aplicaciones como transacciones confidenciales u oráculos. El marco admite diversos casos de uso, desde micropagos hasta la liquidación de datos empresariales, al vincular resultados verificables con los rápidos tiempos de confirmación de Kaspa.

La Conferencia de Experiencia Kaspa en Berlín

El anuncio de vProgs se alinea con el Experiencia Kaspa, una conferencia comunitaria programada para el 13 de septiembre de 2025 en los Jardines del Atelier en Berlín. Este evento de un día, limitado a 500 entradas con un precio de $150 más una cuota de $50 para la fiesta posterior, requiere el pago en tokens KAS, lo que marca una aplicación temprana de la criptomoneda en el mundo real para la logística de eventos, incluyendo comida, bebida y productos.

La agenda incluye ponencias destacadas de desarrolladores clave, como Sompolinsky, sobre los avances en GHOSTDAG, paneles sobre la integración de contratos inteligentes y talleres centrados en implementaciones prácticas. Un hackaton fomentará la creación de prototipos, junto con una Exposición de Arte Kaspa que mostrará los usos creativos de la red. Si bien no se incluye una sesión dedicada a vProgs en el programa, el material de prensa del evento destaca la capa programable de Kaspa como base para las DeFi y los sistemas de pago, sugiriendo debates informales sobre el nuevo marco.

Los asistentes, entre mineros, comerciantes y desarrolladores, se conectarán en un entorno que enfatiza la filosofía descentralizada de Kaspa. La conferencia representa la primera gran reunión presencial del proyecto, aprovechando foros en línea y canales de Telegram para la colaboración.

Desafíos y cronograma de implementación

La implementación de vProgs presenta obstáculos comunes en los sistemas de conocimiento cero. La generación de pruebas requiere un alto consumo computacional, lo que puede generar latencia a pesar de la alta velocidad de bloque de Kaspa. Los desarrolladores deben abordar la compatibilidad con máquinas virtuales para facilitar la migración desde entornos como la Máquina Virtual de Ethereum.

Los participantes del foro han simulado modelos de compartición de gas para mitigar las 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.

Los plazos de las discusiones de agosto indicaron un lanzamiento de la red de pruebas para el cuarto trimestre de 2025, tras los comentarios de la comunidad sobre el borrador. La integración completa de la red principal dependería de la auditoría y los parámetros de rendimiento, y la poda y la mecánica de las cuentas se revisarían en el futuro.

A diferencia de los rollups de Ethereum, que pueden fragmentar la liquidez entre capas, o la ejecución en cadena de Solana, que pone a prueba los límites de rendimiento, vProgs busca integrar computación verificable directamente en una capa base de prueba de trabajo. Esto preserva la descentralización y aprovecha la producción paralela de bloques.

Conclusión

vProgs equipa a Kaspa con herramientas para la ejecución fuera de cadena verificada por pruebas de conocimiento cero, incluida la unión de pruebas para componibilidad, un DAG de cómputo 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, lo que admite casos de uso que van desde DeFi hasta la liquidación de datos sin comprometer la seguridad de la capa 1.

Fuentes:

• Artículo de Kaspa Daily X sobre vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• Borrador del libro amarillo de vProgs v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Hilo del foro de investigación de Kaspa sobre componibilidad sincrónica: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Experiencia Kaspa en Berlín: https://experience.kaspa.events/