ZK Token Proof Program
Compresión ZK · Fondo
Un programa nativo de Solana que verifica pruebas de conocimiento cero usadas por la extensión de Transferencias Confidenciales de Token-2022. Válida pruebas de rango (demostrando que cantidades cifradas son no negativas y estan dentro de limites), pruebas de igualdad (demostrando que dos cifrados encriptan el mismo valor) y pruebas de validez de cifrado requeridas para operaciones de tokens confidenciales. El programa usa cifrado ElGamal sobre Ristretto255 y Bulletproofs para verificación de rango, habilitando transferencias de tokens privadas donde saldos y cantidades permanecen cifrados en cadena.