ZK Token Proof Program
Compressão ZK · Fundo
Um programa nativo da Solana que verifica provas de conhecimento zero usadas pela extensão Confidential Transfers do Token-2022. Válida provas de intervalo (provando que valores criptografados sao não-negativos e dentro dos limites), provas de igualdade (provando que dois textos cifrados criptografam o mesmo valor) e provas de validade de texto cifrado necessarias para operações confidenciais de tokens. O programa usa criptografia ElGamal sobre Ristretto255 e Bulletproofs para verificação de intervalo, permitindo transferencias privadas de tokens onde saldos e valores permanecem criptografados on-chain.