Validity Proof
Compressão ZK · Abismo
No contexto de ZK Compression na Solana, uma prova de validade e uma prova Groth16 zk-SNARK que atesta criptograficamente a corretude de uma ou mais transições de estado de contas comprimidas — especificamente, que as contas consumidas existem como folhas na raiz atual da árvore Merkle, que os nullifiers sao frescos (não gastos anteriormente) e que os novos hashes de contas de saida representam corretamente o estado pos-transição — tudo sem o verificador precisar inspecionar os dados completos da conta. Provas de validade sao geradas off-chain pelo serviço de prova do Light Protocol e submetidas junto com instruções de contas comprimidas em transações Solana, onde o Light System Program verifica a prova on-chain usando o syscall alt_bn128 antes de aplicar a mudanca de estado. Esse modelo significa que validadores Solana não re-executam lógica de contas comprimidas; eles apenas verificam a prova sucinta, permitindo atualizacoes de estado comprimido de alto throughput a custo on-chain mínimo.