Explorando o vProgs da Kaspa: A Estrutura para Aplicações Escaláveis e Verificáveis

Kaspa lançou o primeiro rascunho do seu vProgs Yellow Paper em 11 de setembro de 2025. Este documento detalha um protocolo para programas verificáveis, ou vProgs, que permitem computações fora da cadeia, asseguradas por provas de conhecimento zero e ancoradas na rede Layer 1 da Kaspa.

A estrutura visa apoiar aplicações descentralizadas enquanto mantém as altas taxas de produção de blocos da rede. O anúncio, partilhado através de um post no X por @DailyKaspa, ocorre um dia antes da conferência Kaspa Experience em Berlim, onde desenvolvedores e membros da comunidade discutirão o roteiro do projeto.

Contexto sobre a Arquitetura BlockDAG do Kaspa

Kaspa opera de forma diferente das blockchains lineares, como o Bitcoin ou o Ethereum. Adota um blockDAG, que permite que múltiplos blocos se referenciem entre si em paralelo, reduzindo a necessidade de blocos órfãos durante a mineração. Este design é baseado no protocolo GHOSTDAG, desenvolvido por Yonatan Sompolinsky, que estende o consenso de Nakamoto para acomodar taxas de blocos mais altas sem comprometer a segurança.

Atualmente, a Kaspa processa 10 blocos por segundo, com planos de aumentar isso para 32 blocos por segundo e potencialmente 100 a longo prazo. As confirmações ocorrem tipicamente entre um a 10 segundos, sendo a principal limitação a latência da rede, em vez do processamento on-chain. Isso resulta em uma capacidade teórica de mais de 10.000 transações por segundo, superando em muito as 3 a 7 transações por segundo do Bitcoin ou as 15 a 30 transações por segundo do Ethereum na Camada 1 antes das implementações de sharding.

A rede baseia-se no consenso proof-of-work, onde os mineiros resolvem quebra-cabeças computacionais para adicionar blocos. As taxas de transação e as recompensas de bloco são pagas em tokens KAS, a criptomoeda nativa da rede Kaspa. A Kaspa foi lançada em 2021 com um modelo de distribuição justa, evitando financiamento de capital de risco, o que contribuiu para o seu desenvolvimento orientado pela comunidade.

Kaspa tem servido principalmente como uma camada base para pagamentos e liquidação de dados, incorporando padrões como KRC-20 para tokens fungíveis. Até a proposta vProgs, faltava suporte nativo para contratos inteligentes, dependendo de scripting mais simples para operações básicas.

O que é Kaspa vProgs?

vProgs, a abreviação de programas verificáveis, introduz um sistema para executar lógica complexa fora da cadeia principal, garantindo que os resultados possam ser verificados na Camada 1 do Kaspa. Cada vProg atua como uma unidade auto-contida, gerindo o seu próprio estado e regras de transição, semelhante a como os programas funcionam no Solana, mas com verificação adicional de prova de conhecimento zero.

Provas de conhecimento zero permitem que um provador demonstre a correção de um cálculo sem divulgar os dados subjacentes. Em vProgs, estas provas são submetidas periodicamente à Camada 1, confirmando a integridade das atividades fora da cadeia. Esta abordagem mantém a cadeia principal leve, focando na validação em vez da execução, o que se alinha com a ênfase da Kaspa em velocidade e eficiência.

O rascunho do Yellow Paper, versão 0.0.1, descreve os vProgs como permitindo aplicações "soberanas mas compostas". Soberania significa que cada vProg controla suas operações internas de forma independente, incluindo permissões de leitura e escrita. A composabilidade permite que um vProg leia dados de outro, facilitando interações como transações entre aplicações, mas as escritas são restritas ao vProg de origem para evitar conflitos.

O desenvolvimento do vProgs remonta a um tópico de discussão de agosto de 2025 no fórum de pesquisa da Kaspa, onde os contribuintes abordaram desafios na composabilidade síncrona, incluindo latência de prova e compartilhamento de recursos. O rascunho incorpora feedback dessas sessões, embora muitos elementos permaneçam em refinamento, incluindo processos de criação de contas e mecanismos de poda de dados.

Características Técnicas Principais do vProgs

Vários mecanismos sustentam a funcionalidade do vProgs, projetados para lidar com dependências e eficiência em um ambiente de alta capacidade de processamento:

Costura de Provas: A costura de provas combina múltiplas provas de conhecimento zero de vProgs interconectados em um único compromisso, que é então submetido à Camada 1. Isso suporta transações atômicas entre aplicações, onde os resultados se estabelecem simultaneamente, sem os atrasos intermediários comuns em sistemas baseados em rollup.

Lotes de Prova Condicional: Lotes de prova condicional agrupam transações relacionadas para prova coletiva, o que reduz a sobrecarga computacional. Por exemplo, num cenário DeFi envolvendo múltiplas trocas, o agrupamento reduz o número de provas individuais necessárias.

