Explorando o vProgs da Kaspa: a estrutura para aplicações escaláveis ​​e verificáveis

Kaspa divulgou o primeiro rascunho de seu Papel Amarelo vProgs em 11 de setembro de 2025. Este documento detalha um protocolo para programas verificáveis, ou vProgs, que permitem computações off-chain protegidas por provas de conhecimento zero e ancoradas ao Kaspa Rede de camada 1. 

A estrutura visa oferecer suporte a aplicações descentralizadas, mantendo as altas taxas de produção de blocos da rede. O anúncio, compartilhado por meio de um Postagem X por @DailyKaspa, acontece um dia antes da conferência Kaspa Experience em Berlim, onde desenvolvedores e membros da comunidade discutirão o roteiro do projeto.

Informações básicas sobre a arquitetura BlockDAG da Kaspa

A Kaspa opera de forma diferente das blockchains lineares, como Bitcoin or Ethereum. Ele utiliza um blockDAG, que permite que vários blocos se refiram uns aos outros em paralelo, reduzindo a necessidade de blocos órfãos durante a mineração. Este projeto é 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, Kaspa processa 10 blocos por segundo, com planos de aumentar essa taxa para 32 blocos por segundo e, potencialmente, para 100 a longo prazo. As confirmações normalmente ocorrem em um a 10 segundos, sendo a principal limitação a latência da rede, e não o processamento on-chain. Isso resulta em uma taxa de transferência 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 fragmentação.

A rede depende do consenso de prova de trabalho, onde os mineradores resolvem quebra-cabeças computacionais para adicionar blocos. As taxas de transação e as recompensas por 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 justo, evitando o financiamento de capital de risco, o que contribuiu para seu desenvolvimento impulsionado pela comunidade. 

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

Descubra projetos promissores...

Projetos promissores...

(Propaganda)

O artigo continua...

O que é o Kaspa vProgs?

vProgs, 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 independente, gerenciando seu próprio estado e regras de transição, semelhante a como os programas funcionam em 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 revelar os dados subjacentes. Em vProgs, essas provas são enviadas periodicamente à Camada 1, confirmando a integridade das atividades fora da cadeia. Essa abordagem mantém a cadeia principal leve, com foco na validação em vez da execução, o que se alinha à ênfase da Kaspa em velocidade e eficiência.

O rascunho do Yellow Paper, versão 0.0.1, descreve vProgs como habilitadores de aplicações "soberanas, porém componíveis". Soberania significa que cada vProg controla suas operações internas de forma independente, incluindo permissões de leitura e escrita. A componibilidade permite que uma vProg leia dados de outra, facilitando interações como transações entre aplicações, mas as gravações são restritas à 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 colaboradores abordaram desafios na composicionalidade síncrona, incluindo latência de prova e compartilhamento de recursos. O rascunho incorpora o feedback dessas sessões, embora muitos elementos ainda estejam em fase de refinamento, incluindo processos de criação de contas e mecanismos de poda de dados.

Principais recursos técnicos do vProgs

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

Costura de prova: A costura de provas combina várias provas de conhecimento zero de vProgs interconectados em um único compromisso, que é então enviado à Camada 1. Isso oferece suporte a transações atômicas entre aplicativos, onde os resultados são liquidados simultaneamente sem atrasos intermediários comuns em sistemas baseados em rollup.

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

Computação DAG: O DAG de Computação forma um grafo de dependências na camada de aplicação, espelhando a estrutura blockDAG do Kaspa. Ele rastreia os fluxos de dados entre vProgs, garantindo que as informações referenciadas permaneçam disponíveis e que a ordem de execução seja mantida durante o processamento paralelo. Este grafo ajuda a evitar sobrecarga ao sequenciar operações dependentes.

Medição de recursos: A medição de recursos introduz controles para gerenciar custos. Internamente, cada vProg usa seu próprio modelo de gás da 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 quando um aplicativo sobrecarrega os requisitos de entrada de outro.

Modelo Econômico: O modelo econômico para vProgs depende de provadores sem permissão — nós que geram e enviam provas — que recebem taxas dos usuários. A vivacidade, ou a garantia de provas em tempo hábil, opera por meio de dois modos: otimista, em que os provadores cooperam, ou soberano, em que as aplicações são executadas de forma independente. Essa configuração incentiva a participação sem depender de coordenadores centralizados.

Recursos de privacidade: Recursos de privacidade surgem naturalmente de provas de conhecimento zero, permitindo estados criptografados em aplicações como transações confidenciais ou oráculos. A estrutura oferece suporte a uma variedade de casos de uso, desde micropagamentos até liquidação de dados corporativos, ancorando saídas verificáveis ​​aos tempos de confirmação rápidos do Kaspa.

Conferência Kaspa Experience em Berlim

O anúncio do vProgs está alinhado com o Experiência Kaspa, 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 ingressos ao preço de US$ 150 mais uma taxa de US$ 50 para a festa, exige pagamento em tokens KAS, marcando uma das primeiras aplicações práticas da criptomoeda para a logística de eventos, incluindo alimentos, bebidas e produtos.

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

Os participantes, formados por mineradores, comerciantes e desenvolvedores, farão networking em um ambiente que enfatiza a filosofia descentralizada da Kaspa. A conferência representa o primeiro grande encontro presencial do projeto, com base em 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 a sistemas de conhecimento zero. A geração de provas continua sendo computacionalmente intensiva, potencialmente introduzindo latência, apesar da alta velocidade de bloco do Kaspa. Os desenvolvedores precisam abordar a compatibilidade com máquinas virtuais para facilitar a portabilidade de ambientes como a Máquina Virtual Ethereum.

Os colaboradores do fórum simularam modelos de compartilhamento 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.

Os cronogramas das discussões de agosto indicavam a implementação da rede de testes até o quarto trimestre de 2025, após o feedback da comunidade sobre o rascunho. A integração total da rede principal dependeria de auditoria e benchmarks de desempenho, com ajustes e mecanismos de contas programados para revisões futuras.

Em comparação com os rollups do Ethereum, que podem fragmentar a liquidez entre camadas, ou a execução on-chain da Solana, que testa os limites de taxa de transferência, o vProgs busca integrar computação verificável diretamente em uma camada base de prova de trabalho. Isso preserva a descentralização e, ao mesmo tempo, alavanca a produção paralela de blocos.

Conclusão

O vProgs equipa o Kaspa com ferramentas para execução off-chain verificadas por provas de conhecimento zero, incluindo costura de provas para componibilidade, um DAG de computação para gerenciamento de dependências e ScopeGas para controle de recursos. 

Esses elementos permitem que os aplicativos operem de forma escalável em uma rede que confirma blocos a cada poucos segundos, dando suporte a casos de uso que vão desde DeFi até liquidação de dados, sem comprometer a segurança da Camada 1.

Fontes:

• Artigo do Kaspa Daily X sobre vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• Rascunho do vProgs Yellow Paper v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Tópico do Fórum de Pesquisa Kaspa sobre Componibilidade Síncrona: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Experiência Kaspa em Berlim: https://experience.kaspa.events/