SNARK (Succinct Non-interactive Argument of Knowledge)
Compressão ZK · Abismo
Um SNARK e uma classe de sistema de prova de conhecimento zero caracterizada por sucintez (provas sao curtas — tipicamente centenas de bytes — independente da complexidade da computação), não-interatividade (o provador envia uma única mensagem sem ida e volta com o verificador) e a propriedade de argumento-de-conhecimento (um provador que produz uma prova válida deve conhecer a testemunha, ou seja, as entradas secretas da computação). zk-SNARKs como Groth16 e PLONK sao o nucleo criptográfico do ZK Compression na Solana, permitindo provadores off-chain comprimir validade complexa de transição de estado em uma prova que um validador Solana pode verificar on-chain barato usando o syscall alt_bn128 sobre a curva eliptica BN254. A maioria das implantacoes atuais de zk-SNARK na Solana depende de setups confiaveis, embora variantes transparentes mais novas como STARKs eliminem esse requisito ao custo de tamanhos de prova maiores.