Zero-Knowledge Proofs (ZKP)
Compressão ZK · Profundo
Uma prova de conhecimento zero e um protocolo criptográfico pelo qual um provador convence um verificador de que uma afirmacao e verdadeira — por exemplo, que uma transição de estado e válida — sem revelar qualquer informação além da verdade da afirmacao em si, satisfazendo as propriedades de completude, solidez e conhecimento zero. No ecossistema da Solana, ZKPs sao usados pelo ZK Compression (via Groth16 SNARKs) para provar transições de estado corretas para contas comprimidas sem armazenar estado completo de contas on-chain, e pela extensão Confidential Transfers do Token-2022 (via criptografia ElGamal e provas de intervalo) para provar que saldos de tokens sao não-negativos sem revelar os valores reais. A VM BPF da Solana expoe o syscall de curva eliptica alt_bn128 para tornar a verificação de prova Groth16 on-chain computacionalmente viavel dentro do orcamento de 1,4M de unidades computacionais.