DAG de Computação: O DAG de Computação forma um grafo de dependência na camada da aplicação, espelhando a estrutura blockDAG do Kaspa. Ele rastreia os fluxos de dados entre vProgs, garantindo que a informação referenciada permaneça disponível e que a ordem de execução seja mantida em meio ao processamento paralelo. Este grafo ajuda a prevenir sobrecargas ao sequenciar operações dependentes.

Medição de Recursos: A medição de recursos introduz controles para gerir custos. Internamente, cada vProg utiliza o seu próprio modelo de gás de Camada 2 para cálculos. Na Camada 1, o ScopeGas mede as interações entre vProgs, cobrando taxas com base nas dependências de dados para desencorajar spam ou uso excessivo de recursos, como uma aplicação a inundar os requisitos de entrada de outra.

Modelo Económico: O modelo económico para vProgs baseia-se em provadores sem permissão—nós que geram e submetem provas—que ganham taxas dos utilizadores. A vivacidade, ou a garantia de provas atempadas, opera através de dois modos: otimista, onde os provadores cooperam, ou soberano, onde as aplicações funcionam de forma independente. Esta configuração incentiva a participação sem depender de coordenadores centralizados.

Características de Privacidade: As características de privacidade emergem naturalmente de provas de conhecimento zero, permitindo estados encriptados em aplicações como transações confidenciais ou oráculos. A estrutura suporta uma gama de casos de uso, desde micropagamentos até liquidação de dados empresariais, ancorando saídas verificáveis aos tempos de confirmação rápidos do Kaspa.

A Conferência Kaspa Experience em Berlim

O anúncio do vProgs está alinhado com a Kaspa Experience, uma conferência comunitária agendada para 13 de setembro de 2025, no Atelier Gardens em Berlim. Este evento de um dia, limitado a 500 bilhetes com o preço de $150 mais uma taxa de $50 para a festa de encerramento, requer pagamento em tokens KAS, marcando uma aplicação real antecipada da criptomoeda para a logística do evento, incluindo comida, bebidas e mercadorias.

A agenda inclui palestras de desenvolvedores principais, incluindo Sompolinsky sobre os avanços no GHOSTDAG, painéis sobre integração de contratos inteligentes e oficinas focadas em implementações práticas. Um hackathon incentivará a prototipagem, juntamente com uma Expo de Arte Kaspa que mostrará usos criativos da rede. Embora nenhuma sessão dedicada ao vProgs apareça na programação, os materiais de imprensa do evento destacam a camada programável do Kaspa como uma base para sistemas DeFi e de pagamento, sugerindo discussões informais sobre a nova estrutura.

Os participantes, provenientes de mineradores, comerciantes e desenvolvedores, irão fazer networking em um ambiente que enfatiza a ética descentralizada do Kaspa. A conferência representa o primeiro grande encontro presencial do projeto, construindo sobre fóruns online e canais do Telegram para colaboração.

Desafios e Cronograma de Implementação

A implementação de vProgs envolve obstáculos comuns aos sistemas de conhecimento zero. A geração de provas continua a ser intensiva em termos computacionais, podendo introduzir latência, apesar da alta velocidade de blocos do Kaspa. Os desenvolvedores devem abordar a compatibilidade da máquina virtual para facilitar a migração de ambientes como a Máquina Virtual do Ethereum.

Os colaboradores do fórum simularam modelos de partilha de gás para mitigar externalidades, onde a atividade de um vProg impacta outros. A disponibilidade de dados no DAG de Computação requer um design cuidadoso para evitar riscos de centralização.

As linhas do tempo das discussões de agosto indicaram um lançamento da testnet até o quarto trimestre de 2025, após o feedback da comunidade sobre o rascunho. A integração completa da mainnet dependeria de auditorias e benchmarks de desempenho, com a poda e mecânicas de conta programadas para revisões futuras.

Comparado com os rollups do Ethereum, que podem fragmentar a liquidez entre camadas, ou a execução em cadeia do Solana, que testa os limites de throughput, o vProgs procura integrar a computação verificável diretamente em uma camada base de proof-of-work. Isso preserva a descentralização enquanto aproveita a produção de blocos paralela.

Conclusão

vProgs equipa o Kaspa com ferramentas para execução fora da cadeia verificadas por provas de conhecimento zero, incluindo costura de provas para composabilidade, um DAG de Computação para gestão de dependências e ScopeGas para controle de recursos

Estes elementos permitem que as aplicações operem de forma escalável numa rede que confirma blocos a cada poucos segundos, suportando casos de uso que vão desde DeFi até à liquidação de dados sem comprometer a segurança da Camada 1.

Fontes:

• Artigo Diário Kaspa X sobre vProgs:
• rascunho do Yellow Paper vProgs v0.0.1:
• Thread do Fórum de Pesquisa Kaspa sobre Composabilidade Sincrônica:
• Experiência Kaspa em Berlim: